Anne is quiet. Anne is red. Anne is smart. Bob is big. Gary is kind. Gary is red. Gary is smart. If Bob is red and Bob is kind then Bob is cold. If Bob is quiet and Bob is smart then Bob is green. If someone is green and smart then they are quiet. If Anne is quiet and Anne is kind then Anne is cold. All red people are smart. Quiet, cold people are red.
Bob is not smart.