Dave is nice. Dave is quiet. Dave is red. Dave is round. Harry is furry. Harry is nice. Harry is red. If Harry is round then Harry is rough. Round things are nice. Red things are white. White things are quiet. If something is white then it is furry. White things are furry. White things are furry. All rough, quiet things are round.
Dave is not white.
@0: Dave is nice.[(triple1 OR ((triple4) -> rule2))] Dave is quiet.[(triple2 OR ((((triple3) -> rule3)) -> rule4))] Dave is red.[(triple3)] Dave is round.[(triple4)] Harry is furry.[(triple5 OR ((((triple7) -> rule3)) -> rule5) OR ((((triple7) -> rule3)) -> rule6) OR ((((triple7) -> rule3)) -> rule7))] Harry is nice.[(triple6)] Harry is red.[(triple7)] @1: Dave is white.[(((triple3) -> rule3))] Harry is white.[(((triple7) -> rule3))] @2: Dave is furry.[(((((triple3) -> rule3)) -> rule5) OR ((((triple3) -> rule3)) -> rule6) OR ((((triple3) -> rule3)) -> rule7))] Harry is quiet.[(((((triple7) -> rule3)) -> rule4))]