Anne is big. Anne is blue. Anne is cold. Anne is green. Anne is smart. Bob is blue. Bob is green. Bob is nice. Fiona is green. Fiona is nice. Gary is big. Gary is blue. Gary is round. Gary is smart. All smart things are blue. All blue, nice things are cold. If something is cold then it is blue. All nice, big things are round. Green, nice things are big. All nice things are big. If something is smart and nice then it is round. Cold things are smart. Round, big things are smart.
Fiona is not blue.