Anne is red. Anne is round. Bob is blue. Bob is nice. Bob is round. Bob is white. Charlie is blue. Charlie is green. Charlie is nice. Charlie is red. Charlie is smart. Fiona is blue. All nice, smart things are blue. If something is nice then it is smart. If something is green then it is white. If something is blue and smart then it is round. White things are nice. Round, red things are green. If Anne is green and Anne is not round then Anne is not red. If something is green and not round then it is blue.
Fiona is not smart.