Charlie is not big. Fiona is not cold. Gary is rough. Harry is rough. If something is nice then it is big. If Charlie is green and Charlie is nice then Charlie is not white. If Charlie is not nice then Charlie is young. If something is cold and not young then it is rough. All rough, white things are cold. If Gary is cold then Gary is white.
Harry is nice.
@0: Charlie is not big.[(triple1)] Fiona is not cold.[(triple2)] Gary is rough.[(triple3)] Harry is rough.[(triple4)]