Bob is big. Bob is kind. Charlie is big. Charlie is nice. Erin is smart. Harry is big. Harry is green. If someone is cold and quiet then they are kind. If Harry is smart then Harry is quiet. If Charlie is quiet then Charlie is smart. Big people are cold. All big, nice people are smart. All cold people are nice. Quiet people are big.
Erin is not kind.