Erin is red. Fiona is blue. Fiona is nice. Gary is big. Gary is smart. Harry is nice. Harry is smart. All young things are blue. If Harry is nice and Harry is smart then Harry is big. If Fiona is big then Fiona is smart. If Gary is red then Gary is nice. If something is smart then it is young. If Fiona is red then Fiona is round.
Erin is not blue.
@0: Erin is red.[(triple1)] Fiona is blue.[(triple2)] Fiona is nice.[(triple3)] Gary is big.[(triple4)] Gary is smart.[(triple5)] Harry is nice.[(triple6)] Harry is smart.[(triple7)] @1: Gary is young.[(((triple5) -> rule5))] Harry is big.[(((triple6 triple7) -> rule2))] Harry is young.[(((triple7) -> rule5))] @2: Gary is blue.[(((((triple5) -> rule5)) -> rule1))] Harry is blue.[(((((triple7) -> rule5)) -> rule1))]