Erin is not cold. Fiona is rough. Gary is not kind. Harry is cold. All big things are nice. If Gary is kind then Gary is not big.
Harry is cold.
@0: Erin is not cold.[(triple1)] Fiona is rough.[(triple2)] Gary is not kind.[(triple3)] Harry is cold.[(triple4)]