あの一．五ミリメートル以上は隅っこだ
fact1: もしあの一年中がＧＩＳならあの一．五ミリメートル以上は隅っこである fact2: あの一年中は隅っこだということはないか相互理解であるかあるいは両方ともだ fact3: あの一年中は無くさくないかまたはＭＳ‐ＤＯＳ画面であるかもしくはどちらもである fact4: 「もしそのギデオン・トレメインが脱・素人童貞でないがしかしそれが相互理解であるならあの一年中はＧＩＳである」ということは正しい fact5: もしもあの一年中は相互理解でないとすれば「あの一．五ミリメートル以上は相互理解でない」ということは正しい fact6: 仮に「あの一年中は相互理解であるということはない」ということは真実であるならあの一．五ミリメートル以上は隅っこでないしさらにそれは相互理解でない fact7: あの一年中が無くさくないかあるいはＭＳ‐ＤＯＳ画面であるかあるいは両方だとすればそれは相互理解でない fact8: もしあの一年中が無くさくないかあるいはそれは相互理解であるかあるいは両方ともならばそれは隅っこであるということはない
fact7 & fact3 -> int1: あの一年中は相互理解でない; int1 & fact6 -> int2: あの一．五ミリメートル以上は隅っこだということはなくてまた相互理解でない; int2 -> hypothesis;
fact7 & fact3 -> int1: ¬{B}{a}; int1 & fact6 -> int2: (¬{C}{b} & ¬{B}{b}); int2 -> hypothesis;
あの一．五ミリメートル以上は隅っこである
$facts$ = fact1: もしあの一年中がＧＩＳならあの一．五ミリメートル以上は隅っこである fact2: あの一年中は隅っこだということはないか相互理解であるかあるいは両方ともだ fact3: あの一年中は無くさくないかまたはＭＳ‐ＤＯＳ画面であるかもしくはどちらもである fact4: 「もしそのギデオン・トレメインが脱・素人童貞でないがしかしそれが相互理解であるならあの一年中はＧＩＳである」ということは正しい fact5: もしもあの一年中は相互理解でないとすれば「あの一．五ミリメートル以上は相互理解でない」ということは正しい fact6: 仮に「あの一年中は相互理解であるということはない」ということは真実であるならあの一．五ミリメートル以上は隅っこでないしさらにそれは相互理解でない fact7: あの一年中が無くさくないかあるいはＭＳ‐ＤＯＳ画面であるかあるいは両方だとすればそれは相互理解でない fact8: もしあの一年中が無くさくないかあるいはそれは相互理解であるかあるいは両方ともならばそれは隅っこであるということはない ; $hypothesis$ = あの一．五ミリメートル以上は隅っこだ ; $proof$ = 
fact7 & fact3 -> int1: あの一年中は相互理解でない; int1 & fact6 -> int2: あの一．五ミリメートル以上は隅っこだということはなくてまた相互理解でない; int2 -> hypothesis; __DISPROVED__
事実1: もしあの一年中がＧＩＳならあの一．五ミリメートル以上は隅っこである
事実2: あの一年中は隅っこだということはないか相互理解であるかあるいは両方ともだ
事実3: あの一年中は無くさくないかまたはＭＳ‐ＤＯＳ画面であるかもしくはどちらもである
事実4: 「もしそのギデオン・トレメインが脱・素人童貞でないがしかしそれが相互理解であるならあの一年中はＧＩＳである」ということは正しい
事実5: もしもあの一年中は相互理解でないとすれば「あの一．五ミリメートル以上は相互理解でない」ということは正しい
事実6: 仮に「あの一年中は相互理解であるということはない」ということは真実であるならあの一．五ミリメートル以上は隅っこでないしさらにそれは相互理解でない
事実7: あの一年中が無くさくないかあるいはＭＳ‐ＤＯＳ画面であるかあるいは両方だとすればそれは相互理解でない
事実8: もしあの一年中が無くさくないかあるいはそれは相互理解であるかあるいは両方ともならばそれは隅っこであるということはない

仮説: あの一．五ミリメートル以上は隅っこだ
1. 事実7と事実3から、推論1: "あの一年中は相互理解でない"が導かれる
2. 推論1と事実6から、推論2: "あの一．五ミリメートル以上は隅っこだということはなくてまた相互理解でない"が導かれる
3. 推論2から、仮説が否定される

よって、仮説が否定されました。