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