Bob is blue. Dave is kind. Gary is big. Harry is green. If Bob is kind then Bob is young.
Bob is not young.
@0: Bob is blue.[(triple1)] Dave is kind.[(triple2)] Gary is big.[(triple3)] Harry is green.[(triple4)]