Charlie is big. Charlie is not blue. Charlie is green. Charlie is kind. Charlie is red. Charlie is smart. Charlie is young. Dave is big. Dave is blue. Dave is smart. Erin is not big. Erin is blue. Erin is green. Erin is not red. Erin is young. If Erin is not young then Erin is blue.
Dave is not kind.
@0: Charlie is big.[(triple1)] Charlie is green.[(triple3)] Charlie is kind.[(triple4)] Charlie is not blue.[(triple2)] Charlie is red.[(triple5)] Charlie is smart.[(triple6)] Charlie is young.[(triple7)] Dave is big.[(triple8)] Dave is blue.[(triple9)] Dave is smart.[(triple10)] Erin is blue.[(triple12)] Erin is green.[(triple13)] Erin is not big.[(triple11)] Erin is not red.[(triple14)] Erin is young.[(triple15)]