Dave is not big. Dave is green. Dave is kind. Dave is red. Dave is rough. Dave is white. Dave is young. Harry is not big. Harry is green. Harry is kind. Harry is red. Harry is rough. Harry is white. Harry is young. If someone is kind and not red then they are green.
Dave is green.
@0: Dave is green.[(triple2)] Dave is kind.[(triple3)] Dave is not big.[(triple1)] Dave is red.[(triple4)] Dave is rough.[(triple5)] Dave is white.[(triple6)] Dave is young.[(triple7)] Harry is green.[(triple9)] Harry is kind.[(triple10)] Harry is not big.[(triple8)] Harry is red.[(triple11)] Harry is rough.[(triple12)] Harry is white.[(triple13)] Harry is young.[(triple14)]