Anne is big. Anne is furry. Anne is kind. Anne is nice. Anne is red. Anne is rough. Anne is white. Gary is big. Gary is furry. Gary is kind. Gary is nice. Gary is red. Gary is rough. Gary is white. Rough things are white.
Anne is not kind.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is red.[(triple5)] Anne is rough.[(triple6)] Anne is white.[(triple7 OR ((triple6) -> rule1))] Gary is big.[(triple8)] Gary is furry.[(triple9)] Gary is kind.[(triple10)] Gary is nice.[(triple11)] Gary is red.[(triple12)] Gary is rough.[(triple13)] Gary is white.[(triple14 OR ((triple13) -> rule1))]