Anne is furry. Anne is green. Anne is quiet. Anne is white. Bob is furry. Bob is green. Dave is quiet. Green, big things are white. If something is big and not red then it is not white. Round, big things are not white. If something is red and not quiet then it is white. All red things are round. If Bob is white then Bob is not big. Quiet things are furry. If Dave is quiet then Dave is white.
Dave is quiet.
@0: Anne is furry.[(triple1 OR ((triple3) -> rule7))] Anne is green.[(triple2)] Anne is quiet.[(triple3)] Anne is white.[(triple4)] Bob is furry.[(triple5)] Bob is green.[(triple6)] Dave is quiet.[(triple7)] @1: Dave is furry.[(((triple7) -> rule7))] Dave is white.[(((triple7) -> rule8))]