Bob is nice. Bob is red. Bob is rough. Bob is round. Charlie is red. Charlie is rough. Erin is nice. Erin is quiet. Erin is red. Erin is rough. Erin is round. Erin is smart. Gary is nice. Gary is red. All quiet, round things are rough. All quiet things are rough. If Gary is rough then Gary is blue. All smart, nice things are quiet. If Gary is rough and Gary is quiet then Gary is smart. If something is nice and blue then it is round. If something is smart then it is quiet. If something is nice then it is smart.
Charlie is not smart.