Bob is not blue. Bob is nice. Bob is not smart. Dave is blue. Dave is kind. Dave is nice. Dave is white. Gary is nice. Gary is rough. Gary is white. Smart people are kind. Nice, smart people are not blue. If someone is white and not furry then they are rough.
Dave is white.
@0: Bob is nice.[(triple2)] Bob is not blue.[(triple1)] Bob is not smart.[(triple3)] Dave is blue.[(triple4)] Dave is kind.[(triple5)] Dave is nice.[(triple6)] Dave is white.[(triple7)] Gary is nice.[(triple8)] Gary is rough.[(triple9)] Gary is white.[(triple10)]