Bob is blue. Bob is quiet. Charlie is round. Erin is quiet. Erin is young. Gary is quiet. Gary is round. Quiet people are big. All big, smart people are red. Big, red people are round. Round, red people are smart. If someone is young and big then they are smart. All big people are young. If Erin is round then Erin is red. All red, blue people are smart. If someone is red then they are big.
Charlie is red.