Anne is cold. Anne is nice. Anne is quiet. Anne is red. Anne is smart. Charlie is cold. Charlie is not nice. Charlie is quiet. Charlie is red. Charlie is smart. Charlie is not white. Erin is not cold. Erin is kind. Erin is not nice. Erin is not red. Erin is white. Cold, kind things are red. If Anne is cold and Anne is not red then Anne is smart.
Charlie is not kind.
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2)] Anne is quiet.[(triple3)] Anne is red.[(triple4)] Anne is smart.[(triple5)] Charlie is cold.[(triple6)] Charlie is not nice.[(triple7)] Charlie is not white.[(triple11)] Charlie is quiet.[(triple8)] Charlie is red.[(triple9)] Charlie is smart.[(triple10)] Erin is kind.[(triple13)] Erin is not cold.[(triple12)] Erin is not nice.[(triple14)] Erin is not red.[(triple15)] Erin is white.[(triple16)]