Anne is red. Anne is round. Anne is young. Charlie is big. Charlie is round. Charlie is young. Dave is big. Dave is kind. Dave is red. Dave is round. Dave is white. Dave is young. All red, kind things are furry. Round, young things are red. Round, red things are kind. All kind things are white. If something is kind and round then it is white. All kind, white things are red. If something is round and young then it is white. All kind things are furry.
Charlie is not white.
@0: Anne is red.[(triple1 OR ((triple2 triple3) -> rule2))] Anne is round.[(triple2)] Anne is young.[(triple3)] Charlie is big.[(triple4)] Charlie is round.[(triple5)] Charlie is young.[(triple6)] Dave is big.[(triple7)] Dave is kind.[(triple8 OR ((triple10 triple9) -> rule3) OR ((triple10 ((triple10 triple12) -> rule2)) -> rule3))] Dave is red.[(triple9 OR ((triple10 triple12) -> rule2) OR ((triple8 triple11) -> rule6) OR ((triple8 ((triple8) -> rule4)) -> rule6) OR ((triple8 ((triple10 triple12) -> rule7)) -> rule6) OR ((triple8 ((triple8 triple10) -> rule5)) -> rule6))] Dave is round.[(triple10)] Dave is white.[(triple11 OR ((triple8) -> rule4) OR ((triple10 triple12) -> rule7) OR ((triple8 triple10) -> rule5) OR ((((triple10 triple9) -> rule3)) -> rule4) OR ((((triple10 triple9) -> rule3) triple10) -> rule5) OR ((((triple10 ((triple10 triple12) -> rule2)) -> rule3)) -> rule4) OR ((((triple10 ((triple10 triple12) -> rule2)) -> rule3) triple10) -> rule5))] Dave is young.[(triple12)] @1: Anne is kind.[(((triple2 triple1) -> rule3) OR ((triple2 ((triple2 triple3) -> rule2)) -> rule3))] Anne is white.[(((triple2 triple3) -> rule7) OR ((((triple2 triple1) -> rule3)) -> rule4) OR ((((triple2 triple1) -> rule3) triple2) -> rule5) OR ((((triple2 ((triple2 triple3) -> rule2)) -> rule3)) -> rule4) OR ((((triple2 ((triple2 triple3) -> rule2)) -> rule3) triple2) -> rule5))] Charlie is red.[(((triple5 triple6) -> rule2))] Charlie is white.[(((triple5 triple6) -> rule7) OR ((((triple5 ((triple5 triple6) -> rule2)) -> rule3)) -> rule4) OR ((((triple5 ((triple5 triple6) -> rule2)) -> rule3) triple5) -> rule5))] Dave is furry.[(((triple8) -> rule8) OR ((triple9 triple8) -> rule1) OR ((((triple10 triple9) -> rule3)) -> rule8) OR ((triple9 ((triple10 triple9) -> rule3)) -> rule1) OR ((((triple10 triple12) -> rule2) triple8) -> rule1) OR ((((triple8 triple11) -> rule6) triple8) -> rule1) OR ((((triple10 triple12) -> rule2) ((triple10 triple9) -> rule3)) -> rule1) OR ((((triple8 triple11) -> rule6) ((triple10 triple9) -> rule3)) -> rule1) OR ((((triple10 ((triple10 triple12) -> rule2)) -> rule3)) -> rule8) OR ((triple9 ((triple10 ((triple10 triple12) -> rule2)) -> rule3)) -> rule1) OR ((((triple8 ((triple8) -> rule4)) -> rule6) triple8) -> rule1) OR ((((triple8 ((triple10 triple12) -> rule7)) -> rule6) triple8) -> rule1) OR ((((triple8 ((triple8 triple10) -> rule5)) -> rule6) triple8) -> rule1) OR ((((triple10 triple12) -> rule2) ((triple10 ((triple10 triple12) -> rule2)) -> rule3)) -> rule1) OR ((((triple8 triple11) -> rule6) ((triple10 ((triple10 triple12) -> rule2)) -> rule3)) -> rule1) OR ((((triple8 ((triple8) -> rule4)) -> rule6) ((triple10 triple9) -> rule3)) -> rule1) OR ((((triple8 ((triple10 triple12) -> rule7)) -> rule6) ((triple10 triple9) -> rule3)) -> rule1) OR ((((triple8 ((triple8 triple10) -> rule5)) -> rule6) ((triple10 triple9) -> rule3)) -> rule1) OR ((((triple8 ((triple8) -> rule4)) -> rule6) ((triple10 ((triple10 triple12) -> rule2)) -> rule3)) -> rule1) OR ((((triple8 ((triple10 triple12) -> rule7)) -> rule6) ((triple10 ((triple10 triple12) -> rule2)) -> rule3)) -> rule1) OR ((((triple8 ((triple8 triple10) -> rule5)) -> rule6) ((triple10 ((triple10 triple12) -> rule2)) -> rule3)) -> rule1))] @2: Anne is furry.[(((((triple2 triple1) -> rule3)) -> rule8) OR ((triple1 ((triple2 triple1) -> rule3)) -> rule1) OR ((((triple2 triple3) -> rule2) ((triple2 triple1) -> rule3)) -> rule1) OR ((((triple2 ((triple2 triple3) -> rule2)) -> rule3)) -> rule8) OR ((triple1 ((triple2 ((triple2 triple3) -> rule2)) -> rule3)) -> rule1) OR ((((triple2 triple3) -> rule2) ((triple2 ((triple2 triple3) -> rule2)) -> rule3)) -> rule1))] Charlie is kind.[(((triple5 ((triple5 triple6) -> rule2)) -> rule3))] @3: Charlie is furry.[(((((triple5 ((triple5 triple6) -> rule2)) -> rule3)) -> rule8) OR ((((triple5 triple6) -> rule2) ((triple5 ((triple5 triple6) -> rule2)) -> rule3)) -> rule1))]