Bob is green. Bob is kind. Bob is red. Bob is rough. Bob is round. Bob is smart. Bob is young. Charlie is kind. Dave is green. Dave is kind. Dave is red. Erin is red. If something is kind then it is young. If something is smart then it is round. Rough, kind things are red. Rough, young things are red. All red, smart things are kind. Green, round things are smart. All kind, young things are rough. All rough, round things are smart. All red things are round.
Charlie is not round.