   Let's revise our hypothesis once again. So now we will engage in some semiformal reasoning, on the basis of hypothesis h1. Hypothesis h1 puts A, C and X, but not B, in the extension of the T. Thus, reasoning from h1, we conclude that 