Bob is young. Dave is red. Gary is rough. Harry is green. If something is red and not blue then it is green. If Bob is blue and Bob is not young then Bob is not red.
Bob is not green.
@0: Bob is young.[(triple1)] Dave is red.[(triple2)] Gary is rough.[(triple3)] Harry is green.[(triple4)]