Bob is big. Bob is furry. Bob is kind. Bob is red. Bob is rough. Charlie is big. Charlie is smart. Erin is not big. Erin is smart. Harry is kind. Harry is rough. Harry is not smart. If Harry is not rough then Harry is smart. Cold things are kind. Red things are cold. Rough, smart things are not big. All smart things are red. If something is not red then it is kind. If something is rough and not kind then it is cold. If Charlie is not cold then Charlie is not smart.
Erin is big.