あの二三分後は痛ーくない
fact1: 仮にあのエクセルデータは妖異共であるならば「この非常ベルはごつくて加えて遜色無い」ということは事実と異なる fact2: もしも「妖異共でない」物があるとするとあのエクセルデータは痛ーくないかもしくはそれは低栄養状態でない fact3: もし仮に「その老人週間はランキングするしおまけにごつい」ということは偽ならばあのエクセルデータはランキングするということはない fact4: もしも何かは低栄養状態であるならそれはランキングする fact5: もし仮にあのエクセルデータが痛ーいということはないとするとその老人週間は痛ーい fact6: 仮にとある物は遜色無いとすると「それはランキングしない一方でごつい」ということは偽だ fact7: その百日祝は妖異共である fact8: 「もし「あのエクセルデータはごつかなくてまた第一次世界大戦前でない」ということは成り立たないとすればあのエクセルデータはごつい」ということは本当だ fact9: 「「ごつかなくて遜色無い」ということは間違いである」物があるとすればその百日祝は第一次世界大戦前だ fact10: もし「その百日祝は第一次世界大戦前だ」ということは成り立つとするとあの二三分後は痛ーい fact11: その老人週間はランキングしない fact12: もし仮にあのエクセルデータがごついならばあの二三分後はランキングする fact13: もし仮に「何らかの物は低栄養状態であるかまたは妖異共でない」ということは偽だとすると痛ーくない fact14: 「この非常ベルはごつくてまた遜色無い」ということは成り立たない fact15: もし仮に「なにかは遜色無くない」ということは真実であるとすれば「ランキングするし更にごつい」ということは成り立たない fact16: もし「あのエクセルデータは妖異共でない」ということは事実だとしたらその老人週間は低栄養状態だ fact17: もしなにがしかの物がごついならその百日祝は第一次世界大戦前である fact18: 「その老人週間はごついしかつランキングする」ということは間違いである fact19: とあるものはごついということはないが遜色無い fact20: 仮に「その老人週間はランキングする」ということは成り立つとしたら「あのエクセルデータは痛ーいし妖異共である」ということは真実でない fact21: その核兵器開発はランキングしない fact22: もしもあのエクセルデータは妖異共だとすると「この非常ベルはごついということはないけどそれは遜色無い」ということは間違っている fact23: もし仮に「この非常ベルは侘びであるが第一次世界大戦前でない」ということは事実であるということはないならその老人週間は遜色無くない fact24: 「「ごついし遜色無い」ということは成り立たない」物はある
void -> assump1: 以下のように仮定する。あのエクセルデータは妖異共でない; fact16 & assump1 -> int1: その老人週間は低栄養状態である; fact4 -> int2: もし仮にその老人週間は低栄養状態だとすれば「ランキングする」ということは真実だ; int1 & int2 -> int3: 「その老人週間はランキングする」ということは成り立つ; int3 & fact11 -> int4: これは矛盾である; [assump1] & int4 -> int5: あのエクセルデータは妖異共だ; int5 & fact22 -> int6: 「この非常ベルはごつかないけど遜色無い」ということは成り立たない; int6 -> int7: 「「ごつかないしそれに遜色無い」ということは誤りである」物はある; int7 & fact9 -> int8: その百日祝は第一次世界大戦前である; int8 & fact10 -> hypothesis;
あの二三分後は痛ーいということはない
fact28 -> int9: もしも「あの二三分後は低栄養状態であるかあるいは妖異共でない」ということは偽だとするとそれは痛ーいということはない; fact26 -> int10: もし仮にその老人週間は遜色無くないとすれば「ランキングするし更にそれはごつい」ということは誤りだ;
$facts$ = fact1: 仮にあのエクセルデータは妖異共であるならば「この非常ベルはごつくて加えて遜色無い」ということは事実と異なる fact2: もしも「妖異共でない」物があるとするとあのエクセルデータは痛ーくないかもしくはそれは低栄養状態でない fact3: もし仮に「その老人週間はランキングするしおまけにごつい」ということは偽ならばあのエクセルデータはランキングするということはない fact4: もしも何かは低栄養状態であるならそれはランキングする fact5: もし仮にあのエクセルデータが痛ーいということはないとするとその老人週間は痛ーい fact6: 仮にとある物は遜色無いとすると「それはランキングしない一方でごつい」ということは偽だ fact7: その百日祝は妖異共である fact8: 「もし「あのエクセルデータはごつかなくてまた第一次世界大戦前でない」ということは成り立たないとすればあのエクセルデータはごつい」ということは本当だ fact9: 「「ごつかなくて遜色無い」ということは間違いである」物があるとすればその百日祝は第一次世界大戦前だ fact10: もし「その百日祝は第一次世界大戦前だ」ということは成り立つとするとあの二三分後は痛ーい fact11: その老人週間はランキングしない fact12: もし仮にあのエクセルデータがごついならばあの二三分後はランキングする fact13: もし仮に「何らかの物は低栄養状態であるかまたは妖異共でない」ということは偽だとすると痛ーくない fact14: 「この非常ベルはごつくてまた遜色無い」ということは成り立たない fact15: もし仮に「なにかは遜色無くない」ということは真実であるとすれば「ランキングするし更にごつい」ということは成り立たない fact16: もし「あのエクセルデータは妖異共でない」ということは事実だとしたらその老人週間は低栄養状態だ fact17: もしなにがしかの物がごついならその百日祝は第一次世界大戦前である fact18: 「その老人週間はごついしかつランキングする」ということは間違いである fact19: とあるものはごついということはないが遜色無い fact20: 仮に「その老人週間はランキングする」ということは成り立つとしたら「あのエクセルデータは痛ーいし妖異共である」ということは真実でない fact21: その核兵器開発はランキングしない fact22: もしもあのエクセルデータは妖異共だとすると「この非常ベルはごついということはないけどそれは遜色無い」ということは間違っている fact23: もし仮に「この非常ベルは侘びであるが第一次世界大戦前でない」ということは事実であるということはないならその老人週間は遜色無くない fact24: 「「ごついし遜色無い」ということは成り立たない」物はある ; $hypothesis$ = あの二三分後は痛ーくない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのエクセルデータは妖異共でない; fact16 & assump1 -> int1: その老人週間は低栄養状態である; fact4 -> int2: もし仮にその老人週間は低栄養状態だとすれば「ランキングする」ということは真実だ; int1 & int2 -> int3: 「その老人週間はランキングする」ということは成り立つ; int3 & fact11 -> int4: これは矛盾である; [assump1] & int4 -> int5: あのエクセルデータは妖異共だ; int5 & fact22 -> int6: 「この非常ベルはごつかないけど遜色無い」ということは成り立たない; int6 -> int7: 「「ごつかないしそれに遜色無い」ということは誤りである」物はある; int7 & fact9 -> int8: その百日祝は第一次世界大戦前である; int8 & fact10 -> hypothesis; __DISPROVED__
事実1: 仮にあのエクセルデータは妖異共であるならば「この非常ベルはごつくて加えて遜色無い」ということは事実と異なる
事実2: もしも「妖異共でない」物があるとするとあのエクセルデータは痛ーくないかもしくはそれは低栄養状態でない
事実3: もし仮に「その老人週間はランキングするしおまけにごつい」ということは偽ならばあのエクセルデータはランキングするということはない
事実4: もしも何かは低栄養状態であるならそれはランキングする
事実5: もし仮にあのエクセルデータが痛ーいということはないとするとその老人週間は痛ーい
事実6: 仮にとある物は遜色無いとすると「それはランキングしない一方でごつい」ということは偽だ
事実7: その百日祝は妖異共である
事実8: 「もし「あのエクセルデータはごつかなくてまた第一次世界大戦前でない」ということは成り立たないとすればあのエクセルデータはごつい」ということは本当だ
事実9: 「「ごつかなくて遜色無い」ということは間違いである」物があるとすればその百日祝は第一次世界大戦前だ
事実10: もし「その百日祝は第一次世界大戦前だ」ということは成り立つとするとあの二三分後は痛ーい
事実11: その老人週間はランキングしない
事実12: もし仮にあのエクセルデータがごついならばあの二三分後はランキングする
事実13: もし仮に「何らかの物は低栄養状態であるかまたは妖異共でない」ということは偽だとすると痛ーくない
事実14: 「この非常ベルはごつくてまた遜色無い」ということは成り立たない
事実15: もし仮に「なにかは遜色無くない」ということは真実であるとすれば「ランキングするし更にごつい」ということは成り立たない
事実16: もし「あのエクセルデータは妖異共でない」ということは事実だとしたらその老人週間は低栄養状態だ
事実17: もしなにがしかの物がごついならその百日祝は第一次世界大戦前である
事実18: 「その老人週間はごついしかつランキングする」ということは間違いである
事実19: とあるものはごついということはないが遜色無い
事実20: 仮に「その老人週間はランキングする」ということは成り立つとしたら「あのエクセルデータは痛ーいし妖異共である」ということは真実でない
事実21: その核兵器開発はランキングしない
事実22: もしもあのエクセルデータは妖異共だとすると「この非常ベルはごついということはないけどそれは遜色無い」ということは間違っている
事実23: もし仮に「この非常ベルは侘びであるが第一次世界大戦前でない」ということは事実であるということはないならその老人週間は遜色無くない
事実24: 「「ごついし遜色無い」ということは成り立たない」物はある

仮説: あの二三分後は痛ーくない
1. 仮定1: 以下のように仮定する。あのエクセルデータは妖異共でない
2. 事実16と仮定1から、推論1: "その老人週間は低栄養状態である"が導かれる
3. 事実4から、推論2: "もし仮にその老人週間は低栄養状態だとすれば「ランキングする」ということは真実だ"が導かれる
4. 推論1と推論2から、推論3: "「その老人週間はランキングする」ということは成り立つ"が導かれる
5. 推論3と事実11から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あのエクセルデータは妖異共だ"が導かれる
7. 推論5と事実22から、推論6: "「この非常ベルはごつかないけど遜色無い」ということは成り立たない"が導かれる
8. 推論6から、推論7: "「「ごつかないしそれに遜色無い」ということは誤りである」物はある"が導かれる
9. 推論7と事実9から、推論8: "その百日祝は第一次世界大戦前である"が導かれる
10. 推論8と事実10から、仮説が否定される

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