Anne is kind. Anne is white. Bob is blue. Bob is furry. Bob is green. Bob is kind. Bob is smart. Bob is white. Charlie is furry. Charlie is kind. Charlie is smart. Charlie is white. All blue people are smart. White people are green.
Bob is not smart.
@0: Anne is kind.[(triple1)] Anne is white.[(triple2)] Bob is blue.[(triple3)] Bob is furry.[(triple4)] Bob is green.[(triple5 OR ((triple8) -> rule2))] Bob is kind.[(triple6)] Bob is smart.[(triple7 OR ((triple3) -> rule1))] Bob is white.[(triple8)] Charlie is furry.[(triple9)] Charlie is kind.[(triple10)] Charlie is smart.[(triple11)] Charlie is white.[(triple12)] @1: Anne is green.[(((triple2) -> rule2))] Charlie is green.[(((triple12) -> rule2))]