Charlie is blue. Charlie is green. Charlie is nice. Dave is blue. Dave is green. Dave is red. Erin is blue. Erin is green. Erin is young. Gary is furry. If something is white and red then it is green. If Erin is green and Erin is furry then Erin is blue.
Erin is not green.
@0: Charlie is blue.[(triple1)] Charlie is green.[(triple2)] Charlie is nice.[(triple3)] Dave is blue.[(triple4)] Dave is green.[(triple5)] Dave is red.[(triple6)] Erin is blue.[(triple7)] Erin is green.[(triple8)] Erin is young.[(triple9)] Gary is furry.[(triple10)]