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