Bob is green. Dave is not nice. Dave is white. If something is nice and cold then it is rough. If Dave is nice then Dave is green. Rough things are white.
Dave is not nice.
@0: Bob is green.[(triple1)] Dave is not nice.[(triple2)] Dave is white.[(triple3)]