Charlie is furry. Charlie is green. Charlie is smart. Charlie is white. Charlie is young. Dave is cold. Dave is furry. Dave is green. Dave is quiet. Dave is smart. Dave is white. Dave is young. If Dave is quiet and Dave is not smart then Dave is young.
Charlie is not quiet.
@0: Charlie is furry.[(triple1)] Charlie is green.[(triple2)] Charlie is smart.[(triple3)] Charlie is white.[(triple4)] Charlie is young.[(triple5)] Dave is cold.[(triple6)] Dave is furry.[(triple7)] Dave is green.[(triple8)] Dave is quiet.[(triple9)] Dave is smart.[(triple10)] Dave is white.[(triple11)] Dave is young.[(triple12)]