Anne is not cold. Anne is not furry. Anne is green. Anne is kind. Anne is not rough. Anne is round. Anne is not white. Charlie is not cold. Charlie is green. Charlie is kind. Charlie is rough. Charlie is round. Charlie is white. Erin is furry. Erin is kind. Erin is rough. If Erin is round and Erin is furry then Erin is white. If Anne is furry and Anne is round then Anne is green. If someone is cold and not white then they are kind.
Erin is not white.
@0: Anne is green.[(triple3)] Anne is kind.[(triple4)] Anne is not cold.[(triple1)] Anne is not furry.[(triple2)] Anne is not rough.[(triple5)] Anne is not white.[(triple7)] Anne is round.[(triple6)] Charlie is green.[(triple9)] Charlie is kind.[(triple10)] Charlie is not cold.[(triple8)] Charlie is rough.[(triple11)] Charlie is round.[(triple12)] Charlie is white.[(triple13)] Erin is furry.[(triple14)] Erin is kind.[(triple15)] Erin is rough.[(triple16)]