% Town Down Proof: ?-health.
% Clause choice failure and success.
health :- sustenance, shelter.
sustenance :- supermacs, sweets.
sustenance :- bread, water.
shelter :- house.
house.
water.
bread.
supermacs :- fail.
sweets :- fail.