Anne is furry. All nice, smart things are not round. All big things are rough. Furry things are big.
Anne is not furry.
@0: Anne is furry.[(triple1)] @1: Anne is big.[(((triple1) -> rule3))] @2: Anne is rough.[(((((triple1) -> rule3)) -> rule2))]