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