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