Gary is big. Gary is blue. Gary is furry. Gary is quiet. Gary is red. Gary is smart. Harry is blue. Harry is quiet. Harry is red. Harry is smart. All blue things are furry.
Gary is not red.
@0: Gary is big.[(triple1)] Gary is blue.[(triple2)] Gary is furry.[(triple3 OR ((triple2) -> rule1))] Gary is quiet.[(triple4)] Gary is red.[(triple5)] Gary is smart.[(triple6)] Harry is blue.[(triple7)] Harry is quiet.[(triple8)] Harry is red.[(triple9)] Harry is smart.[(triple10)] @1: Harry is furry.[(((triple7) -> rule1))]