Bob is red. Bob is rough. Charlie is furry. Charlie is quiet. Charlie is red. Charlie is white. Dave is quiet. Dave is young. Erin is big. Erin is furry. Erin is not quiet. Erin is white. If Charlie is red and Charlie is not furry then Charlie is not white.
Erin is not big.
@0: Bob is red.[(triple1)] Bob is rough.[(triple2)] Charlie is furry.[(triple3)] Charlie is quiet.[(triple4)] Charlie is red.[(triple5)] Charlie is white.[(triple6)] Dave is quiet.[(triple7)] Dave is young.[(triple8)] Erin is big.[(triple9)] Erin is furry.[(triple10)] Erin is not quiet.[(triple11)] Erin is white.[(triple12)]