その客観的事実は飲食しない
fact1: そのエンドレステープが御優しくないかもしくはそれが茶運び人形だということはないならばこの框は腎癌である fact2: この造兵部が打ち倒せばこの框は寸だ fact3: そのエンドレステープは御優しくないかもしくはそれは茶運び人形であるかどちらもである fact4: もし仮に「「「御優しくないかあるいは茶運び人形であるということはないかまたは両方ともだ」ということは誤っていない」ということは事実でない」物があるとすればこの産別会議は歌い踊る fact5: 腎癌は寸でない fact6: 「「御優しくないか茶運び人形であるかまたは両方ともだ」ということは成り立たない」物はある fact7: もし「その客観的事実は腎癌でないし更にそれは寸でない」ということは偽だとすると飲食しない fact8: その客観的事実はうざい fact9: 「この造兵部は打ち倒すということはないけどうざい」ということは間違いだ fact10: なにかは御優しいということはないかあるいは茶運び人形でないか両方ともだ fact11: もしも「この造兵部は打ち倒さない一方でうざい」ということは偽だとすればあの框は寸である fact12: もしも「この框は歌い踊る」ということは正しいとしたらそのエンドレステープは腎癌だ fact13: もしこの産別会議はけたたましい一方で償還差益でないとすれば頓挫する fact14: うざくない物は歌い踊るししかも飲食する fact15: そのエンドレステープは御優しいかあるいは茶運び人形であるということはないか両方である fact16: もし仮にこの産別会議は頓挫するとしたら「井深家だけれど打ち倒すということはない」ということは間違っている fact17: もしも「「御優しいかあるいは茶運び人形でない」ということは誤りである」ものはあるなら「この産別会議は歌い踊る」ということは成り立つ fact18: 「この産別会議は歌い踊る」ということは正しいとしたらその客観的事実は飲食する fact19: 「御優しい」物はある fact20: 「この造兵部は打ち倒すしうざい」ということは嘘である fact21: ある物は腎癌であるとすると「寸でなくて菌液である」ということは間違っている
void -> assump1: 以下のように仮定する。そのエンドレステープは御優しくないか茶運び人形でない; fact1 & assump1 -> int1: この框は腎癌である; fact5 -> int2: 「この框が腎癌であるならこの框は寸でない」ということは正しい; int1 & int2 -> int3: この框は寸でない; fact9 & fact11 -> int4: 「この框は寸である」ということは嘘でない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「そのエンドレステープは御優しくないかもしくは茶運び人形でないかもしくはどちらもだ」ということは誤りである; int6 -> int7: 「「御優しくないかあるいは茶運び人形でない」ということは嘘な」物はある; int7 & fact4 -> int8: この産別会議は歌い踊る; int8 & fact18 -> hypothesis;
「そのエンドレステープは寸でないけれど菌液だ」ということは成り立たない
fact22 -> int9: もし仮にそのエンドレステープは腎癌であるとすれば「それは寸であるということはないけれど菌液である」ということは成り立たない; fact24 -> int10: この框はうざくないとしたら歌い踊るしその上飲食する;
$facts$ = fact1: そのエンドレステープが御優しくないかもしくはそれが茶運び人形だということはないならばこの框は腎癌である fact2: この造兵部が打ち倒せばこの框は寸だ fact3: そのエンドレステープは御優しくないかもしくはそれは茶運び人形であるかどちらもである fact4: もし仮に「「「御優しくないかあるいは茶運び人形であるということはないかまたは両方ともだ」ということは誤っていない」ということは事実でない」物があるとすればこの産別会議は歌い踊る fact5: 腎癌は寸でない fact6: 「「御優しくないか茶運び人形であるかまたは両方ともだ」ということは成り立たない」物はある fact7: もし「その客観的事実は腎癌でないし更にそれは寸でない」ということは偽だとすると飲食しない fact8: その客観的事実はうざい fact9: 「この造兵部は打ち倒すということはないけどうざい」ということは間違いだ fact10: なにかは御優しいということはないかあるいは茶運び人形でないか両方ともだ fact11: もしも「この造兵部は打ち倒さない一方でうざい」ということは偽だとすればあの框は寸である fact12: もしも「この框は歌い踊る」ということは正しいとしたらそのエンドレステープは腎癌だ fact13: もしこの産別会議はけたたましい一方で償還差益でないとすれば頓挫する fact14: うざくない物は歌い踊るししかも飲食する fact15: そのエンドレステープは御優しいかあるいは茶運び人形であるということはないか両方である fact16: もし仮にこの産別会議は頓挫するとしたら「井深家だけれど打ち倒すということはない」ということは間違っている fact17: もしも「「御優しいかあるいは茶運び人形でない」ということは誤りである」ものはあるなら「この産別会議は歌い踊る」ということは成り立つ fact18: 「この産別会議は歌い踊る」ということは正しいとしたらその客観的事実は飲食する fact19: 「御優しい」物はある fact20: 「この造兵部は打ち倒すしうざい」ということは嘘である fact21: ある物は腎癌であるとすると「寸でなくて菌液である」ということは間違っている ; $hypothesis$ = その客観的事実は飲食しない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのエンドレステープは御優しくないか茶運び人形でない; fact1 & assump1 -> int1: この框は腎癌である; fact5 -> int2: 「この框が腎癌であるならこの框は寸でない」ということは正しい; int1 & int2 -> int3: この框は寸でない; fact9 & fact11 -> int4: 「この框は寸である」ということは嘘でない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「そのエンドレステープは御優しくないかもしくは茶運び人形でないかもしくはどちらもだ」ということは誤りである; int6 -> int7: 「「御優しくないかあるいは茶運び人形でない」ということは嘘な」物はある; int7 & fact4 -> int8: この産別会議は歌い踊る; int8 & fact18 -> hypothesis; __DISPROVED__
事実1: そのエンドレステープが御優しくないかもしくはそれが茶運び人形だということはないならばこの框は腎癌である
事実2: この造兵部が打ち倒せばこの框は寸だ
事実3: そのエンドレステープは御優しくないかもしくはそれは茶運び人形であるかどちらもである
事実4: もし仮に「「「御優しくないかあるいは茶運び人形であるということはないかまたは両方ともだ」ということは誤っていない」ということは事実でない」物があるとすればこの産別会議は歌い踊る
事実5: 腎癌は寸でない
事実6: 「「御優しくないか茶運び人形であるかまたは両方ともだ」ということは成り立たない」物はある
事実7: もし「その客観的事実は腎癌でないし更にそれは寸でない」ということは偽だとすると飲食しない
事実8: その客観的事実はうざい
事実9: 「この造兵部は打ち倒すということはないけどうざい」ということは間違いだ
事実10: なにかは御優しいということはないかあるいは茶運び人形でないか両方ともだ
事実11: もしも「この造兵部は打ち倒さない一方でうざい」ということは偽だとすればあの框は寸である
事実12: もしも「この框は歌い踊る」ということは正しいとしたらそのエンドレステープは腎癌だ
事実13: もしこの産別会議はけたたましい一方で償還差益でないとすれば頓挫する
事実14: うざくない物は歌い踊るししかも飲食する
事実15: そのエンドレステープは御優しいかあるいは茶運び人形であるということはないか両方である
事実16: もし仮にこの産別会議は頓挫するとしたら「井深家だけれど打ち倒すということはない」ということは間違っている
事実17: もしも「「御優しいかあるいは茶運び人形でない」ということは誤りである」ものはあるなら「この産別会議は歌い踊る」ということは成り立つ
事実18: 「この産別会議は歌い踊る」ということは正しいとしたらその客観的事実は飲食する
事実19: 「御優しい」物はある
事実20: 「この造兵部は打ち倒すしうざい」ということは嘘である
事実21: ある物は腎癌であるとすると「寸でなくて菌液である」ということは間違っている

仮説: その客観的事実は飲食しない
1. 仮定1: 以下のように仮定する。そのエンドレステープは御優しくないか茶運び人形でない
2. 事実1と仮定1から、推論1: "この框は腎癌である"が導かれる
3. 事実5から、推論2: "「この框が腎癌であるならこの框は寸でない」ということは正しい"が導かれる
4. 推論1と推論2から、推論3: "この框は寸でない"が導かれる
5. 事実9と事実11から、推論4: "「この框は寸である」ということは嘘でない"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「そのエンドレステープは御優しくないかもしくは茶運び人形でないかもしくはどちらもだ」ということは誤りである"が導かれる
8. 推論6から、推論7: "「「御優しくないかあるいは茶運び人形でない」ということは嘘な」物はある"が導かれる
9. 推論7と事実4から、推論8: "この産別会議は歌い踊る"が導かれる
10. 推論8と事実18から、仮説が否定される

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