将下述推理符号化,然后推证其结论:或者是晴天,或者是下雨,若是天晴我就去上网,如果我上网我不看书,所以,如果我在看书,则