Anne is big. Anne is nice. Anne is rough. Anne is round. Anne is white. Charlie is blue. Charlie is rough. Charlie is round. Dave is blue. Erin is big. Erin is not blue. Erin is furry. Erin is nice. Erin is round. Erin is white. If Charlie is nice and Charlie is not furry then Charlie is not round.
Dave is blue.
@0: Anne is big.[(triple1)] Anne is nice.[(triple2)] Anne is rough.[(triple3)] Anne is round.[(triple4)] Anne is white.[(triple5)] Charlie is blue.[(triple6)] Charlie is rough.[(triple7)] Charlie is round.[(triple8)] Dave is blue.[(triple9)] Erin is big.[(triple10)] Erin is furry.[(triple12)] Erin is nice.[(triple13)] Erin is not blue.[(triple11)] Erin is round.[(triple14)] Erin is white.[(triple15)]