Bob is nice. Bob is rough. Bob is smart. Charlie is not big. Charlie is not blue. Charlie is nice. Charlie is round. Charlie is smart. Harry is big. Harry is not blue. Harry is cold. Harry is nice. Harry is rough. Harry is not round. Harry is smart. If Charlie is cold and Charlie is blue then Charlie is not smart. If something is smart and not blue then it is rough. If something is not blue then it is smart.
Bob is not big.