Anne is smart. Bob is cold. Erin is big. Gary is green. If someone is cold and green then they are furry. If Gary is furry and Gary is red then Gary is green. If Bob is cold then Bob is green. All green, smart people are red. If someone is smart then they are big. Red people are cold.
Erin is cold.
@0: Anne is smart.[(triple1)] Bob is cold.[(triple2)] Erin is big.[(triple3)] Gary is green.[(triple4)] @1: Anne is big.[(((triple1) -> rule5))] Bob is green.[(((triple2) -> rule3))] @2: Bob is furry.[(((triple2 ((triple2) -> rule3)) -> rule1))]