Anne is quiet. Bob is red. Charlie is blue. Gary is red. If something is blue and quiet then it is nice. Blue, nice things are round. If something is red then it is not quiet.
Anne is not nice.
@0: Anne is quiet.[(triple1)] Bob is red.[(triple2)] Charlie is blue.[(triple3)] Gary is red.[(triple4)] @1: Bob is not quiet.[(((triple2) -> rule3))] Gary is not quiet.[(((triple4) -> rule3))]