Bob is green. Bob is nice. Bob is quiet. Bob is round. Bob is young. Erin is green. Erin is kind. Erin is nice. Erin is quiet. Erin is round. Erin is young. Gary is kind. Gary is nice. Gary is quiet. Gary is round. If Bob is green then Bob is kind. All green things are smart. Young things are smart. If something is kind and round then it is quiet. All quiet things are young. All kind, quiet things are round. If Erin is nice and Erin is green then Erin is kind. All kind things are green.
Erin is not green.