Anne is cold. Anne is nice. Anne is smart. Bob is not green. Bob is white. Dave is blue. Fiona is blue. All nice, smart things are white. All blue things are nice. Blue things are nice. If something is smart then it is white. If something is nice and round then it is green. All nice things are round. If something is green then it is smart. If something is not round then it is not smart.
Anne is smart.