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