Anne is cold. Bob is kind. Bob is smart. Bob is white. Erin is not cold. Erin is not rough. Harry is smart. If Harry is cold then Harry is smart. Kind things are white. If Harry is white and Harry is rough then Harry is quiet. All rough, quiet things are cold. All cold things are rough. Cold, smart things are not big. If Harry is smart then Harry is kind. All smart things are rough. If something is not smart then it is big.
Anne is quiet.