Erin is not round. Erin is smart. Gary is blue. Gary is round. Gary is smart. Gary is not young. Harry is smart. All smart people are cold. All round, smart people are cold. If Harry is smart then Harry is white. If Erin is white and Erin is smart then Erin is round. If someone is cold then they are blue. If someone is smart and blue then they are not young.
Harry is white.
@0: Erin is not round.[(triple1)] Erin is smart.[(triple2)] Gary is blue.[(triple3 OR ((((triple5) -> rule1)) -> rule5) OR ((((triple4 triple5) -> rule2)) -> rule5))] Gary is not young.[(triple6 OR ((triple5 triple3) -> rule6) OR ((triple5 ((((triple5) -> rule1)) -> rule5)) -> rule6) OR ((triple5 ((((triple4 triple5) -> rule2)) -> rule5)) -> rule6))] Gary is round.[(triple4)] Gary is smart.[(triple5)] Harry is smart.[(triple7)] @1: Erin is cold.[(((triple2) -> rule1))] Gary is cold.[(((triple5) -> rule1) OR ((triple4 triple5) -> rule2))] Harry is cold.[(((triple7) -> rule1))] Harry is white.[(((triple7) -> rule3))] @2: Erin is blue.[(((((triple2) -> rule1)) -> rule5))] Harry is blue.[(((((triple7) -> rule1)) -> rule5))] @3: Erin is not young.[(((triple2 ((((triple2) -> rule1)) -> rule5)) -> rule6))] Harry is not young.[(((triple7 ((((triple7) -> rule1)) -> rule5)) -> rule6))]