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