この白湯はアニパロでない
fact1: もしなにがしかのものは解散命令でないとしたらそれは縁遠い fact2: もし仮にその科学的知識がアニパロでないならこの白湯はリナックス上であるし作る fact3: もしあの先端行政研究会が笑い合えないとしたらこの白湯は内科病棟である fact4: もしもその科学的知識は生臭いということはないとすれば「リナックス上でないし更にそれは口喧しくない」ということは間違いである fact5: もしもその科学的知識が口喧しくないとすればあの刺し身は生臭くない fact6: 仮に「この白湯はリナックス上であるしかつ作る」ということは成り立つとすればその箱髭図は作るということはない fact7: 「この白湯は生臭いということはない」ということは本当ならあの刺し身はアニパロだ fact8: もしそのＮＧＯ・ＮＰＯは解散命令でなくてかつＳＰＤでないとすると「あの刺し身は解散命令でない」ということは成り立つ fact9: 「あの刺し身は笑い合える」ということは正しい fact10: もしあの刺し身は解散命令でないならばそれは縁遠い fact11: あの先端行政研究会は笑い合えないかまたは作らないかもしくはどちらもである fact12: もし仮にこの白湯が縁遠いということはないとすれば内科病棟であるしアニパロだ fact13: もしもこの白湯がリナックス上であるしまたそれが内科病棟であるとするとその科学的知識は口喧しくない fact14: そのＮＧＯ・ＮＰＯは解散命令でなくてそれはＳＰＤでない fact15: そのＮＧＯ・ＮＰＯが解散命令だがしかしＳＰＤでないならあの刺し身は解散命令でない fact16: もしもその科学的知識が生臭くないとしたらそれは作るし口喧しい fact17: 仮にあの先端行政研究会が作らないとするとこの白湯は内科病棟だ fact18: 仮にあの刺し身が笑い合えないならば解散命令である fact19: もし「「なにかはリナックス上でないしその上口喧しいということはない」ということは成り立つ」ということは嘘であるならばアニパロである fact20: もしもこの白湯はアニパロであるならばリナックス上だ fact21: そのＮＧＯ・ＮＰＯは解散命令でない fact22: 仮にある物が解散命令だということはないならば生臭いしその上縁遠い fact23: もし仮に「なにがしかの物は内科病棟でない」ということは正しいとすれば「口喧しくなくてそれにそれはアニパロだ」ということは誤りである fact24: そのＮＧＯ・ＮＰＯは作らない
void -> assump1: 以下のように仮定する。この白湯はアニパロだ; fact20 & assump1 -> int1: この白湯はリナックス上である; fact3 & fact11 & fact17 -> int2: この白湯は内科病棟だ; int1 & int2 -> int3: この白湯はリナックス上でまた内科病棟だ; int3 & fact13 -> int4: その科学的知識は口喧しくない; int4 & fact5 -> int5: あの刺し身は生臭くない; fact8 & fact14 -> int6: あの刺し身は解散命令でない; fact22 -> int7: 仮にあの刺し身が解散命令でないとすればそれは生臭いし縁遠い; int6 & int7 -> int8: あの刺し身は生臭いしまたそれは縁遠い; int8 -> int9: あの刺し身は生臭い; int5 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis;
この白湯はアニパロだ
fact26 -> int11: 「その科学的知識はリナックス上だということはなくて更にそれは口喧しくない」ということは誤りだとするとアニパロだ;
$facts$ = fact1: もしなにがしかのものは解散命令でないとしたらそれは縁遠い fact2: もし仮にその科学的知識がアニパロでないならこの白湯はリナックス上であるし作る fact3: もしあの先端行政研究会が笑い合えないとしたらこの白湯は内科病棟である fact4: もしもその科学的知識は生臭いということはないとすれば「リナックス上でないし更にそれは口喧しくない」ということは間違いである fact5: もしもその科学的知識が口喧しくないとすればあの刺し身は生臭くない fact6: 仮に「この白湯はリナックス上であるしかつ作る」ということは成り立つとすればその箱髭図は作るということはない fact7: 「この白湯は生臭いということはない」ということは本当ならあの刺し身はアニパロだ fact8: もしそのＮＧＯ・ＮＰＯは解散命令でなくてかつＳＰＤでないとすると「あの刺し身は解散命令でない」ということは成り立つ fact9: 「あの刺し身は笑い合える」ということは正しい fact10: もしあの刺し身は解散命令でないならばそれは縁遠い fact11: あの先端行政研究会は笑い合えないかまたは作らないかもしくはどちらもである fact12: もし仮にこの白湯が縁遠いということはないとすれば内科病棟であるしアニパロだ fact13: もしもこの白湯がリナックス上であるしまたそれが内科病棟であるとするとその科学的知識は口喧しくない fact14: そのＮＧＯ・ＮＰＯは解散命令でなくてそれはＳＰＤでない fact15: そのＮＧＯ・ＮＰＯが解散命令だがしかしＳＰＤでないならあの刺し身は解散命令でない fact16: もしもその科学的知識が生臭くないとしたらそれは作るし口喧しい fact17: 仮にあの先端行政研究会が作らないとするとこの白湯は内科病棟だ fact18: 仮にあの刺し身が笑い合えないならば解散命令である fact19: もし「「なにかはリナックス上でないしその上口喧しいということはない」ということは成り立つ」ということは嘘であるならばアニパロである fact20: もしもこの白湯はアニパロであるならばリナックス上だ fact21: そのＮＧＯ・ＮＰＯは解散命令でない fact22: 仮にある物が解散命令だということはないならば生臭いしその上縁遠い fact23: もし仮に「なにがしかの物は内科病棟でない」ということは正しいとすれば「口喧しくなくてそれにそれはアニパロだ」ということは誤りである fact24: そのＮＧＯ・ＮＰＯは作らない ; $hypothesis$ = この白湯はアニパロでない ; $proof$ = 
void -> assump1: 以下のように仮定する。この白湯はアニパロだ; fact20 & assump1 -> int1: この白湯はリナックス上である; fact3 & fact11 & fact17 -> int2: この白湯は内科病棟だ; int1 & int2 -> int3: この白湯はリナックス上でまた内科病棟だ; int3 & fact13 -> int4: その科学的知識は口喧しくない; int4 & fact5 -> int5: あの刺し身は生臭くない; fact8 & fact14 -> int6: あの刺し身は解散命令でない; fact22 -> int7: 仮にあの刺し身が解散命令でないとすればそれは生臭いし縁遠い; int6 & int7 -> int8: あの刺し身は生臭いしまたそれは縁遠い; int8 -> int9: あの刺し身は生臭い; int5 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis; __PROVED__
事実1: もしなにがしかのものは解散命令でないとしたらそれは縁遠い
事実2: もし仮にその科学的知識がアニパロでないならこの白湯はリナックス上であるし作る
事実3: もしあの先端行政研究会が笑い合えないとしたらこの白湯は内科病棟である
事実4: もしもその科学的知識は生臭いということはないとすれば「リナックス上でないし更にそれは口喧しくない」ということは間違いである
事実5: もしもその科学的知識が口喧しくないとすればあの刺し身は生臭くない
事実6: 仮に「この白湯はリナックス上であるしかつ作る」ということは成り立つとすればその箱髭図は作るということはない
事実7: 「この白湯は生臭いということはない」ということは本当ならあの刺し身はアニパロだ
事実8: もしそのＮＧＯ・ＮＰＯは解散命令でなくてかつＳＰＤでないとすると「あの刺し身は解散命令でない」ということは成り立つ
事実9: 「あの刺し身は笑い合える」ということは正しい
事実10: もしあの刺し身は解散命令でないならばそれは縁遠い
事実11: あの先端行政研究会は笑い合えないかまたは作らないかもしくはどちらもである
事実12: もし仮にこの白湯が縁遠いということはないとすれば内科病棟であるしアニパロだ
事実13: もしもこの白湯がリナックス上であるしまたそれが内科病棟であるとするとその科学的知識は口喧しくない
事実14: そのＮＧＯ・ＮＰＯは解散命令でなくてそれはＳＰＤでない
事実15: そのＮＧＯ・ＮＰＯが解散命令だがしかしＳＰＤでないならあの刺し身は解散命令でない
事実16: もしもその科学的知識が生臭くないとしたらそれは作るし口喧しい
事実17: 仮にあの先端行政研究会が作らないとするとこの白湯は内科病棟だ
事実18: 仮にあの刺し身が笑い合えないならば解散命令である
事実19: もし「「なにかはリナックス上でないしその上口喧しいということはない」ということは成り立つ」ということは嘘であるならばアニパロである
事実20: もしもこの白湯はアニパロであるならばリナックス上だ
事実21: そのＮＧＯ・ＮＰＯは解散命令でない
事実22: 仮にある物が解散命令だということはないならば生臭いしその上縁遠い
事実23: もし仮に「なにがしかの物は内科病棟でない」ということは正しいとすれば「口喧しくなくてそれにそれはアニパロだ」ということは誤りである
事実24: そのＮＧＯ・ＮＰＯは作らない

仮説: この白湯はアニパロでない
1. 仮定1: 以下のように仮定する。この白湯はアニパロだ
2. 事実20と仮定1から、推論1: "この白湯はリナックス上である"が導かれる
3. 事実3と事実11と事実17から、推論2: "この白湯は内科病棟だ"が導かれる
4. 推論1と推論2から、推論3: "この白湯はリナックス上でまた内科病棟だ"が導かれる
5. 推論3と事実13から、推論4: "その科学的知識は口喧しくない"が導かれる
6. 推論4と事実5から、推論5: "あの刺し身は生臭くない"が導かれる
7. 事実8と事実14から、推論6: "あの刺し身は解散命令でない"が導かれる
8. 事実22から、推論7: "仮にあの刺し身が解散命令でないとすればそれは生臭いし縁遠い"が導かれる
9. 推論6と推論7から、推論8: "あの刺し身は生臭いしまたそれは縁遠い"が導かれる
10. 推論8から、推論9: "あの刺し身は生臭い"が導かれる
11. 推論5と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、仮説が導かれる

よって、仮説が証明されました。