Charlie is kind. Erin is smart. Gary is blue. Harry is quiet. If Gary is kind then Gary is round. If someone is green then they are round. If Charlie is round then Charlie is green. If someone is smart and round then they are blue. If someone is smart and green then they are round. All smart people are green.
Erin is not round.