Anne is furry. Anne is green. Anne is kind. Anne is smart. Anne is white. Bob is blue. Bob is green. Bob is kind. Bob is young. Charlie is blue. Charlie is furry. Charlie is green. Charlie is kind. Charlie is smart. Charlie is white. Charlie is young. All white things are young. All smart things are green. Young, furry things are smart. Smart, young things are blue. If something is green then it is furry. Smart things are white.
Bob is not white.
@0: Anne is furry.[(triple1 OR ((triple2) -> rule5) OR ((((triple4) -> rule2)) -> rule5))] Anne is green.[(triple2 OR ((triple4) -> rule2) OR ((((((triple5) -> rule1) triple1) -> rule3)) -> rule2))] Anne is kind.[(triple3)] Anne is smart.[(triple4 OR ((((triple5) -> rule1) triple1) -> rule3) OR ((((triple5) -> rule1) ((triple2) -> rule5)) -> rule3))] Anne is white.[(triple5 OR ((triple4) -> rule6))] Bob is blue.[(triple6 OR ((((triple9 ((triple7) -> rule5)) -> rule3) triple9) -> rule4))] Bob is green.[(triple7)] Bob is kind.[(triple8)] Bob is young.[(triple9)] Charlie is blue.[(triple10 OR ((triple14 triple16) -> rule4) OR ((triple14 ((triple15) -> rule1)) -> rule4) OR ((((triple16 triple11) -> rule3) triple16) -> rule4) OR ((((triple16 triple11) -> rule3) ((triple15) -> rule1)) -> rule4) OR ((triple14 ((((triple14) -> rule6)) -> rule1)) -> rule4) OR ((((triple16 ((triple12) -> rule5)) -> rule3) triple16) -> rule4) OR ((((((triple15) -> rule1) triple11) -> rule3) triple16) -> rule4) OR ((((triple16 triple11) -> rule3) ((((triple14) -> rule6)) -> rule1)) -> rule4) OR ((((triple16 ((triple12) -> rule5)) -> rule3) ((triple15) -> rule1)) -> rule4) OR ((((((triple15) -> rule1) triple11) -> rule3) ((triple15) -> rule1)) -> rule4) OR ((((((triple15) -> rule1) ((triple12) -> rule5)) -> rule3) triple16) -> rule4) OR ((((triple16 ((triple12) -> rule5)) -> rule3) ((((triple14) -> rule6)) -> rule1)) -> rule4) OR ((((((triple15) -> rule1) triple11) -> rule3) ((((triple14) -> rule6)) -> rule1)) -> rule4) OR ((((((triple15) -> rule1) ((triple12) -> rule5)) -> rule3) ((triple15) -> rule1)) -> rule4) OR ((((((triple15) -> rule1) ((triple12) -> rule5)) -> rule3) ((((triple14) -> rule6)) -> rule1)) -> rule4))] Charlie is furry.[(triple11 OR ((triple12) -> rule5) OR ((((triple14) -> rule2)) -> rule5))] Charlie is green.[(triple12 OR ((triple14) -> rule2) OR ((((triple16 triple11) -> rule3)) -> rule2) OR ((((((triple15) -> rule1) triple11) -> rule3)) -> rule2))] Charlie is kind.[(triple13)] Charlie is smart.[(triple14 OR ((triple16 triple11) -> rule3) OR ((triple16 ((triple12) -> rule5)) -> rule3) OR ((((triple15) -> rule1) triple11) -> rule3) OR ((((triple15) -> rule1) ((triple12) -> rule5)) -> rule3))] Charlie is white.[(triple15 OR ((triple14) -> rule6) OR ((((triple16 triple11) -> rule3)) -> rule6) OR ((((triple16 ((triple12) -> rule5)) -> rule3)) -> rule6))] Charlie is young.[(triple16 OR ((triple15) -> rule1) OR ((((triple14) -> rule6)) -> rule1))] @1: Anne is young.[(((triple5) -> rule1) OR ((((triple4) -> rule6)) -> rule1))] Bob is furry.[(((triple7) -> rule5))] @2: Anne is blue.[(((triple4 ((triple5) -> rule1)) -> rule4) OR ((triple4 ((((triple4) -> rule6)) -> rule1)) -> rule4) OR ((((((triple5) -> rule1) triple1) -> rule3) ((triple5) -> rule1)) -> rule4) OR ((((((triple5) -> rule1) triple1) -> rule3) ((((triple4) -> rule6)) -> rule1)) -> rule4) OR ((((((triple5) -> rule1) ((triple2) -> rule5)) -> rule3) ((triple5) -> rule1)) -> rule4) OR ((((((triple5) -> rule1) ((triple2) -> rule5)) -> rule3) ((((triple4) -> rule6)) -> rule1)) -> rule4))] Bob is smart.[(((triple9 ((triple7) -> rule5)) -> rule3))] @3: Bob is white.[(((((triple9 ((triple7) -> rule5)) -> rule3)) -> rule6))]