Dave is blue. Dave is kind. Dave is red. Dave is rough. Dave is not young. Harry is kind. Harry is red. Harry is rough. Harry is round. Harry is smart. If Harry is not smart then Harry is not young.
Dave is not smart.
@0: Dave is blue.[(triple1)] Dave is kind.[(triple2)] Dave is not young.[(triple5)] Dave is red.[(triple3)] Dave is rough.[(triple4)] Harry is kind.[(triple6)] Harry is red.[(triple7)] Harry is rough.[(triple8)] Harry is round.[(triple9)] Harry is smart.[(triple10)]