Anne is round. Anne is smart. Charlie is nice. Charlie is smart. Charlie is white. Dave is blue. Dave is furry. Dave is nice. Dave is red. Dave is round. Harry is blue. Harry is nice. Harry is red. Harry is round. Harry is white. All blue, round people are furry.
Anne is smart.
@0: Anne is round.[(triple1)] Anne is smart.[(triple2)] Charlie is nice.[(triple3)] Charlie is smart.[(triple4)] Charlie is white.[(triple5)] Dave is blue.[(triple6)] Dave is furry.[(triple7 OR ((triple6 triple10) -> rule1))] Dave is nice.[(triple8)] Dave is red.[(triple9)] Dave is round.[(triple10)] Harry is blue.[(triple11)] Harry is nice.[(triple12)] Harry is red.[(triple13)] Harry is round.[(triple14)] Harry is white.[(triple15)] @1: Harry is furry.[(((triple11 triple14) -> rule1))]