Bob is not green. Bob is quiet. Bob is smart. Charlie is cold. Charlie is furry. Charlie is quiet. Erin is smart. Gary is big. Gary is green. Gary is smart. All quiet people are smart. If Charlie is quiet and Charlie is not cold then Charlie is furry. If Charlie is not smart then Charlie is furry.
Bob is quiet.