Bob is big. Bob is cold. Bob is green. Bob is kind. Bob is quiet. Bob is red. Bob is not young. Charlie is not cold. Charlie is green. Charlie is quiet. Charlie is red. Charlie is young. Dave is green. Dave is kind. Dave is quiet. Dave is young. If Dave is not young then Dave is not quiet. If someone is big and not quiet then they are not kind.
Charlie is not kind.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is green.[(triple3)] Bob is kind.[(triple4)] Bob is not young.[(triple7)] Bob is quiet.[(triple5)] Bob is red.[(triple6)] Charlie is green.[(triple9)] Charlie is not cold.[(triple8)] Charlie is quiet.[(triple10)] Charlie is red.[(triple11)] Charlie is young.[(triple12)] Dave is green.[(triple13)] Dave is kind.[(triple14)] Dave is quiet.[(triple15)] Dave is young.[(triple16)]