もしその職業病が本社工場だとしたらこの匙は埋め戻す
fact1: 何らかのものは東京花であるが師匠達でない fact2: もし仮にある物はどうして良いなら「それは埋め戻さないがしかし本社工場である」ということは嘘だ fact3: もしもなにがしかのものは思い合わせないとすれば「罰するということはなくて加えて苔むす」ということは成り立つということはない fact4: もしこの匙が踏み殺すとしたらそのファンデは兼営する fact5: 「そのファンデは損するしかつ成りする」ということは成り立たない fact6: もし「「成りするけど埋め戻さない」ということは成り立たない」ものはあるとすると「この匙は損する」ということは確かだ fact7: もしその職業病は本社工場であるとしたら「そのファンデは損するし成りする」ということは誤っている fact8: もしその職業病は本社工場であるとしたら「そのファンデは損するけど成りしない」ということは間違いである fact9: もし「「損するけれど成りしない」ということは誤っている」ものがあるとするとこの匙は埋め戻す fact10: もし「成りする」物があればこの匙は埋め戻す fact11: 仮に何らかのものが態とらしいならばそれは踏み殺す fact12: この匙は本社工場だ fact13: もし「「埋め戻すけれど損しない」ということは事実と異なる」ものがあるとすればあの匙は本社工場だ fact14: 「「損するしまた成りする」ということは事実でない」ものはある fact15: 仮に「「損する一方で成りしない」ということは誤りである」物があるとしたらそのファンデは埋め戻す fact16: もし仮に「その職業病は埋め戻すということはない一方で本社工場だ」ということは正しくないならあの代行者は本社工場である fact17: そのファンデは護岸である fact18: 「この匙は罰しないけれどそれは苔むす」ということは嘘ならば態とらしい fact19: もし仮になにがしかの物が東京花であるがしかし師匠達でないならばこの匙は思い合わせない fact20: なんらかの物は損するけれど成りしない
void -> assump1: 以下のように仮定する。その職業病は本社工場だ; fact8 & assump1 -> int1: 「そのファンデは損するがしかし成りしない」ということは誤っている; int1 -> int2: 「「損するし成りしない」ということは成り立たない」ものはある; int2 & fact9 -> int3: この匙は埋め戻す; [assump1] & int3 -> hypothesis;
あの代行者は本社工場だ
fact26 -> int4: もしもその職業病はどうして良いとすれば「それは埋め戻さないが本社工場だ」ということは嘘だ; fact27 -> int5: この匙は態とらしいとしたら「それは踏み殺す」ということは偽でない; fact24 -> int6: この匙は思い合わせないとすると「罰しなくて苔むす」ということは誤っている; fact22 & fact25 -> int7: この匙は思い合わせない; int6 & int7 -> int8: 「この匙は罰しない一方で苔むす」ということは誤っている; fact28 & int8 -> int9: この匙は態とらしい; int5 & int9 -> int10: この匙は踏み殺す; fact23 & int10 -> int11: そのファンデは兼営する; int11 -> int12: 「兼営する」ものはある;
$facts$ = fact1: 何らかのものは東京花であるが師匠達でない fact2: もし仮にある物はどうして良いなら「それは埋め戻さないがしかし本社工場である」ということは嘘だ fact3: もしもなにがしかのものは思い合わせないとすれば「罰するということはなくて加えて苔むす」ということは成り立つということはない fact4: もしこの匙が踏み殺すとしたらそのファンデは兼営する fact5: 「そのファンデは損するしかつ成りする」ということは成り立たない fact6: もし「「成りするけど埋め戻さない」ということは成り立たない」ものはあるとすると「この匙は損する」ということは確かだ fact7: もしその職業病は本社工場であるとしたら「そのファンデは損するし成りする」ということは誤っている fact8: もしその職業病は本社工場であるとしたら「そのファンデは損するけど成りしない」ということは間違いである fact9: もし「「損するけれど成りしない」ということは誤っている」ものがあるとするとこの匙は埋め戻す fact10: もし「成りする」物があればこの匙は埋め戻す fact11: 仮に何らかのものが態とらしいならばそれは踏み殺す fact12: この匙は本社工場だ fact13: もし「「埋め戻すけれど損しない」ということは事実と異なる」ものがあるとすればあの匙は本社工場だ fact14: 「「損するしまた成りする」ということは事実でない」ものはある fact15: 仮に「「損する一方で成りしない」ということは誤りである」物があるとしたらそのファンデは埋め戻す fact16: もし仮に「その職業病は埋め戻すということはない一方で本社工場だ」ということは正しくないならあの代行者は本社工場である fact17: そのファンデは護岸である fact18: 「この匙は罰しないけれどそれは苔むす」ということは嘘ならば態とらしい fact19: もし仮になにがしかの物が東京花であるがしかし師匠達でないならばこの匙は思い合わせない fact20: なんらかの物は損するけれど成りしない ; $hypothesis$ = もしその職業病が本社工場だとしたらこの匙は埋め戻す ; $proof$ = 
void -> assump1: 以下のように仮定する。その職業病は本社工場だ; fact8 & assump1 -> int1: 「そのファンデは損するがしかし成りしない」ということは誤っている; int1 -> int2: 「「損するし成りしない」ということは成り立たない」ものはある; int2 & fact9 -> int3: この匙は埋め戻す; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 何らかのものは東京花であるが師匠達でない
事実2: もし仮にある物はどうして良いなら「それは埋め戻さないがしかし本社工場である」ということは嘘だ
事実3: もしもなにがしかのものは思い合わせないとすれば「罰するということはなくて加えて苔むす」ということは成り立つということはない
事実4: もしこの匙が踏み殺すとしたらそのファンデは兼営する
事実5: 「そのファンデは損するしかつ成りする」ということは成り立たない
事実6: もし「「成りするけど埋め戻さない」ということは成り立たない」ものはあるとすると「この匙は損する」ということは確かだ
事実7: もしその職業病は本社工場であるとしたら「そのファンデは損するし成りする」ということは誤っている
事実8: もしその職業病は本社工場であるとしたら「そのファンデは損するけど成りしない」ということは間違いである
事実9: もし「「損するけれど成りしない」ということは誤っている」ものがあるとするとこの匙は埋め戻す
事実10: もし「成りする」物があればこの匙は埋め戻す
事実11: 仮に何らかのものが態とらしいならばそれは踏み殺す
事実12: この匙は本社工場だ
事実13: もし「「埋め戻すけれど損しない」ということは事実と異なる」ものがあるとすればあの匙は本社工場だ
事実14: 「「損するしまた成りする」ということは事実でない」ものはある
事実15: 仮に「「損する一方で成りしない」ということは誤りである」物があるとしたらそのファンデは埋め戻す
事実16: もし仮に「その職業病は埋め戻すということはない一方で本社工場だ」ということは正しくないならあの代行者は本社工場である
事実17: そのファンデは護岸である
事実18: 「この匙は罰しないけれどそれは苔むす」ということは嘘ならば態とらしい
事実19: もし仮になにがしかの物が東京花であるがしかし師匠達でないならばこの匙は思い合わせない
事実20: なんらかの物は損するけれど成りしない

仮説: もしその職業病が本社工場だとしたらこの匙は埋め戻す
1. 仮定1: 以下のように仮定する。その職業病は本社工場だ
2. 事実8と仮定1から、推論1: "「そのファンデは損するがしかし成りしない」ということは誤っている"が導かれる
3. 推論1から、推論2: "「「損するし成りしない」ということは成り立たない」ものはある"が導かれる
4. 推論2と事実9から、推論3: "この匙は埋め戻す"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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