Charlie is cold. Gary is furry. Gary is green. If someone is blue then they are furry. If someone is cold then they are blue.
Gary is not furry.
@0: Charlie is cold.[(triple1)] Gary is furry.[(triple2)] Gary is green.[(triple3)] @1: Charlie is blue.[(((triple1) -> rule2))] @2: Charlie is furry.[(((((triple1) -> rule2)) -> rule1))]