Bob is not big. Bob is green. Fiona is furry. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is smart. Gary is big. Gary is furry. Gary is smart. If someone is green and not big then they are quiet. All red people are not kind. All kind people are furry. If someone is kind then they are quiet. Quiet, smart people are kind. If Gary is not quiet then Gary is red.
Gary is red.