Anne is blue. Anne is furry. Anne is nice. Anne is quiet. Anne is rough. Anne is round. Anne is smart. Charlie is blue. Charlie is furry. Charlie is quiet. Charlie is rough. Charlie is round. Harry is blue. Harry is nice. Harry is rough. All round, smart things are furry. If something is round and nice then it is quiet.
Anne is not quiet.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2 OR ((triple6 triple7) -> rule1))] Anne is nice.[(triple3)] Anne is quiet.[(triple4 OR ((triple6 triple3) -> rule2))] Anne is rough.[(triple5)] Anne is round.[(triple6)] Anne is smart.[(triple7)] Charlie is blue.[(triple8)] Charlie is furry.[(triple9)] Charlie is quiet.[(triple10)] Charlie is rough.[(triple11)] Charlie is round.[(triple12)] Harry is blue.[(triple13)] Harry is nice.[(triple14)] Harry is rough.[(triple15)]