Dave is cold. Dave is green. Dave is red. Dave is smart. Dave is young. Fiona is red. Fiona is smart. Fiona is young. Gary is cold. Gary is nice. Gary is smart. Gary is white. Gary is young. Harry is cold. Harry is red. Harry is white. If something is green and not smart then it is not young.
Fiona is smart.
@0: Dave is cold.[(triple1)] Dave is green.[(triple2)] Dave is red.[(triple3)] Dave is smart.[(triple4)] Dave is young.[(triple5)] Fiona is red.[(triple6)] Fiona is smart.[(triple7)] Fiona is young.[(triple8)] Gary is cold.[(triple9)] Gary is nice.[(triple10)] Gary is smart.[(triple11)] Gary is white.[(triple12)] Gary is young.[(triple13)] Harry is cold.[(triple14)] Harry is red.[(triple15)] Harry is white.[(triple16)]