Erin is big. Erin is blue. Erin is cold. Erin is red. Erin is rough. Erin is round. Erin is white. Harry is big. Harry is blue. Harry is cold. Harry is red. Harry is rough. Harry is round. Harry is white. If Harry is round and Harry is cold then Harry is white. Red, cold things are blue. If Erin is blue then Erin is rough. If Erin is rough and Erin is blue then Erin is white. If Harry is round and Harry is big then Harry is blue. All red, big things are rough.
Harry is not red.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2 OR ((triple4 triple3) -> rule2))] Erin is cold.[(triple3)] Erin is red.[(triple4)] Erin is rough.[(triple5 OR ((triple2) -> rule3) OR ((triple4 triple1) -> rule6) OR ((((triple4 triple3) -> rule2)) -> rule3))] Erin is round.[(triple6)] Erin is white.[(triple7 OR ((triple5 triple2) -> rule4) OR ((triple5 ((triple4 triple3) -> rule2)) -> rule4) OR ((((triple2) -> rule3) triple2) -> rule4) OR ((((triple4 triple1) -> rule6) triple2) -> rule4) OR ((((triple2) -> rule3) ((triple4 triple3) -> rule2)) -> rule4) OR ((((triple4 triple1) -> rule6) ((triple4 triple3) -> rule2)) -> rule4) OR ((((((triple4 triple3) -> rule2)) -> rule3) triple2) -> rule4) OR ((((((triple4 triple3) -> rule2)) -> rule3) ((triple4 triple3) -> rule2)) -> rule4))] Harry is big.[(triple8)] Harry is blue.[(triple9 OR ((triple11 triple10) -> rule2) OR ((triple13 triple8) -> rule5))] Harry is cold.[(triple10)] Harry is red.[(triple11)] Harry is rough.[(triple12 OR ((triple11 triple8) -> rule6))] Harry is round.[(triple13)] Harry is white.[(triple14 OR ((triple13 triple10) -> rule1))]