Anne is cold. Anne is furry. Anne is green. Anne is smart. Dave is white. Dave is young. Erin is furry. Erin is smart. Erin is young. Gary is not furry. Gary is kind. Gary is young. Smart things are furry. If Anne is smart then Anne is young. All white things are young. All white things are young. All young things are kind. If something is green and not furry then it is kind. If something is furry and kind then it is white. Kind things are green.
Anne is not white.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2 OR ((triple4) -> rule1))] Anne is green.[(triple3 OR ((((((triple4) -> rule2)) -> rule5)) -> rule8))] Anne is smart.[(triple4)] Dave is white.[(triple5)] Dave is young.[(triple6 OR ((triple5) -> rule3) OR ((triple5) -> rule4))] Erin is furry.[(triple7 OR ((triple8) -> rule1))] Erin is smart.[(triple8)] Erin is young.[(triple9)] Gary is kind.[(triple11 OR ((triple12) -> rule5))] Gary is not furry.[(triple10)] Gary is young.[(triple12)] @1: Anne is young.[(((triple4) -> rule2))] Dave is kind.[(((triple6) -> rule5) OR ((((triple5) -> rule3)) -> rule5) OR ((((triple5) -> rule4)) -> rule5))] Erin is kind.[(((triple9) -> rule5))] Gary is green.[(((triple11) -> rule8) OR ((((triple12) -> rule5)) -> rule8))] @2: Anne is kind.[(((((triple4) -> rule2)) -> rule5))] Dave is green.[(((((triple6) -> rule5)) -> rule8) OR ((((((triple5) -> rule3)) -> rule5)) -> rule8) OR ((((((triple5) -> rule4)) -> rule5)) -> rule8))] Erin is green.[(((((triple9) -> rule5)) -> rule8))] Erin is white.[(((triple7 ((triple9) -> rule5)) -> rule7) OR ((((triple8) -> rule1) ((triple9) -> rule5)) -> rule7))] @3: Anne is white.[(((triple2 ((((triple4) -> rule2)) -> rule5)) -> rule7) OR ((((triple4) -> rule1) ((((triple4) -> rule2)) -> rule5)) -> rule7))]