Anne is not furry. Anne is white. Anne is not young. If Anne is quiet and Anne is cold then Anne is young. All young, white things are cold. If Anne is white then Anne is round. If Anne is cold then Anne is not round. If something is rough then it is not young. If something is quiet then it is not white. If something is white and not young then it is round. Round things are not furry.
Anne is not furry.
@0: Anne is not furry.[(triple1 OR ((((triple2) -> rule3)) -> rule8) OR ((((triple2 triple3) -> rule7)) -> rule8))] Anne is not young.[(triple3)] Anne is white.[(triple2)] @1: Anne is round.[(((triple2) -> rule3) OR ((triple2 triple3) -> rule7))]