Anne is cold. Anne is quiet. Anne is round. Anne is smart. Bob is red. Harry is not red. Harry is smart. If something is cold then it is round. Smart things are cold. Red things are smart. If something is red and round then it is cold. If something is round and not quiet then it is furry. If something is white and not red then it is smart.
Bob is not cold.