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