Gary is blue. Gary is furry. Gary is kind. Gary is nice. Gary is rough. Gary is smart. Gary is white. If Gary is rough and Gary is white then Gary is kind.
Gary is not rough.
@0: Gary is blue.[(triple1)] Gary is furry.[(triple2)] Gary is kind.[(triple3 OR ((triple5 triple7) -> rule1))] Gary is nice.[(triple4)] Gary is rough.[(triple5)] Gary is smart.[(triple6)] Gary is white.[(triple7)]