Charlie is big. Charlie is cold. Charlie is kind. Charlie is quiet. Charlie is smart. Charlie is young. Dave is cold. Dave is kind. Dave is quiet. Dave is rough. Dave is smart. Dave is young. Erin is big. Erin is kind. Erin is smart. If Charlie is young then Charlie is big. Big things are cold. If Charlie is young and Charlie is cold then Charlie is kind. All cold things are big. If Erin is cold then Erin is young. If Charlie is young then Charlie is quiet. Big things are kind. All smart, rough things are big.
Charlie is not big.