Anne is big. Anne is blue. Anne is green. Anne is red. Anne is round. Anne is smart. Anne is young. Bob is not green. Bob is not round. Bob is young. If something is not red then it is blue. If Anne is not blue then Anne is smart.
Bob is not round.