Anne is not green. Dave is not round. Fiona is blue. All nice things are not green. If something is smart and not round then it is blue. All quiet things are nice. If something is not smart then it is quiet. If Anne is blue and Anne is not quiet then Anne is nice. If Anne is round and Anne is not nice then Anne is not smart.
Anne is smart.