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