Erin is nice. Gary is quiet. Harry is not rough. All white people are green. All rough people are green. If someone is green and not nice then they are rough. Quiet, nice people are not rough. If someone is cold and not furry then they are not white. If someone is furry and cold then they are white. If Gary is quiet and Gary is white then Gary is not green. If Erin is rough then Erin is cold.
Harry is rough.
@0: Erin is nice.[(triple1)] Gary is quiet.[(triple2)] Harry is not rough.[(triple3)]