Dave is green. Dave is nice. Gary is cold. Gary is nice. Gary is smart. Gary is white. Gary is young. If Dave is big and Dave is nice then Dave is young. All nice, big things are smart. All green, smart things are white.
Gary is cold.
@0: Dave is green.[(triple1)] Dave is nice.[(triple2)] Gary is cold.[(triple3)] Gary is nice.[(triple4)] Gary is smart.[(triple5)] Gary is white.[(triple6)] Gary is young.[(triple7)]