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 big.
@0: Bob is rough.[(triple1)] Charlie is nice.[(triple2)] Dave is white.[(triple3)] Harry is not green.[(triple4)]