Gary is blue. Gary is nice. Gary is smart. All smart things are furry.
Gary is not round.
@0: Gary is blue.[(triple1)] Gary is nice.[(triple2)] Gary is smart.[(triple3)] @1: Gary is furry.[(((triple3) -> rule1))]