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