Anne is quiet. Bob is green. Gary is cold. If something is red then it is furry. If something is white and furry then it is cold. All white things are red.
Anne is not quiet.
@0: Anne is quiet.[(triple1)] Bob is green.[(triple2)] Gary is cold.[(triple3)]