Bob is red. Dave is not blue. Dave is furry. Dave is nice. Dave is quiet. Gary is not quiet. Gary is rough. If someone is furry and blue then they are not nice.
Bob is not nice.
@0: Bob is red.[(triple1)] Dave is furry.[(triple3)] Dave is nice.[(triple4)] Dave is not blue.[(triple2)] Dave is quiet.[(triple5)] Gary is not quiet.[(triple6)] Gary is rough.[(triple7)]