Anne is nice. Charlie is furry. Gary is rough. If something is big and nice then it is not rough. All nice things are rough. Nice things are furry. All big, rough things are not nice. If something is young then it is not big. Furry things are not kind. Young things are smart. If something is rough and not kind then it is smart.
Anne is not rough.
@0: Anne is nice.[(triple1)] Charlie is furry.[(triple2)] Gary is rough.[(triple3)] @1: Anne is furry.[(((triple1) -> rule3))] Anne is rough.[(((triple1) -> rule2))] Charlie is not kind.[(((triple2) -> rule6))] @2: Anne is not kind.[(((((triple1) -> rule3)) -> rule6))] @3: Anne is smart.[(((((triple1) -> rule2) ((((triple1) -> rule3)) -> rule6)) -> rule8))]