Anne is big. Anne is not furry. Anne is red. Anne is rough. Anne is not round. Anne is smart. Bob is furry. Bob is not nice. Bob is not rough. Bob is smart. Charlie is big. Charlie is smart. If Anne is nice and Anne is smart then Anne is round. If something is nice and not furry then it is not smart. Round things are not red.
Anne is nice.