Erin is blue. Erin is quiet. Erin is rough. Gary is blue. Gary is cold. Gary is furry. Gary is green. Gary is quiet. Gary is smart. Harry is blue. Harry is cold. Harry is furry. Harry is green. Harry is quiet. Harry is rough. Quiet people are green. Rough people are smart. If someone is furry then they are rough. If someone is smart and not green then they are furry. Rough people are furry. If someone is smart and blue then they are cold.
Erin is not green.
@0: Erin is blue.[(triple1)] Erin is quiet.[(triple2)] Erin is rough.[(triple3)] Gary is blue.[(triple4)] Gary is cold.[(triple5 OR ((triple9 triple4) -> rule6) OR ((((((triple6) -> rule3)) -> rule2) triple4) -> rule6))] Gary is furry.[(triple6)] Gary is green.[(triple7 OR ((triple8) -> rule1))] Gary is quiet.[(triple8)] Gary is smart.[(triple9 OR ((((triple6) -> rule3)) -> rule2))] Harry is blue.[(triple10)] Harry is cold.[(triple11 OR ((((triple15) -> rule2) triple10) -> rule6) OR ((((((triple12) -> rule3)) -> rule2) triple10) -> rule6))] Harry is furry.[(triple12 OR ((triple15) -> rule5))] Harry is green.[(triple13 OR ((triple14) -> rule1))] Harry is quiet.[(triple14)] Harry is rough.[(triple15 OR ((triple12) -> rule3))] @1: Erin is furry.[(((triple3) -> rule5))] Erin is green.[(((triple2) -> rule1))] Erin is smart.[(((triple3) -> rule2))] Gary is rough.[(((triple6) -> rule3))] Harry is smart.[(((triple15) -> rule2) OR ((((triple12) -> rule3)) -> rule2))] @2: Erin is cold.[(((((triple3) -> rule2) triple1) -> rule6))]