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