Bob is green. Erin is rough. Harry is green. If Harry is rough and Harry is green then Harry is cold. If Erin is cold then Erin is furry. If someone is cold then they are white. If someone is green then they are cold. Furry, white people are cold. If someone is white then they are cold.
Bob is smart.
@0: Bob is green.[(triple1)] Erin is rough.[(triple2)] Harry is green.[(triple3)] @1: Bob is cold.[(((triple1) -> rule4))] Harry is cold.[(((triple3) -> rule4))] @2: Bob is white.[(((((triple1) -> rule4)) -> rule3))] Harry is white.[(((((triple3) -> rule4)) -> rule3))]