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