Anne is not green. Bob is cold. Bob is smart. Bob is white. Charlie is not white. Charlie is young. Dave is not nice. Dave is round. Dave is smart. Dave is not young. All green things are smart. Green, round things are smart.
Charlie is white.
@0: Anne is not green.[(triple1)] Bob is cold.[(triple2)] Bob is smart.[(triple3)] Bob is white.[(triple4)] Charlie is not white.[(triple5)] Charlie is young.[(triple6)] Dave is not nice.[(triple7)] Dave is not young.[(triple10)] Dave is round.[(triple8)] Dave is smart.[(triple9)]