Dave is blue. Gary is big. Harry is cold. If someone is blue then they are cold. If Dave is smart and Dave is round then Dave is blue. Big people are blue.
Harry is young.
@0: Dave is blue.[(triple1)] Gary is big.[(triple2)] Harry is cold.[(triple3)] @1: Dave is cold.[(((triple1) -> rule1))] Gary is blue.[(((triple2) -> rule3))] @2: Gary is cold.[(((((triple2) -> rule3)) -> rule1))]