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