「「あの英才教育はモニタリングするということはないがしかしそれは私達子供である」ということは偽である」ということは成り立つ
fact1: 「願える」物はある fact2: この含有は半田付けしない fact3: 仮にある物は半田付けしないとしたら「水分調整であるということはないけれど言い做す」ということは本当だ fact4: 「あの省は変調・復調でない一方ででかい」ということは誤りである fact5: あの水曜館は言い做す fact6: あの風圧中心が言い做さないならあの舞は着陸しないがしかし豚カツである fact7: あの水曜館は半田付けしないとすると「それは言い做す」ということは本当だ fact8: もしも「あの風圧中心は言い做さない」ということは成り立つならばあの舞は豚カツである fact9: あの水曜館は半田付けしない fact10: もし「あの省は変調・復調でないがしかしでかい」ということは成り立たないとすると願える fact11: あの舞が願えるならあの省はレーシングカーである fact12: 「私達子供な」ものはある fact13: あの舞は半田付けしないけれど豚カツである fact14: もし何らかのものが私達子供だしまた願えるとしたらその本項目は初発しない fact15: もしもあの水曜館がモニタリングしないならあの風圧中心は初発するかあるいは着陸する fact16: 仮にその本項目が初発しないならあの舞は着陸する fact17: あの省は私達子供でないとすると「「あの英才教育はモニタリングしない一方で私達子供である」ということは嘘だ」ということは成り立つ fact18: 仮にあの水曜館が水分調整でないけれど言い做すならあの風圧中心は言い做さない fact19: 「あの省は変調・復調であるしでかい」ということは事実と異なる fact20: 「あの英才教育はモニタリングするしそれは私達子供だ」ということは間違いだ fact21: 仮にあの英才教育が初発すればあの舞は願える
fact10 & fact4 -> int1: あの省は願える; void -> assump1: 以下のように仮定する。あの省は私達子供である; int1 & assump1 -> int2: あの省は私達子供であるし加えて願える; int2 -> int3: 「私達子供だしかつ願える」物はある; int3 & fact14 -> int4: その本項目は初発しない; int4 & fact16 -> int5: 「あの舞は着陸する」ということは成り立つ; fact3 -> int6: もしもあの水曜館が半田付けしないならばそれは水分調整であるということはないけど言い做す; fact9 & int6 -> int7: あの水曜館は水分調整でないがしかし言い做す; fact18 & int7 -> int8: あの風圧中心は言い做さない; int8 & fact6 -> int9: あの舞は着陸しないがしかしそれは豚カツである; int9 -> int10: あの舞は着陸しない; int5 & int10 -> int11: これは矛盾である; [assump1] & int11 -> int12: あの省は私達子供でない; int12 & fact17 -> hypothesis;
なにがしかの物はレーシングカーであるしそれにそれは打倒する
$facts$ = fact1: 「願える」物はある fact2: この含有は半田付けしない fact3: 仮にある物は半田付けしないとしたら「水分調整であるということはないけれど言い做す」ということは本当だ fact4: 「あの省は変調・復調でない一方ででかい」ということは誤りである fact5: あの水曜館は言い做す fact6: あの風圧中心が言い做さないならあの舞は着陸しないがしかし豚カツである fact7: あの水曜館は半田付けしないとすると「それは言い做す」ということは本当だ fact8: もしも「あの風圧中心は言い做さない」ということは成り立つならばあの舞は豚カツである fact9: あの水曜館は半田付けしない fact10: もし「あの省は変調・復調でないがしかしでかい」ということは成り立たないとすると願える fact11: あの舞が願えるならあの省はレーシングカーである fact12: 「私達子供な」ものはある fact13: あの舞は半田付けしないけれど豚カツである fact14: もし何らかのものが私達子供だしまた願えるとしたらその本項目は初発しない fact15: もしもあの水曜館がモニタリングしないならあの風圧中心は初発するかあるいは着陸する fact16: 仮にその本項目が初発しないならあの舞は着陸する fact17: あの省は私達子供でないとすると「「あの英才教育はモニタリングしない一方で私達子供である」ということは嘘だ」ということは成り立つ fact18: 仮にあの水曜館が水分調整でないけれど言い做すならあの風圧中心は言い做さない fact19: 「あの省は変調・復調であるしでかい」ということは事実と異なる fact20: 「あの英才教育はモニタリングするしそれは私達子供だ」ということは間違いだ fact21: 仮にあの英才教育が初発すればあの舞は願える ; $hypothesis$ = 「「あの英才教育はモニタリングするということはないがしかしそれは私達子供である」ということは偽である」ということは成り立つ ; $proof$ = 
fact10 & fact4 -> int1: あの省は願える; void -> assump1: 以下のように仮定する。あの省は私達子供である; int1 & assump1 -> int2: あの省は私達子供であるし加えて願える; int2 -> int3: 「私達子供だしかつ願える」物はある; int3 & fact14 -> int4: その本項目は初発しない; int4 & fact16 -> int5: 「あの舞は着陸する」ということは成り立つ; fact3 -> int6: もしもあの水曜館が半田付けしないならばそれは水分調整であるということはないけど言い做す; fact9 & int6 -> int7: あの水曜館は水分調整でないがしかし言い做す; fact18 & int7 -> int8: あの風圧中心は言い做さない; int8 & fact6 -> int9: あの舞は着陸しないがしかしそれは豚カツである; int9 -> int10: あの舞は着陸しない; int5 & int10 -> int11: これは矛盾である; [assump1] & int11 -> int12: あの省は私達子供でない; int12 & fact17 -> hypothesis; __PROVED__
事実1: 「願える」物はある
事実2: この含有は半田付けしない
事実3: 仮にある物は半田付けしないとしたら「水分調整であるということはないけれど言い做す」ということは本当だ
事実4: 「あの省は変調・復調でない一方ででかい」ということは誤りである
事実5: あの水曜館は言い做す
事実6: あの風圧中心が言い做さないならあの舞は着陸しないがしかし豚カツである
事実7: あの水曜館は半田付けしないとすると「それは言い做す」ということは本当だ
事実8: もしも「あの風圧中心は言い做さない」ということは成り立つならばあの舞は豚カツである
事実9: あの水曜館は半田付けしない
事実10: もし「あの省は変調・復調でないがしかしでかい」ということは成り立たないとすると願える
事実11: あの舞が願えるならあの省はレーシングカーである
事実12: 「私達子供な」ものはある
事実13: あの舞は半田付けしないけれど豚カツである
事実14: もし何らかのものが私達子供だしまた願えるとしたらその本項目は初発しない
事実15: もしもあの水曜館がモニタリングしないならあの風圧中心は初発するかあるいは着陸する
事実16: 仮にその本項目が初発しないならあの舞は着陸する
事実17: あの省は私達子供でないとすると「「あの英才教育はモニタリングしない一方で私達子供である」ということは嘘だ」ということは成り立つ
事実18: 仮にあの水曜館が水分調整でないけれど言い做すならあの風圧中心は言い做さない
事実19: 「あの省は変調・復調であるしでかい」ということは事実と異なる
事実20: 「あの英才教育はモニタリングするしそれは私達子供だ」ということは間違いだ
事実21: 仮にあの英才教育が初発すればあの舞は願える

仮説: 「「あの英才教育はモニタリングするということはないがしかしそれは私達子供である」ということは偽である」ということは成り立つ
1. 事実10と事実4から、推論1: "あの省は願える"が導かれる
2. 仮定1: 以下のように仮定する。あの省は私達子供である
3. 推論1と仮定1から、推論2: "あの省は私達子供であるし加えて願える"が導かれる
4. 推論2から、推論3: "「私達子供だしかつ願える」物はある"が導かれる
5. 推論3と事実14から、推論4: "その本項目は初発しない"が導かれる
6. 推論4と事実16から、推論5: "「あの舞は着陸する」ということは成り立つ"が導かれる
7. 事実3から、推論6: "もしもあの水曜館が半田付けしないならばそれは水分調整であるということはないけど言い做す"が導かれる
8. 事実9と推論6から、推論7: "あの水曜館は水分調整でないがしかし言い做す"が導かれる
9. 事実18と推論7から、推論8: "あの風圧中心は言い做さない"が導かれる
10. 推論8と事実6から、推論9: "あの舞は着陸しないがしかしそれは豚カツである"が導かれる
11. 推論9から、推論10: "あの舞は着陸しない"が導かれる
12. 推論5と推論10から、推論11: "これは矛盾である"が導かれる
13. [仮定1]と推論11から、推論12: "あの省は私達子供でない"が導かれる
14. 推論12と事実17から、仮説が導かれる

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