Bob is furry. Bob is green. Bob is kind. Bob is quiet. Bob is rough. Bob is smart. Charlie is furry. Charlie is green. Charlie is kind. Charlie is rough. Charlie is smart. Charlie is white. If something is furry and white then it is smart. If something is furry then it is smart. If Charlie is furry then Charlie is quiet. Rough things are kind. All kind, smart things are quiet. If something is kind and rough then it is green.
Bob is not green.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2 OR ((triple3 triple5) -> rule6) OR ((((triple5) -> rule4) triple5) -> rule6))] Bob is kind.[(triple3 OR ((triple5) -> rule4))] Bob is quiet.[(triple4 OR ((triple3 triple6) -> rule5) OR ((triple3 ((triple1) -> rule2)) -> rule5) OR ((((triple5) -> rule4) triple6) -> rule5) OR ((((triple5) -> rule4) ((triple1) -> rule2)) -> rule5))] Bob is rough.[(triple5)] Bob is smart.[(triple6 OR ((triple1) -> rule2))] Charlie is furry.[(triple7)] Charlie is green.[(triple8 OR ((triple9 triple10) -> rule6) OR ((((triple10) -> rule4) triple10) -> rule6))] Charlie is kind.[(triple9 OR ((triple10) -> rule4))] Charlie is rough.[(triple10)] Charlie is smart.[(triple11 OR ((triple7) -> rule2) OR ((triple7 triple12) -> rule1))] Charlie is white.[(triple12)] @1: Charlie is quiet.[(((triple7) -> rule3) OR ((triple9 triple11) -> rule5) OR ((triple9 ((triple7) -> rule2)) -> rule5) OR ((triple9 ((triple7 triple12) -> rule1)) -> rule5) OR ((((triple10) -> rule4) triple11) -> rule5) OR ((((triple10) -> rule4) ((triple7) -> rule2)) -> rule5) OR ((((triple10) -> rule4) ((triple7 triple12) -> rule1)) -> rule5))]