average_taxpayer(Person) :-
  not(foreigner(Person)),
  not(
    spouse(Person, Spouse),
    gross_income(Spouse, Income1),
    Income > 3000 
  ),
  gross_income(Person, Income2), ...