Bob is big. Bob is cold. Bob is quiet. Charlie is cold. Charlie is kind. Charlie is round. Charlie is smart. Erin is big. Erin is cold. Erin is kind. Erin is quiet. Erin is red. Erin is smart. Gary is red. Gary is smart. Smart, red things are big. If something is cold then it is smart.
Charlie is not big.