Anne is big. Anne is kind. Dave is furry. Dave is quiet. Dave is white. Erin is big. Erin is furry. Erin is green. Erin is white. Erin is young. All white things are green. All furry things are white. If Erin is kind then Erin is quiet. Quiet things are kind. Furry, green things are kind. All kind things are furry. All quiet things are furry. Quiet things are green.
Anne is not quiet.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Dave is furry.[(triple3 OR ((triple4) -> rule7) OR ((((triple4) -> rule4)) -> rule6))] Dave is quiet.[(triple4)] Dave is white.[(triple5 OR ((triple3) -> rule2) OR ((((triple4) -> rule7)) -> rule2) OR ((((((triple4) -> rule4)) -> rule6)) -> rule2))] Erin is big.[(triple6)] Erin is furry.[(triple7)] Erin is green.[(triple8 OR ((triple9) -> rule1) OR ((((triple7) -> rule2)) -> rule1))] Erin is white.[(triple9 OR ((triple7) -> rule2))] Erin is young.[(triple10)] @1: Anne is furry.[(((triple2) -> rule6))] Dave is green.[(((triple4) -> rule8) OR ((triple5) -> rule1) OR ((((triple3) -> rule2)) -> rule1) OR ((((((triple4) -> rule7)) -> rule2)) -> rule1) OR ((((((((triple4) -> rule4)) -> rule6)) -> rule2)) -> rule1))] Dave is kind.[(((triple4) -> rule4) OR ((triple3 ((triple4) -> rule8)) -> rule5) OR ((triple3 ((triple5) -> rule1)) -> rule5) OR ((((triple4) -> rule7) ((triple4) -> rule8)) -> rule5) OR ((((triple4) -> rule7) ((triple5) -> rule1)) -> rule5) OR ((triple3 ((((triple3) -> rule2)) -> rule1)) -> rule5) OR ((((triple4) -> rule7) ((((triple3) -> rule2)) -> rule1)) -> rule5) OR ((triple3 ((((((triple4) -> rule7)) -> rule2)) -> rule1)) -> rule5) OR ((((triple4) -> rule7) ((((((triple4) -> rule7)) -> rule2)) -> rule1)) -> rule5))] Erin is kind.[(((triple7 triple8) -> rule5) OR ((triple7 ((triple9) -> rule1)) -> rule5) OR ((triple7 ((((triple7) -> rule2)) -> rule1)) -> rule5))] @2: Anne is white.[(((((triple2) -> rule6)) -> rule2))] Erin is quiet.[(((((triple7 triple8) -> rule5)) -> rule3) OR ((((triple7 ((triple9) -> rule1)) -> rule5)) -> rule3) OR ((((triple7 ((((triple7) -> rule2)) -> rule1)) -> rule5)) -> rule3))] @3: Anne is green.[(((((((triple2) -> rule6)) -> rule2)) -> rule1))]