Bob is quiet. Dave is cold. Dave is green. Dave is quiet. Dave is smart. Dave is not young. Gary is cold. Gary is smart. Gary is not white. Gary is young. If someone is green and not round then they are white. If someone is white then they are green. If Bob is white and Bob is green then Bob is smart.
Dave is not quiet.
@0: Bob is quiet.[(triple1)] Dave is cold.[(triple2)] Dave is green.[(triple3)] Dave is not young.[(triple6)] Dave is quiet.[(triple4)] Dave is smart.[(triple5)] Gary is cold.[(triple7)] Gary is not white.[(triple9)] Gary is smart.[(triple8)] Gary is young.[(triple10)]