Anne is red. Charlie is blue. Fiona is big. Gary is red. Blue, big things are furry. If something is big and blue then it is green. All big things are blue. Blue, big things are kind. If something is kind and blue then it is red. All big, smart things are blue.
Fiona is not red.