Bob is kind. Charlie is big. Charlie is blue. Charlie is not kind. Erin is rough. Gary is blue. Gary is not kind. All smart people are blue. If someone is rough then they are big. If someone is big and not round then they are quiet. If someone is rough and quiet then they are blue. If Bob is round and Bob is quiet then Bob is rough. All blue people are not kind. If someone is rough and not blue then they are quiet. If Charlie is blue and Charlie is not big then Charlie is smart.
Erin is not rough.