Bob is green. Bob is kind. Bob is quiet. Bob is not round. Dave is blue. Dave is nice. Dave is round. If something is quiet and not green then it is blue. If something is kind and not green then it is blue. If Bob is green and Bob is blue then Bob is not nice.
Bob is not blue.
@0: Bob is green.[(triple1)] Bob is kind.[(triple2)] Bob is not round.[(triple4)] Bob is quiet.[(triple3)] Dave is blue.[(triple5)] Dave is nice.[(triple6)] Dave is round.[(triple7)]