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