Anne is white. Charlie is cold. Dave is blue. Dave is red. Dave is smart. Dave is white. Fiona is not smart. All cold people are smart. If Charlie is cold then Charlie is smart. If someone is smart then they are blue. If someone is white then they are rough. If someone is quiet then they are rough. If someone is white then they are red. If someone is rough then they are white. Quiet people are not white. Blue, cold people are rough.
Charlie is quiet.