Anne is young. Dave is cold. Dave is furry. Dave is not green. Dave is not nice. Dave is rough. Dave is young. Harry is furry. Harry is nice. Harry is round. If something is nice and not furry then it is green. If something is rough and not round then it is green. If Dave is cold and Dave is furry then Dave is not nice.
Anne is not green.
@0: Anne is young.[(triple1)] Dave is cold.[(triple2)] Dave is furry.[(triple3)] Dave is not green.[(triple4)] Dave is not nice.[(triple5 OR ((triple2 triple3) -> rule3))] Dave is rough.[(triple6)] Dave is young.[(triple7)] Harry is furry.[(triple8)] Harry is nice.[(triple9)] Harry is round.[(triple10)]