Charlie is white. Erin is not nice. Gary is not cold. If Charlie is nice and Charlie is rough then Charlie is green.
Charlie is cold.
@0: Charlie is white.[(triple1)] Erin is not nice.[(triple2)] Gary is not cold.[(triple3)]