「もしあの先陣が急転回しないならその埼玉県立は囲むけど存在意義でない」ということは嘘だ
fact1: 届き難いものは囲むけれど存在意義でない fact2: もしもあの先陣が急転回するならその埼玉県立は囲む一方で存在意義でない fact3: もし「その埼玉県立は囲むがしかし熟睡出来ない」ということは間違いならあの先陣は急転回しない fact4: 仮にこの竜人が勤続年数でないとすればその埼玉県立は届き難い fact5: とある物は急転回しないならば「熟睡出来るけど冗談ぽくない」ということは間違いである fact6: もしその埼玉県立が届き難いとしたら囲む fact7: もし仮に「あの先陣は熟睡出来るがしかし冗談ぽくない」ということは事実であるということはないならばあの竜人は勤続年数であるということはない fact8: 仮にあの先陣が存在意義でないならばあの埼玉県立は熟睡出来る fact9: もしもなにがしかの物が急転回しないならばそれは囲むが賢くない fact10: 「その埼玉県立は囲む」ということは成り立つ fact11: もしもこの竜人が囲めば勤続年数である
fact5 -> int1: もし仮にあの先陣は急転回しないなら「熟睡出来るしその上それは冗談ぽいということはない」ということは間違っている; void -> assump1: 以下のように仮定する。あの先陣は急転回しない; int1 & assump1 -> int2: 「あの先陣は熟睡出来るがしかし冗談ぽくない」ということは成り立たない; int2 & fact7 -> int3: この竜人は勤続年数でない; int3 & fact4 -> int4: その埼玉県立は届き難い; fact1 -> int5: その埼玉県立が届き難いならそれは囲むけれど存在意義でない; int4 & int5 -> int6: その埼玉県立は囲むけれど存在意義でない; [assump1] & int6 -> hypothesis;
あの月初は囲む一方で賢くない
fact12 -> int7: 仮にあの月初が急転回しないなら囲むしその上賢くない;
$facts$ = fact1: 届き難いものは囲むけれど存在意義でない fact2: もしもあの先陣が急転回するならその埼玉県立は囲む一方で存在意義でない fact3: もし「その埼玉県立は囲むがしかし熟睡出来ない」ということは間違いならあの先陣は急転回しない fact4: 仮にこの竜人が勤続年数でないとすればその埼玉県立は届き難い fact5: とある物は急転回しないならば「熟睡出来るけど冗談ぽくない」ということは間違いである fact6: もしその埼玉県立が届き難いとしたら囲む fact7: もし仮に「あの先陣は熟睡出来るがしかし冗談ぽくない」ということは事実であるということはないならばあの竜人は勤続年数であるということはない fact8: 仮にあの先陣が存在意義でないならばあの埼玉県立は熟睡出来る fact9: もしもなにがしかの物が急転回しないならばそれは囲むが賢くない fact10: 「その埼玉県立は囲む」ということは成り立つ fact11: もしもこの竜人が囲めば勤続年数である ; $hypothesis$ = 「もしあの先陣が急転回しないならその埼玉県立は囲むけど存在意義でない」ということは嘘だ ; $proof$ = 
fact5 -> int1: もし仮にあの先陣は急転回しないなら「熟睡出来るしその上それは冗談ぽいということはない」ということは間違っている; void -> assump1: 以下のように仮定する。あの先陣は急転回しない; int1 & assump1 -> int2: 「あの先陣は熟睡出来るがしかし冗談ぽくない」ということは成り立たない; int2 & fact7 -> int3: この竜人は勤続年数でない; int3 & fact4 -> int4: その埼玉県立は届き難い; fact1 -> int5: その埼玉県立が届き難いならそれは囲むけれど存在意義でない; int4 & int5 -> int6: その埼玉県立は囲むけれど存在意義でない; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: 届き難いものは囲むけれど存在意義でない
事実2: もしもあの先陣が急転回するならその埼玉県立は囲む一方で存在意義でない
事実3: もし「その埼玉県立は囲むがしかし熟睡出来ない」ということは間違いならあの先陣は急転回しない
事実4: 仮にこの竜人が勤続年数でないとすればその埼玉県立は届き難い
事実5: とある物は急転回しないならば「熟睡出来るけど冗談ぽくない」ということは間違いである
事実6: もしその埼玉県立が届き難いとしたら囲む
事実7: もし仮に「あの先陣は熟睡出来るがしかし冗談ぽくない」ということは事実であるということはないならばあの竜人は勤続年数であるということはない
事実8: 仮にあの先陣が存在意義でないならばあの埼玉県立は熟睡出来る
事実9: もしもなにがしかの物が急転回しないならばそれは囲むが賢くない
事実10: 「その埼玉県立は囲む」ということは成り立つ
事実11: もしもこの竜人が囲めば勤続年数である

仮説: 「もしあの先陣が急転回しないならその埼玉県立は囲むけど存在意義でない」ということは嘘だ
1. 事実5から、推論1: "もし仮にあの先陣は急転回しないなら「熟睡出来るしその上それは冗談ぽいということはない」ということは間違っている"が導かれる
2. 仮定1: 以下のように仮定する。あの先陣は急転回しない
3. 推論1と仮定1から、推論2: "「あの先陣は熟睡出来るがしかし冗談ぽくない」ということは成り立たない"が導かれる
4. 推論2と事実7から、推論3: "この竜人は勤続年数でない"が導かれる
5. 推論3と事実4から、推論4: "その埼玉県立は届き難い"が導かれる
6. 事実1から、推論5: "その埼玉県立が届き難いならそれは囲むけれど存在意義でない"が導かれる
7. 推論4と推論5から、推論6: "その埼玉県立は囲むけれど存在意義でない"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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