Anne is green. Fiona is blue. Gary is cold. Harry is smart. If Anne is cold and Anne is green then Anne is smart. All cold people are smart. If Fiona is blue and Fiona is cold then Fiona is young. If someone is smart then they are young. If Anne is green and Anne is blue then Anne is young. If Anne is cold and Anne is smart then Anne is green. If Gary is young and Gary is blue then Gary is white. If Harry is young and Harry is smart then Harry is round.
Gary is round.
@0: Anne is green.[(triple1)] Fiona is blue.[(triple2)] Gary is cold.[(triple3)] Harry is smart.[(triple4)] @1: Gary is smart.[(((triple3) -> rule2))] Harry is young.[(((triple4) -> rule4))] @2: Gary is young.[(((((triple3) -> rule2)) -> rule4))] Harry is round.[(((((triple4) -> rule4) triple4) -> rule8))]