Bob is furry. Gary is cold. Harry is nice. If Gary is nice then Gary is cold. If something is furry and nice then it is quiet. If something is furry then it is nice.
Bob is quiet.
@0: Bob is furry.[(triple1)] Gary is cold.[(triple2)] Harry is nice.[(triple3)] @1: Bob is nice.[(((triple1) -> rule3))] @2: Bob is quiet.[(((triple1 ((triple1) -> rule3)) -> rule2))]