Charlie is rough. Dave is blue. Dave is red. Dave is not rough. Fiona is not big. Fiona is red. Fiona is rough. Gary is big. Gary is red. Gary is young. All rough, smart people are blue. Young people are quiet. If Dave is smart and Dave is quiet then Dave is young. If Gary is rough and Gary is smart then Gary is quiet. All smart people are quiet. If someone is blue and red then they are smart. All blue people are big. If Gary is big and Gary is blue then Gary is not smart.
Charlie is not rough.