Fiona is smart. Gary is furry. If someone is furry then they are blue. If Gary is cold and Gary is blue then Gary is green. All blue people are green.
Gary is smart.
@0: Fiona is smart.[(triple1)] Gary is furry.[(triple2)] @1: Gary is blue.[(((triple2) -> rule1))] @2: Gary is green.[(((((triple2) -> rule1)) -> rule3))]