Anne is blue. Fiona is nice. Gary is round. Harry is blue. If Fiona is nice and Fiona is not blue then Fiona is red. If Gary is round then Gary is blue. Round, blue things are green. White things are big. If something is green then it is big. If something is blue and not red then it is round. If Anne is red and Anne is big then Anne is white. If Anne is big then Anne is white.
Gary is not green.
@0: Anne is blue.[(triple1)] Fiona is nice.[(triple2)] Gary is round.[(triple3)] Harry is blue.[(triple4)] @1: Gary is blue.[(((triple3) -> rule2))] @2: Gary is green.[(((triple3 ((triple3) -> rule2)) -> rule3))] @3: Gary is big.[(((((triple3 ((triple3) -> rule2)) -> rule3)) -> rule5))]