Anne is rough. Harry is rough. Nice people are furry. If someone is rough then they are furry. If someone is young then they are nice. All smart, nice people are rough. If someone is smart and not big then they are not young. If Anne is not nice then Anne is green.
Harry is not rough.
@0: Anne is rough.[(triple1)] Harry is rough.[(triple2)] @1: Anne is furry.[(((triple1) -> rule2))] Harry is furry.[(((triple2) -> rule2))]