Gary is big. Gary is blue. Gary is nice. Gary is quiet. Gary is round. Harry is big. Harry is blue. Harry is kind. Harry is not nice. Harry is quiet. Harry is red. Harry is round. Nice, quiet things are red. Nice things are kind.
Gary is kind.
@0: Gary is big.[(triple1)] Gary is blue.[(triple2)] Gary is nice.[(triple3)] Gary is quiet.[(triple4)] Gary is round.[(triple5)] Harry is big.[(triple6)] Harry is blue.[(triple7)] Harry is kind.[(triple8)] Harry is not nice.[(triple9)] Harry is quiet.[(triple10)] Harry is red.[(triple11)] Harry is round.[(triple12)] @1: Gary is kind.[(((triple3) -> rule2))] Gary is red.[(((triple3 triple4) -> rule1))]