Anne is blue. Anne is red. Anne is round. Anne is white. Anne is young. Charlie is blue. Charlie is not cold. Charlie is red. Charlie is white. Erin is big. Erin is cold. Erin is red. Erin is round. Erin is white. Erin is young. If Erin is not round and Erin is not cold then Erin is not red. If someone is white and not red then they are not young.
Charlie is big.
@0: Anne is blue.[(triple1)] Anne is red.[(triple2)] Anne is round.[(triple3)] Anne is white.[(triple4)] Anne is young.[(triple5)] Charlie is blue.[(triple6)] Charlie is not cold.[(triple7)] Charlie is red.[(triple8)] Charlie is white.[(triple9)] Erin is big.[(triple10)] Erin is cold.[(triple11)] Erin is red.[(triple12)] Erin is round.[(triple13)] Erin is white.[(triple14)] Erin is young.[(triple15)]