Anne is kind. Anne is rough. Anne is smart. Anne is white. Harry is big. Harry is rough. Harry is white. All white things are rough. If something is smart then it is round. Round things are rough.
Harry is not round.
@0: Anne is kind.[(triple1)] Anne is rough.[(triple2 OR ((triple4) -> rule1) OR ((((triple3) -> rule2)) -> rule3))] Anne is smart.[(triple3)] Anne is white.[(triple4)] Harry is big.[(triple5)] Harry is rough.[(triple6 OR ((triple7) -> rule1))] Harry is white.[(triple7)] @1: Anne is round.[(((triple3) -> rule2))]