Bob is kind. Bob is round. Bob is white. Charlie is cold. Charlie is kind. Charlie is nice. Charlie is red. Charlie is round. Erin is nice. Erin is red. Harry is cold. Harry is kind. Harry is red. Harry is round. Harry is white. If someone is white and round then they are nice. If Erin is cold and Erin is white then Erin is kind. If Charlie is red then Charlie is white.
Charlie is not nice.