Anne is blue. Anne is rough. Anne is round. Bob is big. Bob is quiet. Dave is not round. Gary is nice. If someone is not nice and not rough then they are not smart. All blue people are quiet. If someone is rough and smart then they are not nice. If someone is nice then they are blue. Quiet, nice people are smart. If someone is smart and big then they are not rough. If someone is smart and blue then they are quiet. If Anne is round and Anne is big then Anne is not rough.
Gary is not smart.