Charlie is kind. Dave is big. Harry is not big. All white things are green. All blue things are not young. If Dave is white and Dave is not nice then Dave is green.
Dave is not big.
@0: Charlie is kind.[(triple1)] Dave is big.[(triple2)] Harry is not big.[(triple3)]