Bob is blue. Bob is cold. Bob is kind. Bob is rough. Bob is smart. Bob is young. Charlie is big. Charlie is blue. Charlie is cold. Charlie is young. Dave is not cold. Dave is young. If Bob is not blue then Bob is kind.
Dave is not big.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is kind.[(triple3)] Bob is rough.[(triple4)] Bob is smart.[(triple5)] Bob is young.[(triple6)] Charlie is big.[(triple7)] Charlie is blue.[(triple8)] Charlie is cold.[(triple9)] Charlie is young.[(triple10)] Dave is not cold.[(triple11)] Dave is young.[(triple12)]