Anne is nice. Dave is red. Fiona is red. If Fiona is nice and Fiona is blue then Fiona is red. If Anne is cold and Anne is red then Anne is nice. If someone is red then they are green. Round people are not nice. If someone is red and green then they are round. Rough people are red. If Anne is red and Anne is round then Anne is not green. If Fiona is not cold then Fiona is blue.
Dave is red.
@0: Anne is nice.[(triple1)] Dave is red.[(triple2)] Fiona is red.[(triple3)] @1: Dave is green.[(((triple2) -> rule3))] Fiona is green.[(((triple3) -> rule3))] @2: Dave is round.[(((triple2 ((triple2) -> rule3)) -> rule5))] Fiona is round.[(((triple3 ((triple3) -> rule3)) -> rule5))] @3: Dave is not nice.[(((((triple2 ((triple2) -> rule3)) -> rule5)) -> rule4))] Fiona is not nice.[(((((triple3 ((triple3) -> rule3)) -> rule5)) -> rule4))]