Charlie is cold. Dave is red. Gary is cold. If something is furry then it is blue. If something is cold then it is green. Green things are furry.
Charlie is not cold.
@0: Charlie is cold.[(triple1)] Dave is red.[(triple2)] Gary is cold.[(triple3)] @1: Charlie is green.[(((triple1) -> rule2))] Gary is green.[(((triple3) -> rule2))] @2: Charlie is furry.[(((((triple1) -> rule2)) -> rule3))] Gary is furry.[(((((triple3) -> rule2)) -> rule3))] @3: Charlie is blue.[(((((((triple1) -> rule2)) -> rule3)) -> rule1))] Gary is blue.[(((((((triple3) -> rule2)) -> rule3)) -> rule1))]