Anne is quiet. Anne is white. Anne is young. Bob is furry. Dave is furry. Dave is kind. Dave is not quiet. Dave is white. Erin is furry. Erin is kind. All kind things are nice. All white, smart things are kind. All quiet things are smart. All white things are smart. If something is smart then it is young. If something is nice then it is young. If something is furry and not smart then it is not young. If something is quiet and not nice then it is furry.
Bob is not white.
@0: Anne is quiet.[(triple1)] Anne is white.[(triple2)] Anne is young.[(triple3 OR ((((triple1) -> rule3)) -> rule5) OR ((((triple2) -> rule4)) -> rule5) OR ((((((triple2 ((triple1) -> rule3)) -> rule2)) -> rule1)) -> rule6) OR ((((((triple2 ((triple2) -> rule4)) -> rule2)) -> rule1)) -> rule6))] Bob is furry.[(triple4)] Dave is furry.[(triple5)] Dave is kind.[(triple6 OR ((triple8 ((triple8) -> rule4)) -> rule2))] Dave is not quiet.[(triple7)] Dave is white.[(triple8)] Erin is furry.[(triple9)] Erin is kind.[(triple10)] @1: Anne is smart.[(((triple1) -> rule3) OR ((triple2) -> rule4))] Dave is nice.[(((triple6) -> rule1) OR ((((triple8 ((triple8) -> rule4)) -> rule2)) -> rule1))] Dave is smart.[(((triple8) -> rule4))] Erin is nice.[(((triple10) -> rule1))] @2: Anne is kind.[(((triple2 ((triple1) -> rule3)) -> rule2) OR ((triple2 ((triple2) -> rule4)) -> rule2))] Dave is young.[(((((triple6) -> rule1)) -> rule6) OR ((((triple8) -> rule4)) -> rule5) OR ((((((triple8 ((triple8) -> rule4)) -> rule2)) -> rule1)) -> rule6))] Erin is young.[(((((triple10) -> rule1)) -> rule6))] @3: Anne is nice.[(((((triple2 ((triple1) -> rule3)) -> rule2)) -> rule1) OR ((((triple2 ((triple2) -> rule4)) -> rule2)) -> rule1))]