Anne is not rough. Bob is not rough. Charlie is quiet. Erin is green. If something is cold and not green then it is blue. All nice things are blue. If something is green and not nice then it is cold.
Charlie is not blue.
@0: Anne is not rough.[(triple1)] Bob is not rough.[(triple2)] Charlie is quiet.[(triple3)] Erin is green.[(triple4)]