Anne is not quiet. Bob is red. Erin is not quiet. Gary is kind. White things are cold. Cold, kind things are not red. All white things are red. All cold, white things are red. If something is nice then it is quiet. Kind, white things are nice. If something is round then it is nice. If Gary is cold and Gary is round then Gary is red.
Bob is not red.
@0: Anne is not quiet.[(triple1)] Bob is red.[(triple2)] Erin is not quiet.[(triple3)] Gary is kind.[(triple4)]