Anne is young. Dave is smart. If Anne is young then Anne is quiet. Round people are furry. If someone is quiet and not young then they are furry. Quiet people are round. If someone is quiet and young then they are rough. If someone is rough and not furry then they are white. Smart, round people are not white. If Anne is quiet and Anne is white then Anne is rough.
Anne is not round.
@0: Anne is young.[(triple1)] Dave is smart.[(triple2)] @1: Anne is quiet.[(((triple1) -> rule1))] @2: Anne is rough.[(((((triple1) -> rule1) triple1) -> rule5))] Anne is round.[(((((triple1) -> rule1)) -> rule4))] @3: Anne is furry.[(((((((triple1) -> rule1)) -> rule4)) -> rule2))]