Charlie is nice. Erin is nice. Gary is green. If something is green and white then it is big. White things are big. If something is rough then it is red. If Charlie is round then Charlie is green. All rough things are red. All green, white things are rough. All round things are red. Big, white things are red.
Charlie is not green.
@0: Charlie is nice.[(triple1)] Erin is nice.[(triple2)] Gary is green.[(triple3)]