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 not red.
@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))]