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