Dave is blue. Dave is cold. Dave is nice. Dave is red. Dave is not smart. Harry is blue. Harry is cold. Harry is not red. Harry is rough. Harry is young. Young, nice things are smart. If Dave is smart then Dave is cold.
Dave is young.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2)] Dave is nice.[(triple3)] Dave is not smart.[(triple5)] Dave is red.[(triple4)] Harry is blue.[(triple6)] Harry is cold.[(triple7)] Harry is not red.[(triple8)] Harry is rough.[(triple9)] Harry is young.[(triple10)]