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