Anne is rough. Anne is round. Anne is white. Anne is young. Dave is nice. Dave is quiet. Dave is not rough. Dave is round. Dave is white. Dave is young. Quiet, round people are not furry. If someone is rough and not nice then they are not furry. If someone is nice and not quiet then they are furry. All furry people are round. If someone is round then they are young. If someone is nice then they are not rough. All furry people are rough. If someone is nice and not furry then they are white.
Anne is nice.
@0: Anne is rough.[(triple1)] Anne is round.[(triple2)] Anne is white.[(triple3)] Anne is young.[(triple4 OR ((triple2) -> rule5))] Dave is nice.[(triple5)] Dave is not rough.[(triple7 OR ((triple5) -> rule6))] Dave is quiet.[(triple6)] Dave is round.[(triple8)] Dave is white.[(triple9 OR ((triple5 ((triple6 triple8) -> rule1)) -> rule8))] Dave is young.[(triple10 OR ((triple8) -> rule5))] @1: Dave is not furry.[(((triple6 triple8) -> rule1))]