Gary is big. Gary is red. Harry is furry. Harry is nice. Harry is quiet. Harry is red. Harry is round. All quiet, nice things are smart.
Gary is nice.
@0: Gary is big.[(triple1)] Gary is red.[(triple2)] Harry is furry.[(triple3)] Harry is nice.[(triple4)] Harry is quiet.[(triple5)] Harry is red.[(triple6)] Harry is round.[(triple7)] @1: Harry is smart.[(((triple5 triple4) -> rule1))]