Anne is green. Anne is round. Anne is smart. Bob is white. Charlie is green. Charlie is nice. Charlie is smart. Furry, nice things are white. If Charlie is white and Charlie is furry then Charlie is green. If Bob is round and Bob is nice then Bob is green. Nice things are furry. If something is smart and green then it is nice. All white things are green. All green things are furry. If Anne is smart and Anne is white then Anne is blue.
Charlie is not blue.
@0: Anne is green.[(triple1)] Anne is round.[(triple2)] Anne is smart.[(triple3)] Bob is white.[(triple4)] Charlie is green.[(triple5 OR ((((((triple6) -> rule4) triple6) -> rule1)) -> rule6) OR ((((((triple6) -> rule4) triple6) -> rule1) ((triple6) -> rule4)) -> rule2))] Charlie is nice.[(triple6 OR ((triple7 triple5) -> rule5))] Charlie is smart.[(triple7)] @1: Anne is furry.[(((triple1) -> rule7) OR ((((triple3 triple1) -> rule5)) -> rule4))] Anne is nice.[(((triple3 triple1) -> rule5))] Bob is green.[(((triple4) -> rule6))] Charlie is furry.[(((triple5) -> rule7) OR ((triple6) -> rule4) OR ((((triple7 triple5) -> rule5)) -> rule4))] @2: Anne is white.[(((((triple1) -> rule7) ((triple3 triple1) -> rule5)) -> rule1) OR ((((((triple3 triple1) -> rule5)) -> rule4) ((triple3 triple1) -> rule5)) -> rule1))] Bob is furry.[(((((triple4) -> rule6)) -> rule7))] Charlie is white.[(((((triple5) -> rule7) triple6) -> rule1) OR ((((triple6) -> rule4) triple6) -> rule1) OR ((((triple5) -> rule7) ((triple7 triple5) -> rule5)) -> rule1) OR ((((triple6) -> rule4) ((triple7 triple5) -> rule5)) -> rule1) OR ((((((triple7 triple5) -> rule5)) -> rule4) triple6) -> rule1) OR ((((((triple7 triple5) -> rule5)) -> rule4) ((triple7 triple5) -> rule5)) -> rule1))] @3: Anne is blue.[(((triple3 ((((triple1) -> rule7) ((triple3 triple1) -> rule5)) -> rule1)) -> rule8) OR ((triple3 ((((((triple3 triple1) -> rule5)) -> rule4) ((triple3 triple1) -> rule5)) -> rule1)) -> rule8))]