Anne is big. Anne is blue. Anne is nice. Anne is red. Anne is rough. Anne is smart. Anne is young. Charlie is blue. Charlie is nice. Charlie is smart. Charlie is young. Harry is big. Harry is blue. Harry is rough. Harry is smart. If Charlie is nice then Charlie is smart.
Anne is not smart.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is nice.[(triple3)] Anne is red.[(triple4)] Anne is rough.[(triple5)] Anne is smart.[(triple6)] Anne is young.[(triple7)] Charlie is blue.[(triple8)] Charlie is nice.[(triple9)] Charlie is smart.[(triple10 OR ((triple9) -> rule1))] Charlie is young.[(triple11)] Harry is big.[(triple12)] Harry is blue.[(triple13)] Harry is rough.[(triple14)] Harry is smart.[(triple15)]