Bob is furry. Bob is kind. Bob is not smart. Dave is cold. Dave is rough. Erin is furry. Erin is not quiet. Erin is rough. Gary is red. Gary is smart. If someone is not smart then they are red. If someone is rough and smart then they are quiet. If someone is not smart then they are red. If Erin is smart then Erin is red. If Bob is kind and Bob is smart then Bob is rough. If someone is not kind then they are rough.
Gary is not smart.