Anne is big. Anne is furry. Anne is nice. Anne is not quiet. Anne is red. Charlie is big. Charlie is blue. Charlie is furry. Charlie is nice. Charlie is not quiet. Charlie is red. Charlie is young. Erin is not furry. Erin is not nice. Erin is quiet. If Anne is quiet then Anne is furry. If something is quiet and blue then it is red. If Anne is young then Anne is red. If Erin is red and Erin is not furry then Erin is big. If Charlie is quiet and Charlie is young then Charlie is blue. If something is quiet and not blue then it is nice.
Erin is not red.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is nice.[(triple3)] Anne is not quiet.[(triple4)] Anne is red.[(triple5)] Charlie is big.[(triple6)] Charlie is blue.[(triple7)] Charlie is furry.[(triple8)] Charlie is nice.[(triple9)] Charlie is not quiet.[(triple10)] Charlie is red.[(triple11)] Charlie is young.[(triple12)] Erin is not furry.[(triple13)] Erin is not nice.[(triple14)] Erin is quiet.[(triple15)]