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