Bob is quiet. Bob is smart. Erin is big. Erin is quiet. Erin is round. Gary is kind. Gary is smart. All green, red people are kind. Green people are round. Quiet, round people are red. If Bob is kind then Bob is round. Round, big people are green. If someone is big then they are smart. All big people are round. If someone is kind and smart then they are quiet.
Gary is not smart.