Bob is kind. Bob is red. Bob is not rough. Bob is white. Dave is kind. Dave is young. Fiona is kind. Fiona is nice. Fiona is red. Fiona is round. Fiona is white. Fiona is young. If Fiona is red then Fiona is young. All rough, nice things are red. If Bob is white then Bob is kind. If something is red and not nice then it is white. If something is round and not kind then it is rough. If something is not kind then it is round. If something is not young and not rough then it is white. If something is not round then it is red.
Dave is not white.