Anne is furry. Erin is cold. Gary is rough. Harry is blue. All nice people are smart.
Harry is not blue.
@0: Anne is furry.[(triple1)] Erin is cold.[(triple2)] Gary is rough.[(triple3)] Harry is blue.[(triple4)]