Erin is big. Erin is green. Erin is red. Erin is white. Gary is green. Gary is round. Harry is blue. Harry is cold. Harry is green. Harry is round. Blue people are red. Round, cold people are blue. All blue, green people are round. Big, round people are blue. White people are red. Green people are red. If Erin is white then Erin is big. Red, white people are blue.
Gary is not big.
@0: Erin is big.[(triple1 OR ((triple4) -> rule7))] Erin is green.[(triple2)] Erin is red.[(triple3 OR ((triple2) -> rule6) OR ((triple4) -> rule5))] Erin is white.[(triple4)] Gary is green.[(triple5)] Gary is round.[(triple6)] Harry is blue.[(triple7 OR ((triple10 triple8) -> rule2))] Harry is cold.[(triple8)] Harry is green.[(triple9)] Harry is round.[(triple10 OR ((triple7 triple9) -> rule3))] @1: Erin is blue.[(((triple3 triple4) -> rule8) OR ((((triple2) -> rule6) triple4) -> rule8) OR ((((triple4) -> rule5) triple4) -> rule8))] Gary is red.[(((triple5) -> rule6))] Harry is red.[(((triple7) -> rule1) OR ((triple9) -> rule6) OR ((((triple10 triple8) -> rule2)) -> rule1))] @2: Erin is round.[(((((triple3 triple4) -> rule8) triple2) -> rule3) OR ((((((triple2) -> rule6) triple4) -> rule8) triple2) -> rule3) OR ((((((triple4) -> rule5) triple4) -> rule8) triple2) -> rule3))]