Anne is big. Anne is green. Anne is kind. Anne is nice. Anne is smart. Charlie is big. Charlie is green. Charlie is nice. Charlie is rough. Charlie is smart. Dave is green. Dave is not nice. Dave is smart. Harry is green. Harry is not nice. Harry is white. Big, white things are rough. If Harry is rough and Harry is kind then Harry is not smart. If Anne is not green then Anne is kind. All nice things are white. If Charlie is white then Charlie is smart. If something is big and not kind then it is not smart.
Dave is kind.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is smart.[(triple5)] Charlie is big.[(triple6)] Charlie is green.[(triple7)] Charlie is nice.[(triple8)] Charlie is rough.[(triple9 OR ((triple6 ((triple8) -> rule4)) -> rule1))] Charlie is smart.[(triple10 OR ((((triple8) -> rule4)) -> rule5))] Dave is green.[(triple11)] Dave is not nice.[(triple12)] Dave is smart.[(triple13)] Harry is green.[(triple14)] Harry is not nice.[(triple15)] Harry is white.[(triple16)] @1: Anne is white.[(((triple4) -> rule4))] Charlie is white.[(((triple8) -> rule4))] @2: Anne is rough.[(((triple1 ((triple4) -> rule4)) -> rule1))]