Anne is furry. Bob is not quiet. Charlie is nice. Nice things are not rough. If something is quiet and not cold then it is rough. Big, round things are not nice.
Bob is round.
@0: Anne is furry.[(triple1)] Bob is not quiet.[(triple2)] Charlie is nice.[(triple3)] @1: Charlie is not rough.[(((triple3) -> rule1))]