Anne is big. Anne is cold. Anne is nice. Anne is rough. Anne is smart. Anne is young. Charlie is big. Charlie is green. Charlie is not nice. Charlie is rough. Charlie is not smart. Harry is big. Harry is green. Harry is rough. Harry is smart. If Harry is green then Harry is nice. All rough, smart things are green. All rough, cold things are big. If something is rough and not cold then it is big. If Charlie is cold then Charlie is big. If something is nice and not rough then it is smart.
Harry is not young.
@0: Anne is big.[(triple1 OR ((triple4 triple2) -> rule3))] Anne is cold.[(triple2)] Anne is nice.[(triple3)] Anne is rough.[(triple4)] Anne is smart.[(triple5)] Anne is young.[(triple6)] Charlie is big.[(triple7)] Charlie is green.[(triple8)] Charlie is not nice.[(triple9)] Charlie is not smart.[(triple11)] Charlie is rough.[(triple10)] Harry is big.[(triple12)] Harry is green.[(triple13 OR ((triple14 triple15) -> rule2))] Harry is rough.[(triple14)] Harry is smart.[(triple15)] @1: Anne is green.[(((triple4 triple5) -> rule2))] Harry is nice.[(((triple13) -> rule1) OR ((((triple14 triple15) -> rule2)) -> rule1))]