Anne is not big. Anne is not nice. Bob is big. Bob is nice. Bob is smart. Charlie is furry. Gary is furry. All smart, red people are nice. All furry people are red. All red, furry people are big. If someone is big and nice then they are not kind. If someone is furry then they are nice. If someone is smart and not big then they are quiet.
Gary is not quiet.