Anne is furry. Anne is kind. Anne is rough. Anne is young. Bob is furry. Bob is not green. Bob is not kind. Charlie is furry. Charlie is round. Charlie is smart. If someone is furry and green then they are young. If someone is smart then they are green. If someone is young and furry then they are kind.
Bob is not rough.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2 OR ((triple4 triple1) -> rule3))] Anne is rough.[(triple3)] Anne is young.[(triple4)] Bob is furry.[(triple5)] Bob is not green.[(triple6)] Bob is not kind.[(triple7)] Charlie is furry.[(triple8)] Charlie is round.[(triple9)] Charlie is smart.[(triple10)] @1: Charlie is green.[(((triple10) -> rule2))] @2: Charlie is young.[(((triple8 ((triple10) -> rule2)) -> rule1))] @3: Charlie is kind.[(((((triple8 ((triple10) -> rule2)) -> rule1) triple8) -> rule3))]