Bob is not nice. Charlie is not rough. Fiona is white. All red people are nice. If someone is red and not quiet then they are white. If someone is quiet then they are red. If Bob is nice and Bob is big then Bob is rough. If Charlie is quiet then Charlie is not nice. If someone is big and not rough then they are not smart. If Bob is rough and Bob is not nice then Bob is not white. If someone is not rough then they are not smart.
Charlie is red.