Anne is round. Dave is blue. Dave is cold. Dave is furry. Dave is round. Fiona is blue. Gary is green. If Anne is nice then Anne is blue. Blue things are green. If something is round and cold then it is blue. If something is round and furry then it is green. Cold, round things are red. If something is nice and furry then it is round.
Dave is not cold.
@0: Anne is round.[(triple1)] Dave is blue.[(triple2 OR ((triple5 triple3) -> rule3))] Dave is cold.[(triple3)] Dave is furry.[(triple4)] Dave is round.[(triple5)] Fiona is blue.[(triple6)] Gary is green.[(triple7)] @1: Dave is green.[(((triple2) -> rule2) OR ((triple5 triple4) -> rule4) OR ((((triple5 triple3) -> rule3)) -> rule2))] Dave is red.[(((triple3 triple5) -> rule5))] Fiona is green.[(((triple6) -> rule2))]