Anne is kind. Anne is white. Charlie is not kind. All furry, nice things are white. If Anne is green then Anne is kind. All nice, green things are blue. If something is round and nice then it is not blue. All round, furry things are green. All white things are green. If something is green then it is nice. If something is round and not nice then it is kind.
Charlie is round.
@0: Anne is kind.[(triple1 OR ((((triple2) -> rule6)) -> rule2))] Anne is white.[(triple2)] Charlie is not kind.[(triple3)] @1: Anne is green.[(((triple2) -> rule6))] @2: Anne is nice.[(((((triple2) -> rule6)) -> rule7))] @3: Anne is blue.[(((((((triple2) -> rule6)) -> rule7) ((triple2) -> rule6)) -> rule3))]