「この金利上昇は座主坊でない」ということは偽でない
fact1: この食料不足は折り入るとしたら「遊女であるということはないかまたはそれは省資源だということはないかもしくは両方ともだ」ということは成り立つ fact2: その中世時代は一元把握出来ないけれど退場する fact3: もしもこの食料不足が物凄いということはないとしたら軟らかい fact4: もしも「その納入業者は御施主様だということはないけど軟らかい」ということは成り立たないとしたら「この金利上昇は座主坊だ」ということは事実と異なる fact5: もしこの食料不足は軟らかいとしたら「「その納入業者は御施主様でないけれど軟らかい」ということは確かだ」ということは成り立たない fact6: もしもこの食料不足は美々しかないがしかし物凄いならばそれは折り入る fact7: この食料不足は美々しかない fact8: もしも「「この食料不足は物凄くないしさらに厳めしくらない」ということは正しい」ということは正しくないとしたらこの帰属家賃は厳めしい fact9: なにがしかの物は美々しいなら「物凄くなくてその上それは厳めしくらない」ということは偽である fact10: もし仮に「この食料不足は座主坊であるということはない」ということは誤りでないならこの金利上昇は座主坊である fact11: 仮にこの食料不足は厳めしかないならば「それは遊女でないかそれは省資源でない」ということは嘘である fact12: 「この食料不足は厳めしくらない」ということは事実だ
void -> assump1: 以下のように仮定する。この食料不足は物凄い; fact7 & assump1 -> int1: この食料不足は美々しいということはないがしかし物凄い; int1 & fact6 -> int2: この食料不足は折り入る; int2 & fact1 -> int3: この食料不足は遊女であるということはないかまたはそれは省資源でない; fact12 & fact11 -> int4: 「この食料不足は遊女でないか省資源でないかもしくはどちらもだ」ということは偽だ; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この食料不足は物凄くない; int6 & fact3 -> int7: この食料不足は軟らかい; int7 & fact5 -> int8: 「その納入業者は御施主様でないけれど軟らかい」ということは嘘だ; int8 & fact4 -> hypothesis;
この帰属家賃は厳めしい
fact14 -> int9: 仮にこの食料不足は美々しいとすると「それは物凄くなくて更に厳めしくらない」ということは正しくない;
$facts$ = fact1: この食料不足は折り入るとしたら「遊女であるということはないかまたはそれは省資源だということはないかもしくは両方ともだ」ということは成り立つ fact2: その中世時代は一元把握出来ないけれど退場する fact3: もしもこの食料不足が物凄いということはないとしたら軟らかい fact4: もしも「その納入業者は御施主様だということはないけど軟らかい」ということは成り立たないとしたら「この金利上昇は座主坊だ」ということは事実と異なる fact5: もしこの食料不足は軟らかいとしたら「「その納入業者は御施主様でないけれど軟らかい」ということは確かだ」ということは成り立たない fact6: もしもこの食料不足は美々しかないがしかし物凄いならばそれは折り入る fact7: この食料不足は美々しかない fact8: もしも「「この食料不足は物凄くないしさらに厳めしくらない」ということは正しい」ということは正しくないとしたらこの帰属家賃は厳めしい fact9: なにがしかの物は美々しいなら「物凄くなくてその上それは厳めしくらない」ということは偽である fact10: もし仮に「この食料不足は座主坊であるということはない」ということは誤りでないならこの金利上昇は座主坊である fact11: 仮にこの食料不足は厳めしかないならば「それは遊女でないかそれは省資源でない」ということは嘘である fact12: 「この食料不足は厳めしくらない」ということは事実だ ; $hypothesis$ = 「この金利上昇は座主坊でない」ということは偽でない ; $proof$ = 
void -> assump1: 以下のように仮定する。この食料不足は物凄い; fact7 & assump1 -> int1: この食料不足は美々しいということはないがしかし物凄い; int1 & fact6 -> int2: この食料不足は折り入る; int2 & fact1 -> int3: この食料不足は遊女であるということはないかまたはそれは省資源でない; fact12 & fact11 -> int4: 「この食料不足は遊女でないか省資源でないかもしくはどちらもだ」ということは偽だ; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この食料不足は物凄くない; int6 & fact3 -> int7: この食料不足は軟らかい; int7 & fact5 -> int8: 「その納入業者は御施主様でないけれど軟らかい」ということは嘘だ; int8 & fact4 -> hypothesis; __PROVED__
事実1: この食料不足は折り入るとしたら「遊女であるということはないかまたはそれは省資源だということはないかもしくは両方ともだ」ということは成り立つ
事実2: その中世時代は一元把握出来ないけれど退場する
事実3: もしもこの食料不足が物凄いということはないとしたら軟らかい
事実4: もしも「その納入業者は御施主様だということはないけど軟らかい」ということは成り立たないとしたら「この金利上昇は座主坊だ」ということは事実と異なる
事実5: もしこの食料不足は軟らかいとしたら「「その納入業者は御施主様でないけれど軟らかい」ということは確かだ」ということは成り立たない
事実6: もしもこの食料不足は美々しかないがしかし物凄いならばそれは折り入る
事実7: この食料不足は美々しかない
事実8: もしも「「この食料不足は物凄くないしさらに厳めしくらない」ということは正しい」ということは正しくないとしたらこの帰属家賃は厳めしい
事実9: なにがしかの物は美々しいなら「物凄くなくてその上それは厳めしくらない」ということは偽である
事実10: もし仮に「この食料不足は座主坊であるということはない」ということは誤りでないならこの金利上昇は座主坊である
事実11: 仮にこの食料不足は厳めしかないならば「それは遊女でないかそれは省資源でない」ということは嘘である
事実12: 「この食料不足は厳めしくらない」ということは事実だ

仮説: 「この金利上昇は座主坊でない」ということは偽でない
1. 仮定1: 以下のように仮定する。この食料不足は物凄い
2. 事実7と仮定1から、推論1: "この食料不足は美々しいということはないがしかし物凄い"が導かれる
3. 推論1と事実6から、推論2: "この食料不足は折り入る"が導かれる
4. 推論2と事実1から、推論3: "この食料不足は遊女であるということはないかまたはそれは省資源でない"が導かれる
5. 事実12と事実11から、推論4: "「この食料不足は遊女でないか省資源でないかもしくはどちらもだ」ということは偽だ"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この食料不足は物凄くない"が導かれる
8. 推論6と事実3から、推論7: "この食料不足は軟らかい"が導かれる
9. 推論7と事実5から、推論8: "「その納入業者は御施主様でないけれど軟らかい」ということは嘘だ"が導かれる
10. 推論8と事実4から、仮説が導かれる

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