その月は野太い
fact1: 仮に「あの葛葉稲荷は似通うし更に改装する」ということは成り立たないとすればそのせんぼうは薬臭くない fact2: もしもその月は野太くないとすると「あの葛葉稲荷は改装するし更に薬臭い」ということは偽だ fact3: そのせんぼうは立ち込めるしさらに改装する fact4: そのせんぼうは立ち込める fact5: もし「あの葛葉稲荷は立ち込めるしさらに薬臭い」ということは成り立たないならそのせんぼうは野太いということはない fact6: 「仮に「あの葛葉稲荷は改装するしまた薬臭い」ということは成り立たないならばそのせんぼうは似通わない」ということは確かである fact7: もし仮にあの葛葉稲荷が立ち込めるししかも野太いとするとその月は野太いということはない fact8: もしもその月が危なっかしいということはないならばそれは気後れするし更に立ち込める fact9: そのせんぼうが似通うしその上それは立ち込める fact10: もし仮にある物は立ち込めるけれど似通わないならそれは野太くない fact11: もしもあの葛葉稲荷が改装しないならそのせんぼうは似通わない
void -> assump1: 以下のように仮定する。その月は野太くない; fact2 & assump1 -> int1: 「あの葛葉稲荷は改装するし加えて薬臭い」ということは成り立たない; int1 & fact6 -> int2: そのせんぼうは似通わない; fact9 -> int3: そのせんぼうは似通う; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
その月は野太くない
fact12 -> int5: もし仮にその月は立ち込めるが似通わないとすればそれは野太くない;
$facts$ = fact1: 仮に「あの葛葉稲荷は似通うし更に改装する」ということは成り立たないとすればそのせんぼうは薬臭くない fact2: もしもその月は野太くないとすると「あの葛葉稲荷は改装するし更に薬臭い」ということは偽だ fact3: そのせんぼうは立ち込めるしさらに改装する fact4: そのせんぼうは立ち込める fact5: もし「あの葛葉稲荷は立ち込めるしさらに薬臭い」ということは成り立たないならそのせんぼうは野太いということはない fact6: 「仮に「あの葛葉稲荷は改装するしまた薬臭い」ということは成り立たないならばそのせんぼうは似通わない」ということは確かである fact7: もし仮にあの葛葉稲荷が立ち込めるししかも野太いとするとその月は野太いということはない fact8: もしもその月が危なっかしいということはないならばそれは気後れするし更に立ち込める fact9: そのせんぼうが似通うしその上それは立ち込める fact10: もし仮にある物は立ち込めるけれど似通わないならそれは野太くない fact11: もしもあの葛葉稲荷が改装しないならそのせんぼうは似通わない ; $hypothesis$ = その月は野太い ; $proof$ = 
void -> assump1: 以下のように仮定する。その月は野太くない; fact2 & assump1 -> int1: 「あの葛葉稲荷は改装するし加えて薬臭い」ということは成り立たない; int1 & fact6 -> int2: そのせんぼうは似通わない; fact9 -> int3: そのせんぼうは似通う; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __PROVED__
事実1: 仮に「あの葛葉稲荷は似通うし更に改装する」ということは成り立たないとすればそのせんぼうは薬臭くない
事実2: もしもその月は野太くないとすると「あの葛葉稲荷は改装するし更に薬臭い」ということは偽だ
事実3: そのせんぼうは立ち込めるしさらに改装する
事実4: そのせんぼうは立ち込める
事実5: もし「あの葛葉稲荷は立ち込めるしさらに薬臭い」ということは成り立たないならそのせんぼうは野太いということはない
事実6: 「仮に「あの葛葉稲荷は改装するしまた薬臭い」ということは成り立たないならばそのせんぼうは似通わない」ということは確かである
事実7: もし仮にあの葛葉稲荷が立ち込めるししかも野太いとするとその月は野太いということはない
事実8: もしもその月が危なっかしいということはないならばそれは気後れするし更に立ち込める
事実9: そのせんぼうが似通うしその上それは立ち込める
事実10: もし仮にある物は立ち込めるけれど似通わないならそれは野太くない
事実11: もしもあの葛葉稲荷が改装しないならそのせんぼうは似通わない

仮説: その月は野太い
1. 仮定1: 以下のように仮定する。その月は野太くない
2. 事実2と仮定1から、推論1: "「あの葛葉稲荷は改装するし加えて薬臭い」ということは成り立たない"が導かれる
3. 推論1と事実6から、推論2: "そのせんぼうは似通わない"が導かれる
4. 事実9から、推論3: "そのせんぼうは似通う"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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