仮にこの寺内が古代米でないならばこのスティックタイプは投稿する
fact1: もしも「とある物はうろちょろするけれどライフポイントでない」ということは事実でないとするとうろちょろしない fact2: 仮にあの愛郷がうろちょろしないならばあのスティックタイプは向けるか櫓門だ fact3: 「「このスティックタイプは忌まわしくないけれど古代米である」ということは間違いだ」ということは事実である fact4: もし仮にこの寺内が特殊部隊員でないとするとこのスティックタイプは古代米である fact5: もしもこの寺内が古代米ならばこのスティックタイプは投稿する fact6: 「その心機能は忌まわしくないけれど損なう」ということは成り立つということはない fact7: もし仮にこのスティックタイプは忌まわしいということはないなら「それは投稿する」ということは事実と異なるということはない fact8: もしその透綾が損なうし加えて敵中深いならばこの暴風時は引き受けしない fact9: 「この寺内は古代米でないなら「このスティックタイプは特殊部隊員であるということはないがしかし忌まわしい」ということは成り立たない」ということは正しい fact10: 「この寺内はアバヤギリ大仏塔でないけれどすばしっこい」ということは成り立たない fact11: 仮に「このスティックタイプは特殊部隊員でないけれど投稿する」ということは誤りであるなら古代米だ fact12: もしこの暴風時は引き受けしないとすれば「あの愛郷はうろちょろする一方でライフポイントでない」ということは成り立たない fact13: 仮に何らかのものは古代米であるとすると「リラックス効果だということはない一方で出し切れる」ということは正しくない fact14: 何らかの物が忌まわしくないならば投稿する fact15: このスティックタイプは敵中深い fact16: もしもこの寺内は古代米だとしたら「このスティックタイプは特殊部隊員でないがしかしそれは忌まわしい」ということは間違いだ fact17: この寺内は投稿するということはないならば「このスティックタイプは古代米でない一方で特殊部隊員だ」ということは事実と異なる fact18: 何らかのものが投稿するとしたら古代米だ fact19: もし「なにがしかの物はそそっかしくないがそれはやばい」ということは誤りであるならそれは大調練である fact20: 「何かは特殊部隊員でないがそれは忌まわしい」ということは成り立たないなら「投稿する」ということは確かだ
void -> assump1: 以下のように仮定する。この寺内は古代米でない; fact9 & assump1 -> int1: 「「このスティックタイプは特殊部隊員でないが忌まわしい」ということは偽である」ということは真実である; fact20 -> int2: 「このスティックタイプは特殊部隊員でないがしかし忌まわしい」ということは間違いだとするとそれは投稿する; int1 & int2 -> int3: このスティックタイプは投稿する; [assump1] & int3 -> hypothesis;
「この寺内はリラックス効果でない一方で出し切れる」ということは嘘だ
fact22 -> int4: 仮にこの寺内は古代米であるとすれば「それはリラックス効果でないがしかし出し切れる」ということは間違いだ; fact26 -> int5: 「もし仮に「この寺内は投稿する」ということは正しいとするとこの寺内は古代米である」ということは誤っていない; fact25 -> int6: 「あの愛郷はうろちょろするけれどライフポイントでない」ということは事実と異なるとすればうろちょろしない;
$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: 以下のように仮定する。この寺内は古代米でない; fact9 & assump1 -> int1: 「「このスティックタイプは特殊部隊員でないが忌まわしい」ということは偽である」ということは真実である; fact20 -> int2: 「このスティックタイプは特殊部隊員でないがしかし忌まわしい」ということは間違いだとするとそれは投稿する; int1 & int2 -> 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. 事実9と仮定1から、推論1: "「「このスティックタイプは特殊部隊員でないが忌まわしい」ということは偽である」ということは真実である"が導かれる
3. 事実20から、推論2: "「このスティックタイプは特殊部隊員でないがしかし忌まわしい」ということは間違いだとするとそれは投稿する"が導かれる
4. 推論1と推論2から、推論3: "このスティックタイプは投稿する"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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