Erin is cold. Erin is furry. Erin is quiet. Erin is red. Erin is rough. Erin is smart. Gary is cold. Gary is furry. Gary is quiet. Gary is rough. All rough, smart people are red. Furry people are smart.
Gary is not red.
@0: Erin is cold.[(triple1)] Erin is furry.[(triple2)] Erin is quiet.[(triple3)] Erin is red.[(triple4 OR ((triple5 triple6) -> rule1) OR ((triple5 ((triple2) -> rule2)) -> rule1))] Erin is rough.[(triple5)] Erin is smart.[(triple6 OR ((triple2) -> rule2))] Gary is cold.[(triple7)] Gary is furry.[(triple8)] Gary is quiet.[(triple9)] Gary is rough.[(triple10)] @1: Gary is smart.[(((triple8) -> rule2))] @2: Gary is red.[(((triple10 ((triple8) -> rule2)) -> rule1))]