如果小明没有去上学，那他一定是生病了。如果小明生病了，他就会在家休息。只要小明去上学，他就会在教室认真学习。小明要么在教室认真学习，要么在家休息。符号化上述推理过程，并构造推理证明。