「その保存容器は仮設しないがしかしきびきびする」ということは間違いだ
fact1: 仮に「その保存容器は仮設しないがきびきびする」ということは成り立たないとするとそれは首肯しない fact2: 仮にとあるものが告知するしその上組み入れるなら図々しかない fact3: もしなにがしかのものは×月×日でないけれど両開きならば首肯する fact4: その保存容器は百三号室だということはない一方で賢母良妻である fact5: あの仮称は打ち易いということはない fact6: あの御手入れが告知すれば確信する fact7: もし「なんらかの物はカメラ用ソフトであるかもしくは英文だ」ということは成り立たないとすると確からしくない fact8: その保存容器はきびきびする fact9: その保存容器は素晴らしい fact10: 確からしくないものは告知するし組み入れる fact11: 「この直結は両開きで×月×日だ」ということは成り立つとするとあの仮称は首肯しない fact12: 仮になんらかのものはすべすべしないならば「それはカメラ用ソフトであるかもしくは英文であるかどちらもだ」ということは真実でない fact13: あの御手入れは告知する fact14: もし仮に「あの仮称は素晴らしいしきびきびする」ということは偽であるとするとこのペーパー空間はきびきびしない fact15: もしもその保存容器が政権下ならばこのメスは×月×日だということはないが両開きである fact16: もしこのペーパー空間が図々しかないとすればその保存容器は確信するし政権下だ fact17: その一万年前はきびきびする fact18: もしも何らかのものは打ち易くないとすれば「それは語らわないしおまけにすべすべしない」ということは成り立たない fact19: あの御手入れが確信するとするとこの直結は政権下だ fact20: もしその保存容器がきびきびしないとすれば首肯しない fact21: もし「この直結は政権下である」ということは正しいとすれば両開きである fact22: もし仮にその保存容器が素晴らしいならばそれは首肯する fact23: もし「あの仮称は語らうということはなくて加えてすべすべしない」ということは事実と異なるならこのペーパー空間はすべすべするということはない
void -> assump1: 以下のように仮定する。「その保存容器は仮設しないがしかしきびきびする」ということは事実でない; fact1 & assump1 -> int1: その保存容器は首肯しない; fact22 & fact9 -> int2: その保存容器は首肯する; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
このメスは素晴らしくないけど移ろい易い
fact28 -> int4: このメスが×月×日だということはないがそれは両開きだとすると「それは首肯する」ということは成り立つ; fact24 -> int5: もしこのペーパー空間は告知するしさらに組み入れるとすれば図々しかない; fact27 -> int6: もしこのペーパー空間が確からしくないならば告知するしその上組み入れる; fact30 -> int7: 仮に「このペーパー空間はカメラ用ソフトであるかあるいは英文である」ということは正しくないならばそれは確からしくない; fact33 -> int8: このペーパー空間はすべすべしないとすると「カメラ用ソフトであるかもしくは英文であるかどちらもである」ということは成り立たない; fact26 -> int9: もし仮にあの仮称は打ち易くないとしたら「語らわないし更にすべすべしない」ということは成り立たない; int9 & fact25 -> int10: 「あの仮称が語らうということはないしさらにそれはすべすべしない」ということは確かでない; fact31 & int10 -> int11: このペーパー空間はすべすべしない; int8 & int11 -> int12: 「このペーパー空間はカメラ用ソフトであるかもしくは英文であるかどちらもだ」ということは間違いである; int7 & int12 -> int13: このペーパー空間は確からしくない; int6 & int13 -> int14: このペーパー空間は告知するしそれは組み入れる; int5 & int14 -> int15: 「このペーパー空間は図々しい」ということは成り立たない; fact32 & int15 -> int16: その保存容器は確信するしさらに政権下である; int16 -> int17: その保存容器は政権下だ; fact29 & int17 -> int18: このメスは×月×日だということはないけどそれは両開きだ; int4 & int18 -> int19: このメスは首肯する;
$facts$ = fact1: 仮に「その保存容器は仮設しないがきびきびする」ということは成り立たないとするとそれは首肯しない fact2: 仮にとあるものが告知するしその上組み入れるなら図々しかない fact3: もしなにがしかのものは×月×日でないけれど両開きならば首肯する fact4: その保存容器は百三号室だということはない一方で賢母良妻である fact5: あの仮称は打ち易いということはない fact6: あの御手入れが告知すれば確信する fact7: もし「なんらかの物はカメラ用ソフトであるかもしくは英文だ」ということは成り立たないとすると確からしくない fact8: その保存容器はきびきびする fact9: その保存容器は素晴らしい fact10: 確からしくないものは告知するし組み入れる fact11: 「この直結は両開きで×月×日だ」ということは成り立つとするとあの仮称は首肯しない fact12: 仮になんらかのものはすべすべしないならば「それはカメラ用ソフトであるかもしくは英文であるかどちらもだ」ということは真実でない fact13: あの御手入れは告知する fact14: もし仮に「あの仮称は素晴らしいしきびきびする」ということは偽であるとするとこのペーパー空間はきびきびしない fact15: もしもその保存容器が政権下ならばこのメスは×月×日だということはないが両開きである fact16: もしこのペーパー空間が図々しかないとすればその保存容器は確信するし政権下だ fact17: その一万年前はきびきびする fact18: もしも何らかのものは打ち易くないとすれば「それは語らわないしおまけにすべすべしない」ということは成り立たない fact19: あの御手入れが確信するとするとこの直結は政権下だ fact20: もしその保存容器がきびきびしないとすれば首肯しない fact21: もし「この直結は政権下である」ということは正しいとすれば両開きである fact22: もし仮にその保存容器が素晴らしいならばそれは首肯する fact23: もし「あの仮称は語らうということはなくて加えてすべすべしない」ということは事実と異なるならこのペーパー空間はすべすべするということはない ; $hypothesis$ = 「その保存容器は仮設しないがしかしきびきびする」ということは間違いだ ; $proof$ = 
void -> assump1: 以下のように仮定する。「その保存容器は仮設しないがしかしきびきびする」ということは事実でない; fact1 & assump1 -> int1: その保存容器は首肯しない; fact22 & fact9 -> int2: その保存容器は首肯する; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> 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: もし「あの仮称は語らうということはなくて加えてすべすべしない」ということは事実と異なるならこのペーパー空間はすべすべするということはない

仮説: 「その保存容器は仮設しないがしかしきびきびする」ということは間違いだ
1. 仮定1: 以下のように仮定する。「その保存容器は仮設しないがしかしきびきびする」ということは事実でない
2. 事実1と仮定1から、推論1: "その保存容器は首肯しない"が導かれる
3. 事実22と事実9から、推論2: "その保存容器は首肯する"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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