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