Anne is not quiet. Bob is quiet. Dave is red. Gary is round. If something is round then it is not quiet.
Dave is red.
@0: Anne is not quiet.[(triple1)] Bob is quiet.[(triple2)] Dave is red.[(triple3)] Gary is round.[(triple4)] @1: Gary is not quiet.[(((triple4) -> rule1))]