Charlie is big. Charlie is furry. Charlie is green. Charlie is not kind. Charlie is quiet. Charlie is red. Charlie is round. Erin is big. Erin is furry. Erin is green. Erin is kind. Erin is quiet. Erin is red. Erin is round. If Charlie is quiet and Charlie is kind then Charlie is not red.
Charlie is not quiet.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2)] Charlie is green.[(triple3)] Charlie is not kind.[(triple4)] Charlie is quiet.[(triple5)] Charlie is red.[(triple6)] Charlie is round.[(triple7)] Erin is big.[(triple8)] Erin is furry.[(triple9)] Erin is green.[(triple10)] Erin is kind.[(triple11)] Erin is quiet.[(triple12)] Erin is red.[(triple13)] Erin is round.[(triple14)]