Bob is big. Bob is kind. Bob is red. Harry is big. Harry is green. Harry is round. Harry is smart. If something is round then it is cold. If something is smart then it is big. If something is kind then it is big. All kind, cold things are big. If Bob is red and Bob is round then Bob is big. All red things are round. All smart, cold things are green. If Bob is kind and Bob is green then Bob is cold.
Bob is cold.