Anne is big. Anne is cold. Anne is nice. Anne is round. Anne is smart. Fiona is big. Fiona is blue. Fiona is nice. Fiona is rough. Fiona is round. Gary is blue. Gary is cold. Gary is rough. Gary is round. Gary is smart. All big, round people are smart. If Fiona is cold then Fiona is blue. If someone is round then they are smart. If someone is blue and smart then they are big. If someone is blue then they are round. Blue people are nice.
Anne is not blue.