Charlie is blue. Charlie is red. Charlie is rough. Charlie is round. Fiona is red. Gary is not red. Gary is rough. All blue people are nice. Smart people are blue. If Charlie is rough then Charlie is nice. If someone is young then they are rough. If someone is not round then they are smart. If someone is not blue then they are young. If someone is rough and not blue then they are not round. If someone is blue and not nice then they are not red.
Fiona is not nice.