Anne is furry. Anne is quiet. Anne is rough. Anne is round. Charlie is round. Dave is furry. Dave is nice. Dave is quiet. Dave is red. Dave is rough. Dave is round. Dave is smart. Harry is quiet. Harry is red. Harry is rough. Harry is smart. If Harry is furry then Harry is smart. Round things are furry.
Anne is smart.
@0: Anne is furry.[(triple1 OR ((triple4) -> rule2))] Anne is quiet.[(triple2)] Anne is rough.[(triple3)] Anne is round.[(triple4)] Charlie is round.[(triple5)] Dave is furry.[(triple6 OR ((triple11) -> rule2))] Dave is nice.[(triple7)] Dave is quiet.[(triple8)] Dave is red.[(triple9)] Dave is rough.[(triple10)] Dave is round.[(triple11)] Dave is smart.[(triple12)] Harry is quiet.[(triple13)] Harry is red.[(triple14)] Harry is rough.[(triple15)] Harry is smart.[(triple16)] @1: Charlie is furry.[(((triple5) -> rule2))]