Anne is big. Anne is green. Anne is red. Anne is rough. Charlie is kind. Charlie is red. Charlie is smart. Harry is big. Harry is green. Harry is red. Harry is smart. Harry is white. Rough things are big. If something is red then it is smart. If something is smart and rough then it is white.
Harry is not big.
@0: Anne is big.[(triple1 OR ((triple4) -> rule1))] Anne is green.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4)] Charlie is kind.[(triple5)] Charlie is red.[(triple6)] Charlie is smart.[(triple7 OR ((triple6) -> rule2))] Harry is big.[(triple8)] Harry is green.[(triple9)] Harry is red.[(triple10)] Harry is smart.[(triple11 OR ((triple10) -> rule2))] Harry is white.[(triple12)] @1: Anne is smart.[(((triple3) -> rule2))] @2: Anne is white.[(((((triple3) -> rule2) triple4) -> rule3))]