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