Dave is not furry. Dave is green. Dave is red. Dave is rough. Dave is white. Dave is young. Harry is furry. Harry is green. Harry is white. Harry is young. If Harry is not red then Harry is quiet. If Harry is white then Harry is rough. If Dave is white and Dave is quiet then Dave is rough. All furry things are green. Quiet things are not green. If something is furry and not red then it is young.
Dave is not red.
@0: Dave is green.[(triple2)] Dave is not furry.[(triple1)] Dave is red.[(triple3)] Dave is rough.[(triple4)] Dave is white.[(triple5)] Dave is young.[(triple6)] Harry is furry.[(triple7)] Harry is green.[(triple8 OR ((triple7) -> rule4))] Harry is white.[(triple9)] Harry is young.[(triple10)] @1: Harry is rough.[(((triple9) -> rule2))]