Anne is big. Anne is blue. Anne is quiet. Bob is big. Bob is blue. Bob is not cold. Bob is nice. Bob is quiet. Bob is not round. Bob is not smart. Gary is not big. Gary is cold. Gary is nice. Gary is quiet. Gary is round. Gary is smart. Nice people are blue. If Gary is not cold then Gary is round. If someone is quiet then they are blue. All blue people are quiet. If Gary is nice then Gary is smart. If someone is smart and nice then they are not big.
Bob is not quiet.