Anne is blue. Anne is green. Anne is kind. Anne is red. Anne is round. Anne is smart. Fiona is blue. Fiona is cold. Fiona is green. Fiona is red. Fiona is round. Fiona is smart. If Anne is red then Anne is green. If something is green then it is red. Blue things are smart. Kind, cold things are smart. If Anne is green then Anne is blue. All green things are red. If something is smart and cold then it is red. Red things are cold.
Fiona is smart.