Bob is furry. Gary is furry. Gary is nice. All nice people are big. If Gary is nice then Gary is round. If someone is furry and round then they are blue.
Bob is blue.
@0: Bob is furry.[(triple1)] Gary is furry.[(triple2)] Gary is nice.[(triple3)] @1: Gary is big.[(((triple3) -> rule1))] Gary is round.[(((triple3) -> rule2))] @2: Gary is blue.[(((triple2 ((triple3) -> rule2)) -> rule3))]