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