Charlie is not green. Erin is red. Erin is white. If Charlie is green then Charlie is big. If something is white and not red then it is green. If Erin is white and Erin is rough then Erin is not big.
Charlie is not green.
@0: Charlie is not green.[(triple1)] Erin is red.[(triple2)] Erin is white.[(triple3)]