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