Dave is blue. Fiona is blue. Gary is red. If Gary is round and Gary is big then Gary is kind. If something is red then it is big. All big things are furry.
Fiona is not big.
@0: Dave is blue.[(triple1)] Fiona is blue.[(triple2)] Gary is red.[(triple3)] @1: Gary is big.[(((triple3) -> rule2))] @2: Gary is furry.[(((((triple3) -> rule2)) -> rule3))]