Anne is not furry. Anne is green. Anne is quiet. Anne is red. Anne is white. Dave is not big. Dave is furry. Dave is green. Dave is white. Gary is green. Gary is not red. Gary is not white. All furry, red things are not quiet. If Anne is furry and Anne is not rough then Anne is big. All furry things are not big. If something is furry and rough then it is green. All white, quiet things are green. All furry, red things are white. Quiet things are white. If something is furry and not big then it is white.
Anne is not big.
@0: Anne is green.[(triple2 OR ((triple5 triple3) -> rule5) OR ((((triple3) -> rule7) triple3) -> rule5))] Anne is not furry.[(triple1)] Anne is quiet.[(triple3)] Anne is red.[(triple4)] Anne is white.[(triple5 OR ((triple3) -> rule7))] Dave is furry.[(triple7)] Dave is green.[(triple8)] Dave is not big.[(triple6 OR ((triple7) -> rule3))] Dave is white.[(triple9 OR ((triple7 triple6) -> rule8) OR ((triple7 ((triple7) -> rule3)) -> rule8))] Gary is green.[(triple10)] Gary is not red.[(triple11)] Gary is not white.[(triple12)]