Anne is blue. Anne is furry. Anne is green. Anne is quiet. Anne is red. Anne is round. Anne is white. Gary is blue. Gary is furry. Gary is green. Gary is quiet. Gary is red. Gary is round. Gary is white. If something is blue then it is white. If something is red then it is green. All red things are quiet. If Gary is round then Gary is green. All white, green things are quiet. All white things are red. All furry, quiet things are green. If something is white then it is quiet.
Anne is not quiet.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3 OR ((triple5) -> rule2) OR ((triple2 triple4) -> rule7) OR ((((triple7) -> rule6)) -> rule2) OR ((triple2 ((triple5) -> rule3)) -> rule7) OR ((triple2 ((triple7) -> rule8)) -> rule7) OR ((((((triple1) -> rule1)) -> rule6)) -> rule2) OR ((triple2 ((((triple1) -> rule1)) -> rule8)) -> rule7) OR ((triple2 ((((triple7) -> rule6)) -> rule3)) -> rule7) OR ((triple2 ((((((triple1) -> rule1)) -> rule6)) -> rule3)) -> rule7))] Anne is quiet.[(triple4 OR ((triple5) -> rule3) OR ((triple7) -> rule8) OR ((triple7 triple3) -> rule5) OR ((((triple1) -> rule1)) -> rule8) OR ((((triple7) -> rule6)) -> rule3) OR ((triple7 ((triple5) -> rule2)) -> rule5) OR ((((triple1) -> rule1) triple3) -> rule5) OR ((((triple1) -> rule1) ((triple5) -> rule2)) -> rule5) OR ((((((triple1) -> rule1)) -> rule6)) -> rule3) OR ((triple7 ((((triple7) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule1) ((((triple7) -> rule6)) -> rule2)) -> rule5) OR ((triple7 ((((((triple1) -> rule1)) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule1) ((((((triple1) -> rule1)) -> rule6)) -> rule2)) -> rule5))] Anne is red.[(triple5 OR ((triple7) -> rule6) OR ((((triple1) -> rule1)) -> rule6))] Anne is round.[(triple6)] Anne is white.[(triple7 OR ((triple1) -> rule1))] Gary is blue.[(triple8)] Gary is furry.[(triple9)] Gary is green.[(triple10 OR ((triple12) -> rule2) OR ((triple13) -> rule4) OR ((triple9 triple11) -> rule7) OR ((((triple14) -> rule6)) -> rule2) OR ((triple9 ((triple12) -> rule3)) -> rule7) OR ((triple9 ((triple14) -> rule8)) -> rule7) OR ((((((triple8) -> rule1)) -> rule6)) -> rule2) OR ((triple9 ((((triple14) -> rule6)) -> rule3)) -> rule7) OR ((triple9 ((((triple8) -> rule1)) -> rule8)) -> rule7) OR ((triple9 ((((((triple8) -> rule1)) -> rule6)) -> rule3)) -> rule7))] Gary is quiet.[(triple11 OR ((triple12) -> rule3) OR ((triple14) -> rule8) OR ((triple14 triple10) -> rule5) OR ((((triple14) -> rule6)) -> rule3) OR ((((triple8) -> rule1)) -> rule8) OR ((triple14 ((triple12) -> rule2)) -> rule5) OR ((triple14 ((triple13) -> rule4)) -> rule5) OR ((((triple8) -> rule1) triple10) -> rule5) OR ((((triple8) -> rule1) ((triple12) -> rule2)) -> rule5) OR ((((triple8) -> rule1) ((triple13) -> rule4)) -> rule5) OR ((((((triple8) -> rule1)) -> rule6)) -> rule3) OR ((triple14 ((((triple14) -> rule6)) -> rule2)) -> rule5) OR ((((triple8) -> rule1) ((((triple14) -> rule6)) -> rule2)) -> rule5) OR ((triple14 ((((((triple8) -> rule1)) -> rule6)) -> rule2)) -> rule5) OR ((((triple8) -> rule1) ((((((triple8) -> rule1)) -> rule6)) -> rule2)) -> rule5))] Gary is red.[(triple12 OR ((triple14) -> rule6) OR ((((triple8) -> rule1)) -> rule6))] Gary is round.[(triple13)] Gary is white.[(triple14 OR ((triple8) -> rule1))]