Gary is big. Gary is blue. Gary is furry. Gary is nice. Gary is rough. Gary is smart. Gary is white. Harry is big. Harry is blue. Harry is furry. Harry is nice. Harry is rough. Harry is smart. Harry is white. All white things are furry. Furry things are white.
Gary is not nice.
@0: Gary is big.[(triple1)] Gary is blue.[(triple2)] Gary is furry.[(triple3 OR ((triple7) -> rule1))] Gary is nice.[(triple4)] Gary is rough.[(triple5)] Gary is smart.[(triple6)] Gary is white.[(triple7 OR ((triple3) -> rule2))] Harry is big.[(triple8)] Harry is blue.[(triple9)] Harry is furry.[(triple10 OR ((triple14) -> rule1))] Harry is nice.[(triple11)] Harry is rough.[(triple12)] Harry is smart.[(triple13)] Harry is white.[(triple14 OR ((triple10) -> rule2))]