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