Anne is blue. Anne is not cold. Anne is not nice. Anne is not quiet. Anne is round. Anne is smart. Anne is white. Bob is blue. Bob is cold. Bob is quiet. Bob is round. Bob is smart. If Anne is nice and Anne is blue then Anne is cold. If someone is nice and not cold then they are white.
Bob is not white.
@0: Anne is blue.[(triple1)] Anne is not cold.[(triple2)] Anne is not nice.[(triple3)] Anne is not quiet.[(triple4)] Anne is round.[(triple5)] Anne is smart.[(triple6)] Anne is white.[(triple7)] Bob is blue.[(triple8)] Bob is cold.[(triple9)] Bob is quiet.[(triple10)] Bob is round.[(triple11)] Bob is smart.[(triple12)]