Dave is blue. Dave is furry. Dave is quiet. Dave is red. Dave is round. Dave is white. Dave is not young. Harry is blue. Harry is not furry. Harry is quiet. Harry is red. Harry is round. Harry is white. Harry is young. All blue things are white. If Harry is round and Harry is not red then Harry is furry. All furry things are round.
Harry is not red.
@0: Dave is blue.[(triple1)] Dave is furry.[(triple2)] Dave is not young.[(triple7)] Dave is quiet.[(triple3)] Dave is red.[(triple4)] Dave is round.[(triple5 OR ((triple2) -> rule3))] Dave is white.[(triple6 OR ((triple1) -> rule1))] Harry is blue.[(triple8)] Harry is not furry.[(triple9)] Harry is quiet.[(triple10)] Harry is red.[(triple11)] Harry is round.[(triple12)] Harry is white.[(triple13 OR ((triple8) -> rule1))] Harry is young.[(triple14)]