この六週後は許す
fact1: 「「実習するし固しない」ということは間違いである」物があるとしたらこの無作為化は会うということはない fact2: もしもその淵源が一定比率でないとしたらこの六週後は許さない fact3: 「この無作為化はキリスト教思想家だしおまけにうざい」ということは成り立たない fact4: 「この無作為化はキリスト教思想家でないけれどうざい」ということは偽だ fact5: あのアーブは固し fact6: 「あのアーブは実習しないが一定比率である」ということは成り立たない fact7: 仮に「あのアーブは実習するということはない」ということは成り立つとするとそれは固し fact8: もし仮に何かは掴み易いならそれは下落する fact9: もし「その淵源は珍しいしおまけにそれは一定比率だ」ということは本当であるならあのアーブは会わない fact10: もしこの無作為化が会わないならそれは珍しくて一定比率である fact11: 掴み易くないものは許すかあるいは下落する fact12: もしもなにがしかの物は下落するとしたら「「それは珍しかない」ということは事実である」ということは成り立たない fact13: 「「実習するが固しない」ということは偽な」ものはある fact14: 「この無作為化はキリスト教思想家でないがうざい」ということは間違っているとしたらその淵源は掴み易い fact15: もし仮にその淵源は掴み易くないかまたは一定比率だということはないかまたは両方ともだとしたら「この無作為化は掴み易くない」ということは間違いでない fact16: 「一定比率は許す」ということは事実である fact17: 「この無作為化はキリスト教思想家だ」ということは確かだとするとその淵源は掴み易い fact18: 仮にあのアーブが実習しないとすれば会うし更に固し fact19: あのアーブは実習しない
fact14 & fact4 -> int1: その淵源は掴み易い; fact8 -> int2: もしその淵源が掴み易いとしたらそれは下落する; int1 & int2 -> int3: その淵源は下落する; fact12 -> int4: もし「その淵源は下落しない」ということは誤りであるとするとそれは珍しい; int3 & int4 -> int5: その淵源は珍しい; void -> assump1: 以下のように仮定する。その淵源は一定比率だ; int5 & assump1 -> int6: その淵源は珍しくて一定比率だ; int6 & fact9 -> int7: あのアーブは会うということはない; fact18 & fact19 -> int8: あのアーブは会うしそれは固し; int8 -> int9: あのアーブは会う; int7 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: 「その淵源は一定比率でない」ということは成り立つ; int11 & fact2 -> hypothesis;
この六週後は許す
fact20 -> int12: もしもこの無作為化が掴み易くないとするとそれは許すかまたはそれは下落する;
$facts$ = fact1: 「「実習するし固しない」ということは間違いである」物があるとしたらこの無作為化は会うということはない fact2: もしもその淵源が一定比率でないとしたらこの六週後は許さない fact3: 「この無作為化はキリスト教思想家だしおまけにうざい」ということは成り立たない fact4: 「この無作為化はキリスト教思想家でないけれどうざい」ということは偽だ fact5: あのアーブは固し fact6: 「あのアーブは実習しないが一定比率である」ということは成り立たない fact7: 仮に「あのアーブは実習するということはない」ということは成り立つとするとそれは固し fact8: もし仮に何かは掴み易いならそれは下落する fact9: もし「その淵源は珍しいしおまけにそれは一定比率だ」ということは本当であるならあのアーブは会わない fact10: もしこの無作為化が会わないならそれは珍しくて一定比率である fact11: 掴み易くないものは許すかあるいは下落する fact12: もしもなにがしかの物は下落するとしたら「「それは珍しかない」ということは事実である」ということは成り立たない fact13: 「「実習するが固しない」ということは偽な」ものはある fact14: 「この無作為化はキリスト教思想家でないがうざい」ということは間違っているとしたらその淵源は掴み易い fact15: もし仮にその淵源は掴み易くないかまたは一定比率だということはないかまたは両方ともだとしたら「この無作為化は掴み易くない」ということは間違いでない fact16: 「一定比率は許す」ということは事実である fact17: 「この無作為化はキリスト教思想家だ」ということは確かだとするとその淵源は掴み易い fact18: 仮にあのアーブが実習しないとすれば会うし更に固し fact19: あのアーブは実習しない ; $hypothesis$ = この六週後は許す ; $proof$ = 
fact14 & fact4 -> int1: その淵源は掴み易い; fact8 -> int2: もしその淵源が掴み易いとしたらそれは下落する; int1 & int2 -> int3: その淵源は下落する; fact12 -> int4: もし「その淵源は下落しない」ということは誤りであるとするとそれは珍しい; int3 & int4 -> int5: その淵源は珍しい; void -> assump1: 以下のように仮定する。その淵源は一定比率だ; int5 & assump1 -> int6: その淵源は珍しくて一定比率だ; int6 & fact9 -> int7: あのアーブは会うということはない; fact18 & fact19 -> int8: あのアーブは会うしそれは固し; int8 -> int9: あのアーブは会う; int7 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: 「その淵源は一定比率でない」ということは成り立つ; int11 & fact2 -> hypothesis; __DISPROVED__
事実1: 「「実習するし固しない」ということは間違いである」物があるとしたらこの無作為化は会うということはない
事実2: もしもその淵源が一定比率でないとしたらこの六週後は許さない
事実3: 「この無作為化はキリスト教思想家だしおまけにうざい」ということは成り立たない
事実4: 「この無作為化はキリスト教思想家でないけれどうざい」ということは偽だ
事実5: あのアーブは固し
事実6: 「あのアーブは実習しないが一定比率である」ということは成り立たない
事実7: 仮に「あのアーブは実習するということはない」ということは成り立つとするとそれは固し
事実8: もし仮に何かは掴み易いならそれは下落する
事実9: もし「その淵源は珍しいしおまけにそれは一定比率だ」ということは本当であるならあのアーブは会わない
事実10: もしこの無作為化が会わないならそれは珍しくて一定比率である
事実11: 掴み易くないものは許すかあるいは下落する
事実12: もしもなにがしかの物は下落するとしたら「「それは珍しかない」ということは事実である」ということは成り立たない
事実13: 「「実習するが固しない」ということは偽な」ものはある
事実14: 「この無作為化はキリスト教思想家でないがうざい」ということは間違っているとしたらその淵源は掴み易い
事実15: もし仮にその淵源は掴み易くないかまたは一定比率だということはないかまたは両方ともだとしたら「この無作為化は掴み易くない」ということは間違いでない
事実16: 「一定比率は許す」ということは事実である
事実17: 「この無作為化はキリスト教思想家だ」ということは確かだとするとその淵源は掴み易い
事実18: 仮にあのアーブが実習しないとすれば会うし更に固し
事実19: あのアーブは実習しない

仮説: この六週後は許す
1. 事実14と事実4から、推論1: "その淵源は掴み易い"が導かれる
2. 事実8から、推論2: "もしその淵源が掴み易いとしたらそれは下落する"が導かれる
3. 推論1と推論2から、推論3: "その淵源は下落する"が導かれる
4. 事実12から、推論4: "もし「その淵源は下落しない」ということは誤りであるとするとそれは珍しい"が導かれる
5. 推論3と推論4から、推論5: "その淵源は珍しい"が導かれる
6. 仮定1: 以下のように仮定する。その淵源は一定比率だ
7. 推論5と仮定1から、推論6: "その淵源は珍しくて一定比率だ"が導かれる
8. 推論6と事実9から、推論7: "あのアーブは会うということはない"が導かれる
9. 事実18と事実19から、推論8: "あのアーブは会うしそれは固し"が導かれる
10. 推論8から、推論9: "あのアーブは会う"が導かれる
11. 推論7と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、推論11: "「その淵源は一定比率でない」ということは成り立つ"が導かれる
13. 推論11と事実2から、仮説が否定される

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