Anne is quiet. Dave is big. If something is furry and not round then it is big. If something is quiet then it is rough.
Anne is not quiet.
@0: Anne is quiet.[(triple1)] Dave is big.[(triple2)] @1: Anne is rough.[(((triple1) -> rule2))]