Anne is blue. Anne is nice. Anne is quiet. Anne is red. Anne is rough. Anne is round. Anne is white. Harry is blue. Harry is quiet. Harry is red. Harry is round. Harry is white. Quiet, nice people are rough. All round, blue people are nice.
Harry is not nice.
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2 OR ((triple6 triple1) -> rule2))] Anne is quiet.[(triple3)] Anne is red.[(triple4)] Anne is rough.[(triple5 OR ((triple3 triple2) -> rule1) OR ((triple3 ((triple6 triple1) -> rule2)) -> rule1))] Anne is round.[(triple6)] Anne is white.[(triple7)] Harry is blue.[(triple8)] Harry is quiet.[(triple9)] Harry is red.[(triple10)] Harry is round.[(triple11)] Harry is white.[(triple12)] @1: Harry is nice.[(((triple11 triple8) -> rule2))] @2: Harry is rough.[(((triple9 ((triple11 triple8) -> rule2)) -> rule1))]