Anne is big. Erin is red. Fiona is green. Harry is furry. All green, white people are kind. If someone is big and white then they are kind. If someone is smart and red then they are kind. Green people are red. If someone is kind then they are big. All green people are white. If Anne is white then Anne is smart. All furry people are smart.
Erin is not green.