Bob is rough. Charlie is nice. Dave is white. Harry is not green. If Bob is green then Bob is big. All round, white people are nice.
Dave is not white.
@0: Bob is rough.[(triple1)] Charlie is nice.[(triple2)] Dave is white.[(triple3)] Harry is not green.[(triple4)]