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.
Gary is kind.
@0: Erin is not cold.[(triple1)] Fiona is rough.[(triple2)] Gary is not kind.[(triple3)] Harry is cold.[(triple4)]