Bob is green. Dave is nice. Erin is green. Gary is nice. If Bob is kind then Bob is not quiet.
Dave is quiet.
@0: Bob is green.[(triple1)] Dave is nice.[(triple2)] Erin is green.[(triple3)] Gary is nice.[(triple4)]