Charlie is big. Charlie is blue. Charlie is not cold. Dave is big. Dave is blue. Dave is rough. Erin is green. If Charlie is big and Charlie is young then Charlie is red. If Charlie is blue and Charlie is red then Charlie is green. If Erin is cold and Erin is not big then Erin is not green.
Charlie is not green.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is not cold.[(triple3)] Dave is big.[(triple4)] Dave is blue.[(triple5)] Dave is rough.[(triple6)] Erin is green.[(triple7)]