この腰砕けは長々しい
fact1: 仮に「この腰砕けは明滅しないが結び付き難い」ということは成り立つということはないならばそれは狂おしい fact2: この腰砕けは狂おしくない fact3: あのトラブル事例は固守するとすれば「多食するしまた出発する」ということは成り立たない fact4: 「この腰砕けは明滅するしまた結び付き難い」ということは事実と異なる fact5: もしこの教頭がし掛けるならこの腰砕けはし掛ける fact6: もし仮にこの腰砕けは長々しいなら「それは明滅するしそれに結び付き難い」ということは間違っている fact7: あの強制終了は結び付き難くない fact8: もしも何かは長々しいとしたら「明滅しないしさらにそれは結び付き難い」ということは成り立つということはない fact9: 「この腰砕けは結び付き難くてさらに必定だ」ということは誤りである fact10: すべてのものはし掛けるし賦与する fact11: もしも何かは長々しいとすると「明滅するししかも結び付き難い」ということは嘘だ fact12: もし仮に何らかのものが賦与するということはないとすれば長々しいし狂おしい fact13: 仮に何らかの物がし掛けるしさらに作り難いとすれば賦与しない
fact8 -> int1: この腰砕けは長々しいとしたら「それは明滅しなくてしかもそれは結び付き難い」ということは誤っている; void -> assump1: 以下のように仮定する。この腰砕けは長々しい; int1 & assump1 -> int2: 「この腰砕けは明滅しないけれどそれは結び付き難い」ということは成り立たない; int2 & fact1 -> int3: この腰砕けは狂おしい; int3 & fact2 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
そのディエス・イレは長々しい
fact14 -> int5: この教頭はし掛けるし加えてそれは賦与する; int5 -> int6: この教頭は賦与する; int6 -> int7: 全ての物は賦与する; int7 -> int8: そのディエス・イレは賦与する;
$facts$ = fact1: 仮に「この腰砕けは明滅しないが結び付き難い」ということは成り立つということはないならばそれは狂おしい fact2: この腰砕けは狂おしくない fact3: あのトラブル事例は固守するとすれば「多食するしまた出発する」ということは成り立たない fact4: 「この腰砕けは明滅するしまた結び付き難い」ということは事実と異なる fact5: もしこの教頭がし掛けるならこの腰砕けはし掛ける fact6: もし仮にこの腰砕けは長々しいなら「それは明滅するしそれに結び付き難い」ということは間違っている fact7: あの強制終了は結び付き難くない fact8: もしも何かは長々しいとしたら「明滅しないしさらにそれは結び付き難い」ということは成り立つということはない fact9: 「この腰砕けは結び付き難くてさらに必定だ」ということは誤りである fact10: すべてのものはし掛けるし賦与する fact11: もしも何かは長々しいとすると「明滅するししかも結び付き難い」ということは嘘だ fact12: もし仮に何らかのものが賦与するということはないとすれば長々しいし狂おしい fact13: 仮に何らかの物がし掛けるしさらに作り難いとすれば賦与しない ; $hypothesis$ = この腰砕けは長々しい ; $proof$ = 
fact8 -> int1: この腰砕けは長々しいとしたら「それは明滅しなくてしかもそれは結び付き難い」ということは誤っている; void -> assump1: 以下のように仮定する。この腰砕けは長々しい; int1 & assump1 -> int2: 「この腰砕けは明滅しないけれどそれは結び付き難い」ということは成り立たない; int2 & fact1 -> int3: この腰砕けは狂おしい; int3 & fact2 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: 仮に「この腰砕けは明滅しないが結び付き難い」ということは成り立つということはないならばそれは狂おしい
事実2: この腰砕けは狂おしくない
事実3: あのトラブル事例は固守するとすれば「多食するしまた出発する」ということは成り立たない
事実4: 「この腰砕けは明滅するしまた結び付き難い」ということは事実と異なる
事実5: もしこの教頭がし掛けるならこの腰砕けはし掛ける
事実6: もし仮にこの腰砕けは長々しいなら「それは明滅するしそれに結び付き難い」ということは間違っている
事実7: あの強制終了は結び付き難くない
事実8: もしも何かは長々しいとしたら「明滅しないしさらにそれは結び付き難い」ということは成り立つということはない
事実9: 「この腰砕けは結び付き難くてさらに必定だ」ということは誤りである
事実10: すべてのものはし掛けるし賦与する
事実11: もしも何かは長々しいとすると「明滅するししかも結び付き難い」ということは嘘だ
事実12: もし仮に何らかのものが賦与するということはないとすれば長々しいし狂おしい
事実13: 仮に何らかの物がし掛けるしさらに作り難いとすれば賦与しない

仮説: この腰砕けは長々しい
1. 事実8から、推論1: "この腰砕けは長々しいとしたら「それは明滅しなくてしかもそれは結び付き難い」ということは誤っている"が導かれる
2. 仮定1: 以下のように仮定する。この腰砕けは長々しい
3. 推論1と仮定1から、推論2: "「この腰砕けは明滅しないけれどそれは結び付き難い」ということは成り立たない"が導かれる
4. 推論2と事実1から、推論3: "この腰砕けは狂おしい"が導かれる
5. 推論3と事実2から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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