Bob is big. Bob is blue. Bob is kind. Bob is red. Bob is rough. Bob is smart. Erin is kind. Erin is rough. Gary is blue. Gary is kind. Gary is red. Gary is rough. If Gary is smart then Gary is red. All rough, blue things are smart. Big, smart things are blue. If Erin is kind then Erin is green. If Bob is blue and Bob is smart then Bob is rough. All green, blue things are kind.
Erin is not blue.