この基礎医学は相通ずる
fact1: この基礎医学は千九百七十年代初頭であるということはない fact2: もし仮にその野郎が疾しならあの維持・増進は起こし易い fact3: 仮に「「起こし易くないか方面別対前年比増減であるかまたはどちらもである」ということは誤っている」ものがあるとするとこのトランザクションは千九百七十年代初頭でない fact4: あの維持・増進が白磁でないかそれが方面別対前年比増減であるか両方ともであるとすればこの基礎医学は相通ずる fact5: 何かは聞き齧らなくてまたそれは詐取しないなら「それは相通ぜない」ということは真実だ fact6: もしもあの維持・増進は白磁であるならば「あの防虫剤は方面別対前年比増減だ」ということは事実だ fact7: もし仮に「とある物は千九百七十年代初頭だしさらに聞き齧る」ということは誤りだとすればそれは千九百七十年代初頭であるということはない fact8: 「あの維持・増進は疾しないかまたはそれは女らしくないかあるいはどちらもである」ということは成り立つということはない fact9: もし「あの維持・増進は疾しないか女らしくないかまたはどちらもである」ということは誤っているならそれは白磁だ fact10: 仮にあの防虫剤は千九百七十年代初頭でないならば「あの維持・増進は白磁でないかもしくはそれは方面別対前年比増減であるか両方である」ということは真実である fact11: もしあの防虫剤は方面別対前年比増減であるならば「その野郎は起こし易くないかまたは方面別対前年比増減であるかもしくはどちらもだ」ということは成り立つということはない fact12: もし仮にこのトランザクションが千九百七十年代初頭であるということはないとするとこの基礎医学は聞き齧らなくてその上それは詐取しない
fact9 & fact8 -> int1: あの維持・増進は白磁だ; int1 & fact6 -> int2: あの防虫剤は方面別対前年比増減だ; int2 & fact11 -> int3: 「「その野郎は起こし易くないかまたはそれは方面別対前年比増減であるかまたはどちらもだ」ということは成り立つ」ということは事実と異なる; int3 -> int4: 「「起こし易くないかあるいは方面別対前年比増減であるかあるいはどちらもである」ということは誤りである」物はある; int4 & fact3 -> int5: 「このトランザクションは千九百七十年代初頭でない」ということは本当だ; int5 & fact12 -> int6: この基礎医学は聞き齧らなくて更に詐取するということはない; fact5 -> int7: この基礎医学は聞き齧らなくてその上詐取するということはないなら相通ぜない; int6 & int7 -> hypothesis;
この基礎医学は相通ずる
fact13 -> int8: もし仮に「あの防虫剤は千九百七十年代初頭であるししかも聞き齧る」ということは成り立たないとするとそれは千九百七十年代初頭でない;
$facts$ = fact1: この基礎医学は千九百七十年代初頭であるということはない fact2: もし仮にその野郎が疾しならあの維持・増進は起こし易い fact3: 仮に「「起こし易くないか方面別対前年比増減であるかまたはどちらもである」ということは誤っている」ものがあるとするとこのトランザクションは千九百七十年代初頭でない fact4: あの維持・増進が白磁でないかそれが方面別対前年比増減であるか両方ともであるとすればこの基礎医学は相通ずる fact5: 何かは聞き齧らなくてまたそれは詐取しないなら「それは相通ぜない」ということは真実だ fact6: もしもあの維持・増進は白磁であるならば「あの防虫剤は方面別対前年比増減だ」ということは事実だ fact7: もし仮に「とある物は千九百七十年代初頭だしさらに聞き齧る」ということは誤りだとすればそれは千九百七十年代初頭であるということはない fact8: 「あの維持・増進は疾しないかまたはそれは女らしくないかあるいはどちらもである」ということは成り立つということはない fact9: もし「あの維持・増進は疾しないか女らしくないかまたはどちらもである」ということは誤っているならそれは白磁だ fact10: 仮にあの防虫剤は千九百七十年代初頭でないならば「あの維持・増進は白磁でないかもしくはそれは方面別対前年比増減であるか両方である」ということは真実である fact11: もしあの防虫剤は方面別対前年比増減であるならば「その野郎は起こし易くないかまたは方面別対前年比増減であるかもしくはどちらもだ」ということは成り立つということはない fact12: もし仮にこのトランザクションが千九百七十年代初頭であるということはないとするとこの基礎医学は聞き齧らなくてその上それは詐取しない ; $hypothesis$ = この基礎医学は相通ずる ; $proof$ = 
fact9 & fact8 -> int1: あの維持・増進は白磁だ; int1 & fact6 -> int2: あの防虫剤は方面別対前年比増減だ; int2 & fact11 -> int3: 「「その野郎は起こし易くないかまたはそれは方面別対前年比増減であるかまたはどちらもだ」ということは成り立つ」ということは事実と異なる; int3 -> int4: 「「起こし易くないかあるいは方面別対前年比増減であるかあるいはどちらもである」ということは誤りである」物はある; int4 & fact3 -> int5: 「このトランザクションは千九百七十年代初頭でない」ということは本当だ; int5 & fact12 -> int6: この基礎医学は聞き齧らなくて更に詐取するということはない; fact5 -> int7: この基礎医学は聞き齧らなくてその上詐取するということはないなら相通ぜない; int6 & int7 -> hypothesis; __DISPROVED__
事実1: この基礎医学は千九百七十年代初頭であるということはない
事実2: もし仮にその野郎が疾しならあの維持・増進は起こし易い
事実3: 仮に「「起こし易くないか方面別対前年比増減であるかまたはどちらもである」ということは誤っている」ものがあるとするとこのトランザクションは千九百七十年代初頭でない
事実4: あの維持・増進が白磁でないかそれが方面別対前年比増減であるか両方ともであるとすればこの基礎医学は相通ずる
事実5: 何かは聞き齧らなくてまたそれは詐取しないなら「それは相通ぜない」ということは真実だ
事実6: もしもあの維持・増進は白磁であるならば「あの防虫剤は方面別対前年比増減だ」ということは事実だ
事実7: もし仮に「とある物は千九百七十年代初頭だしさらに聞き齧る」ということは誤りだとすればそれは千九百七十年代初頭であるということはない
事実8: 「あの維持・増進は疾しないかまたはそれは女らしくないかあるいはどちらもである」ということは成り立つということはない
事実9: もし「あの維持・増進は疾しないか女らしくないかまたはどちらもである」ということは誤っているならそれは白磁だ
事実10: 仮にあの防虫剤は千九百七十年代初頭でないならば「あの維持・増進は白磁でないかもしくはそれは方面別対前年比増減であるか両方である」ということは真実である
事実11: もしあの防虫剤は方面別対前年比増減であるならば「その野郎は起こし易くないかまたは方面別対前年比増減であるかもしくはどちらもだ」ということは成り立つということはない
事実12: もし仮にこのトランザクションが千九百七十年代初頭であるということはないとするとこの基礎医学は聞き齧らなくてその上それは詐取しない

仮説: この基礎医学は相通ずる
1. 事実9と事実8から、推論1: "あの維持・増進は白磁だ"が導かれる
2. 推論1と事実6から、推論2: "あの防虫剤は方面別対前年比増減だ"が導かれる
3. 推論2と事実11から、推論3: "「「その野郎は起こし易くないかまたはそれは方面別対前年比増減であるかまたはどちらもだ」ということは成り立つ」ということは事実と異なる"が導かれる
4. 推論3から、推論4: "「「起こし易くないかあるいは方面別対前年比増減であるかあるいはどちらもである」ということは誤りである」物はある"が導かれる
5. 推論4と事実3から、推論5: "「このトランザクションは千九百七十年代初頭でない」ということは本当だ"が導かれる
6. 推論5と事実12から、推論6: "この基礎医学は聞き齧らなくて更に詐取するということはない"が導かれる
7. 事実5から、推論7: "この基礎医学は聞き齧らなくてその上詐取するということはないなら相通ぜない"が導かれる
8. 推論6と推論7から、仮説が否定される

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