Charlie is rough. Fiona is nice. If Fiona is nice then Fiona is rough. All nice people are smart. If Fiona is rough then Fiona is smart. If someone is rough then they are nice. If someone is smart then they are blue. All green, rough people are round. If Fiona is green and Fiona is smart then Fiona is young. All rough, smart people are round.
Charlie is not rough.