「もし仮にその時系列オッズが赤しならその封建的秩序は感染予防策である」ということは偽だ
fact1: もし仮に何かは豪雨であるということはないならばそれは気忙しい fact2: その封建的秩序が破れないとするとそれは消化吸収され易い fact3: その封建的秩序は赤しない fact4: もしもとある物は逃げ惑うしかつ申し訳無いならば枯死しない fact5: もしもその時系列オッズが拉致するとしたらその封建的秩序は破れる fact6: 「その時系列オッズは感染予防策だ」ということは嘘でない fact7: その時系列オッズは赤しし加えてそれは感染予防策である fact8: その時系列オッズが拉致するしそれが破れるとすれば赤し fact9: その時系列オッズは消化吸収され易い fact10: もしその益金不算入は防衛産業でないならばそれは背景データだ fact11: 「幼けなくないものは借りれる」ということは正しい fact12: もしもその時系列オッズは破れないなら「その封建的秩序は破れないが拉致する」ということは成り立たない fact13: その時系列オッズは拉致しないならば「その封建的秩序は拉致しないけれど破れる」ということは成り立たない fact14: もし仮になにがしかの物は爆発でないならばそれは押さえる fact15: 仮に「なんらかのものは乗り遅れるし不正使用する」ということは間違っているということはないなら案じる fact16: もしもなんらかの物は破れるし更に消化吸収され易いなら赤しない fact17: 「その時系列オッズは嫉妬深くないが感染予防策だ」ということは成り立つということはない fact18: もし仮に「あるものは破れないけど拉致する」ということは成り立たないならば感染予防策だ fact19: ある物は基本的要素であるということはないならそれは乗り遅れる
void -> assump1: 以下のように仮定する。その時系列オッズは破れる; assump1 & fact9 -> int1: その時系列オッズは破れるし消化吸収され易い; fact16 -> int2: もしその時系列オッズは破れるしその上消化吸収され易いならば「赤しない」ということは嘘でない; int1 & int2 -> int3: その時系列オッズは赤しということはない; void -> assump2: 以下のように仮定する。その時系列オッズは赤し; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: その時系列オッズは破れるということはない; int5 & fact12 -> int6: 「その封建的秩序は破れないが拉致する」ということは偽である; fact18 -> int7: 「「その封建的秩序は破れないがしかし拉致する」ということは嘘である」ということは偽だということはないならそれは感染予防策だ; int6 & int7 -> int8: 「その封建的秩序は感染予防策である」ということは真実である; [assump2] & int8 -> hypothesis;
$facts$ = fact1: もし仮に何かは豪雨であるということはないならばそれは気忙しい fact2: その封建的秩序が破れないとするとそれは消化吸収され易い fact3: その封建的秩序は赤しない fact4: もしもとある物は逃げ惑うしかつ申し訳無いならば枯死しない fact5: もしもその時系列オッズが拉致するとしたらその封建的秩序は破れる fact6: 「その時系列オッズは感染予防策だ」ということは嘘でない fact7: その時系列オッズは赤しし加えてそれは感染予防策である fact8: その時系列オッズが拉致するしそれが破れるとすれば赤し fact9: その時系列オッズは消化吸収され易い fact10: もしその益金不算入は防衛産業でないならばそれは背景データだ fact11: 「幼けなくないものは借りれる」ということは正しい fact12: もしもその時系列オッズは破れないなら「その封建的秩序は破れないが拉致する」ということは成り立たない fact13: その時系列オッズは拉致しないならば「その封建的秩序は拉致しないけれど破れる」ということは成り立たない fact14: もし仮になにがしかの物は爆発でないならばそれは押さえる fact15: 仮に「なんらかのものは乗り遅れるし不正使用する」ということは間違っているということはないなら案じる fact16: もしもなんらかの物は破れるし更に消化吸収され易いなら赤しない fact17: 「その時系列オッズは嫉妬深くないが感染予防策だ」ということは成り立つということはない fact18: もし仮に「あるものは破れないけど拉致する」ということは成り立たないならば感染予防策だ fact19: ある物は基本的要素であるということはないならそれは乗り遅れる ; $hypothesis$ = 「もし仮にその時系列オッズが赤しならその封建的秩序は感染予防策である」ということは偽だ ; $proof$ = 
void -> assump1: 以下のように仮定する。その時系列オッズは破れる; assump1 & fact9 -> int1: その時系列オッズは破れるし消化吸収され易い; fact16 -> int2: もしその時系列オッズは破れるしその上消化吸収され易いならば「赤しない」ということは嘘でない; int1 & int2 -> int3: その時系列オッズは赤しということはない; void -> assump2: 以下のように仮定する。その時系列オッズは赤し; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: その時系列オッズは破れるということはない; int5 & fact12 -> int6: 「その封建的秩序は破れないが拉致する」ということは偽である; fact18 -> int7: 「「その封建的秩序は破れないがしかし拉致する」ということは嘘である」ということは偽だということはないならそれは感染予防策だ; int6 & int7 -> int8: 「その封建的秩序は感染予防策である」ということは真実である; [assump2] & int8 -> hypothesis; __DISPROVED__
事実1: もし仮に何かは豪雨であるということはないならばそれは気忙しい
事実2: その封建的秩序が破れないとするとそれは消化吸収され易い
事実3: その封建的秩序は赤しない
事実4: もしもとある物は逃げ惑うしかつ申し訳無いならば枯死しない
事実5: もしもその時系列オッズが拉致するとしたらその封建的秩序は破れる
事実6: 「その時系列オッズは感染予防策だ」ということは嘘でない
事実7: その時系列オッズは赤しし加えてそれは感染予防策である
事実8: その時系列オッズが拉致するしそれが破れるとすれば赤し
事実9: その時系列オッズは消化吸収され易い
事実10: もしその益金不算入は防衛産業でないならばそれは背景データだ
事実11: 「幼けなくないものは借りれる」ということは正しい
事実12: もしもその時系列オッズは破れないなら「その封建的秩序は破れないが拉致する」ということは成り立たない
事実13: その時系列オッズは拉致しないならば「その封建的秩序は拉致しないけれど破れる」ということは成り立たない
事実14: もし仮になにがしかの物は爆発でないならばそれは押さえる
事実15: 仮に「なんらかのものは乗り遅れるし不正使用する」ということは間違っているということはないなら案じる
事実16: もしもなんらかの物は破れるし更に消化吸収され易いなら赤しない
事実17: 「その時系列オッズは嫉妬深くないが感染予防策だ」ということは成り立つということはない
事実18: もし仮に「あるものは破れないけど拉致する」ということは成り立たないならば感染予防策だ
事実19: ある物は基本的要素であるということはないならそれは乗り遅れる

仮説: 「もし仮にその時系列オッズが赤しならその封建的秩序は感染予防策である」ということは偽だ
1. 仮定1: 以下のように仮定する。その時系列オッズは破れる
2. 仮定1と事実9から、推論1: "その時系列オッズは破れるし消化吸収され易い"が導かれる
3. 事実16から、推論2: "もしその時系列オッズは破れるしその上消化吸収され易いならば「赤しない」ということは嘘でない"が導かれる
4. 推論1と推論2から、推論3: "その時系列オッズは赤しということはない"が導かれる
5. 仮定2: 以下のように仮定する。その時系列オッズは赤し
6. 推論3と仮定2から、推論4: "これは矛盾である"が導かれる
7. [仮定1]と推論4から、推論5: "その時系列オッズは破れるということはない"が導かれる
8. 推論5と事実12から、推論6: "「その封建的秩序は破れないが拉致する」ということは偽である"が導かれる
9. 事実18から、推論7: "「「その封建的秩序は破れないがしかし拉致する」ということは嘘である」ということは偽だということはないならそれは感染予防策だ"が導かれる
10. 推論6と推論7から、推論8: "「その封建的秩序は感染予防策である」ということは真実である"が導かれる
11. [仮定2]と推論8から、仮説が否定される

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