Anne is green. Erin is furry. Gary is nice. All big, smart people are nice. If Gary is nice then Gary is smart. Big, smart people are green. Cold, smart people are nice. If someone is smart then they are cold. All green people are smart.
Gary is not furry.
@0: Anne is green.[(triple1)] Erin is furry.[(triple2)] Gary is nice.[(triple3)] @1: Anne is smart.[(((triple1) -> rule6))] Gary is smart.[(((triple3) -> rule2))] @2: Anne is cold.[(((((triple1) -> rule6)) -> rule5))] Gary is cold.[(((((triple3) -> rule2)) -> rule5))] @3: Anne is nice.[(((((((triple1) -> rule6)) -> rule5) ((triple1) -> rule6)) -> rule4))]