「「この天蓋はちりでない一方で麗し」ということは偽である」ということは真実である
fact1: 「この友誼医院は及び難くないししかも飴さんでない」ということは間違いだ fact2: 仮にある物はひっぺがすし加えて根処理であるとすればそれはさばさばしない fact3: 何かは走り始めるならそれは根処理であるけれどさばさばしない fact4: もしもこの友誼医院が優しないとすれば占有す fact5: 仮に「この一日以降は書き方であるが走り始めない」ということは誤りであるとすると「この友誼医院は占有すらない」ということは真実である fact6: もしもなにがしかのものがひっぺがすないとすればそれはちりでないけど麗し fact7: 「その田植え機は書き方でないけれど占有す」ということは間違っている fact8: その田植え機はひっぺがす fact9: 仮に「さばさばしない」ものはあるとしたら「この一日以降は書き方であるけれどそれは走り始めない」ということは成り立つということはない fact10: もし仮に「この友誼医院は及び難くないし加えて飴さんでない」ということは間違いなら優しない fact11: その田植え機は根処理でないならば「「この天蓋はちりでない一方で麗し」ということは正しい」ということは間違いだ fact12: そのグローバルＳＣＭはひっぺがす
void -> assump1: 以下のように仮定する。その田植え機は根処理だ; fact8 & assump1 -> int1: その田植え機はひっぺがすしそれは根処理だ; fact2 -> int2: もし仮にその田植え機がひっぺがすし加えてそれは根処理であるとすればさばさばしない; int1 & int2 -> int3: その田植え機はさばさばしない; int3 -> int4: 「さばさばしない」物はある; int4 & fact9 -> int5: 「この一日以降は書き方であるがしかし走り始めるということはない」ということは誤りだ; int5 & fact5 -> int6: この友誼医院は占有すらない; fact1 & fact10 -> int7: 「この友誼医院は優しということはない」ということは成り立つ; int7 & fact4 -> int8: この友誼医院は占有す; int6 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: その田植え機は根処理でない; int10 & fact11 -> hypothesis;
この天蓋はちりでない一方で麗し
fact13 -> int11: もしもこの天蓋がひっぺがすないならばちりでないけれど麗し; fact15 -> int12: もし仮にこの天蓋は走り始めれば「根処理であるけれどさばさばしない」ということは真実だ; fact14 -> int13: 「「書き方でないけど占有す」ということは成り立たない」ものはある;
$facts$ = fact1: 「この友誼医院は及び難くないししかも飴さんでない」ということは間違いだ fact2: 仮にある物はひっぺがすし加えて根処理であるとすればそれはさばさばしない fact3: 何かは走り始めるならそれは根処理であるけれどさばさばしない fact4: もしもこの友誼医院が優しないとすれば占有す fact5: 仮に「この一日以降は書き方であるが走り始めない」ということは誤りであるとすると「この友誼医院は占有すらない」ということは真実である fact6: もしもなにがしかのものがひっぺがすないとすればそれはちりでないけど麗し fact7: 「その田植え機は書き方でないけれど占有す」ということは間違っている fact8: その田植え機はひっぺがす fact9: 仮に「さばさばしない」ものはあるとしたら「この一日以降は書き方であるけれどそれは走り始めない」ということは成り立つということはない fact10: もし仮に「この友誼医院は及び難くないし加えて飴さんでない」ということは間違いなら優しない fact11: その田植え機は根処理でないならば「「この天蓋はちりでない一方で麗し」ということは正しい」ということは間違いだ fact12: そのグローバルＳＣＭはひっぺがす ; $hypothesis$ = 「「この天蓋はちりでない一方で麗し」ということは偽である」ということは真実である ; $proof$ = 
void -> assump1: 以下のように仮定する。その田植え機は根処理だ; fact8 & assump1 -> int1: その田植え機はひっぺがすしそれは根処理だ; fact2 -> int2: もし仮にその田植え機がひっぺがすし加えてそれは根処理であるとすればさばさばしない; int1 & int2 -> int3: その田植え機はさばさばしない; int3 -> int4: 「さばさばしない」物はある; int4 & fact9 -> int5: 「この一日以降は書き方であるがしかし走り始めるということはない」ということは誤りだ; int5 & fact5 -> int6: この友誼医院は占有すらない; fact1 & fact10 -> int7: 「この友誼医院は優しということはない」ということは成り立つ; int7 & fact4 -> int8: この友誼医院は占有す; int6 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: その田植え機は根処理でない; int10 & fact11 -> hypothesis; __PROVED__
事実1: 「この友誼医院は及び難くないししかも飴さんでない」ということは間違いだ
事実2: 仮にある物はひっぺがすし加えて根処理であるとすればそれはさばさばしない
事実3: 何かは走り始めるならそれは根処理であるけれどさばさばしない
事実4: もしもこの友誼医院が優しないとすれば占有す
事実5: 仮に「この一日以降は書き方であるが走り始めない」ということは誤りであるとすると「この友誼医院は占有すらない」ということは真実である
事実6: もしもなにがしかのものがひっぺがすないとすればそれはちりでないけど麗し
事実7: 「その田植え機は書き方でないけれど占有す」ということは間違っている
事実8: その田植え機はひっぺがす
事実9: 仮に「さばさばしない」ものはあるとしたら「この一日以降は書き方であるけれどそれは走り始めない」ということは成り立つということはない
事実10: もし仮に「この友誼医院は及び難くないし加えて飴さんでない」ということは間違いなら優しない
事実11: その田植え機は根処理でないならば「「この天蓋はちりでない一方で麗し」ということは正しい」ということは間違いだ
事実12: そのグローバルＳＣＭはひっぺがす

仮説: 「「この天蓋はちりでない一方で麗し」ということは偽である」ということは真実である
1. 仮定1: 以下のように仮定する。その田植え機は根処理だ
2. 事実8と仮定1から、推論1: "その田植え機はひっぺがすしそれは根処理だ"が導かれる
3. 事実2から、推論2: "もし仮にその田植え機がひっぺがすし加えてそれは根処理であるとすればさばさばしない"が導かれる
4. 推論1と推論2から、推論3: "その田植え機はさばさばしない"が導かれる
5. 推論3から、推論4: "「さばさばしない」物はある"が導かれる
6. 推論4と事実9から、推論5: "「この一日以降は書き方であるがしかし走り始めるということはない」ということは誤りだ"が導かれる
7. 推論5と事実5から、推論6: "この友誼医院は占有すらない"が導かれる
8. 事実1と事実10から、推論7: "「この友誼医院は優しということはない」ということは成り立つ"が導かれる
9. 推論7と事実4から、推論8: "この友誼医院は占有す"が導かれる
10. 推論6と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "その田植え機は根処理でない"が導かれる
12. 推論10と事実11から、仮説が導かれる

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