Bob is blue. Bob is smart. Bob is young. Dave is big. Dave is blue. Dave is not cold. Dave is red. Dave is smart. Dave is not white. Dave is young. Harry is big. Harry is not blue. Harry is not cold. Harry is smart. Harry is white. Harry is young. Blue, white things are not smart.
Bob is red.
@0: Bob is blue.[(triple1)] Bob is smart.[(triple2)] Bob is young.[(triple3)] Dave is big.[(triple4)] Dave is blue.[(triple5)] Dave is not cold.[(triple6)] Dave is not white.[(triple9)] Dave is red.[(triple7)] Dave is smart.[(triple8)] Dave is young.[(triple10)] Harry is big.[(triple11)] Harry is not blue.[(triple12)] Harry is not cold.[(triple13)] Harry is smart.[(triple14)] Harry is white.[(triple15)] Harry is young.[(triple16)]