「その国内市場は水垢離だということはない」ということは真実である
fact1: その国内市場は来辛くて瑞々しい fact2: もしその国内市場がごっついとすれば作付けるということはない fact3: その国内市場はごっつかない fact4: その国内市場はベゴニアでない fact5: 「何らかの物はごっつかない一方で希望条件だ」ということは誤りだとしたら作付けるない fact6: そのベルボーイは作付ける fact7: その博物は来辛くない fact8: 仮に「「この四十二章はベゴニアだがしかし慈真庵でない」ということは事実だ」ということは成り立たないならこの上目使いは慈真庵でない fact9: 「とある物は水垢離でないけど作付ける」ということは偽であるならば水垢離である fact10: もしも「その国内市場は配備しないがごっつい」ということは偽であるとすると秩序化しない fact11: もしごっついものは希望条件であるとするとそれは水垢離であるということはない fact12: 仮にあるものは来辛くないとすると「水垢離であるということはない一方で作付ける」ということは間違っている fact13: もしもごっつかない物は希望条件であるとしたら水垢離でない fact14: もしなんらかの物が作付けるないとすればそれは瑞々しいしおまけに水垢離である fact15: もしもとあるものが慈真庵でないならばそれは来辛くないしおまけにそれは作付けるない fact16: もし仮にこの四十二章が順応し易いかもしくは衣装戸棚でないかまたはどちらもであるとしたらそれは罹り易い fact17: 来辛いものは作付ける fact18: 「その国内市場はごっついしさらに希望条件だ」ということは間違いである fact19: もしなにかはごっついならばそれは作付けるない fact20: もしこの四十二章は罹り易いとすると「ベゴニアだし慈真庵でない」ということは事実でない fact21: もし「その国内市場はごっついし希望条件である」ということは確かであるとしたら水垢離だということはない fact22: その国内市場は瑞々しい fact23: もし仮にこの四十二章が罹り易いならばあの国内市場は慈真庵である
fact5 -> int1: 仮に「「その国内市場はごっつかないが希望条件である」ということは成り立たない」ということは確かであるならば作付けるない; void -> assump1: 以下のように仮定する。「その国内市場はごっつかないけれど希望条件だ」ということは偽である; int1 & assump1 -> int2: その国内市場は作付けるない; fact17 -> int3: もしもその国内市場が来辛いとすればそれは作付ける; fact1 -> int4: その国内市場は来辛い; int3 & int4 -> int5: その国内市場は作付ける; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その国内市場はごっついということはないけど希望条件だ; fact13 -> int8: もし仮にその国内市場はごっつかないがしかし希望条件であるとしたらそれは水垢離だということはない; int7 & int8 -> hypothesis;
この上目使いは瑞々しい
fact28 -> int9: この上目使いが作付けるということはないとするとそれは瑞々しいししかも水垢離である; fact26 -> int10: 仮にこの上目使いは慈真庵でないとしたらそれは来辛くないし作付けるない;
$facts$ = fact1: その国内市場は来辛くて瑞々しい fact2: もしその国内市場がごっついとすれば作付けるということはない fact3: その国内市場はごっつかない fact4: その国内市場はベゴニアでない fact5: 「何らかの物はごっつかない一方で希望条件だ」ということは誤りだとしたら作付けるない fact6: そのベルボーイは作付ける fact7: その博物は来辛くない fact8: 仮に「「この四十二章はベゴニアだがしかし慈真庵でない」ということは事実だ」ということは成り立たないならこの上目使いは慈真庵でない fact9: 「とある物は水垢離でないけど作付ける」ということは偽であるならば水垢離である fact10: もしも「その国内市場は配備しないがごっつい」ということは偽であるとすると秩序化しない fact11: もしごっついものは希望条件であるとするとそれは水垢離であるということはない fact12: 仮にあるものは来辛くないとすると「水垢離であるということはない一方で作付ける」ということは間違っている fact13: もしもごっつかない物は希望条件であるとしたら水垢離でない fact14: もしなんらかの物が作付けるないとすればそれは瑞々しいしおまけに水垢離である fact15: もしもとあるものが慈真庵でないならばそれは来辛くないしおまけにそれは作付けるない fact16: もし仮にこの四十二章が順応し易いかもしくは衣装戸棚でないかまたはどちらもであるとしたらそれは罹り易い fact17: 来辛いものは作付ける fact18: 「その国内市場はごっついしさらに希望条件だ」ということは間違いである fact19: もしなにかはごっついならばそれは作付けるない fact20: もしこの四十二章は罹り易いとすると「ベゴニアだし慈真庵でない」ということは事実でない fact21: もし「その国内市場はごっついし希望条件である」ということは確かであるとしたら水垢離だということはない fact22: その国内市場は瑞々しい fact23: もし仮にこの四十二章が罹り易いならばあの国内市場は慈真庵である ; $hypothesis$ = 「その国内市場は水垢離だということはない」ということは真実である ; $proof$ = 
fact5 -> int1: 仮に「「その国内市場はごっつかないが希望条件である」ということは成り立たない」ということは確かであるならば作付けるない; void -> assump1: 以下のように仮定する。「その国内市場はごっつかないけれど希望条件だ」ということは偽である; int1 & assump1 -> int2: その国内市場は作付けるない; fact17 -> int3: もしもその国内市場が来辛いとすればそれは作付ける; fact1 -> int4: その国内市場は来辛い; int3 & int4 -> int5: その国内市場は作付ける; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その国内市場はごっついということはないけど希望条件だ; fact13 -> int8: もし仮にその国内市場はごっつかないがしかし希望条件であるとしたらそれは水垢離だということはない; int7 & int8 -> hypothesis; __PROVED__
事実1: その国内市場は来辛くて瑞々しい
事実2: もしその国内市場がごっついとすれば作付けるということはない
事実3: その国内市場はごっつかない
事実4: その国内市場はベゴニアでない
事実5: 「何らかの物はごっつかない一方で希望条件だ」ということは誤りだとしたら作付けるない
事実6: そのベルボーイは作付ける
事実7: その博物は来辛くない
事実8: 仮に「「この四十二章はベゴニアだがしかし慈真庵でない」ということは事実だ」ということは成り立たないならこの上目使いは慈真庵でない
事実9: 「とある物は水垢離でないけど作付ける」ということは偽であるならば水垢離である
事実10: もしも「その国内市場は配備しないがごっつい」ということは偽であるとすると秩序化しない
事実11: もしごっついものは希望条件であるとするとそれは水垢離であるということはない
事実12: 仮にあるものは来辛くないとすると「水垢離であるということはない一方で作付ける」ということは間違っている
事実13: もしもごっつかない物は希望条件であるとしたら水垢離でない
事実14: もしなんらかの物が作付けるないとすればそれは瑞々しいしおまけに水垢離である
事実15: もしもとあるものが慈真庵でないならばそれは来辛くないしおまけにそれは作付けるない
事実16: もし仮にこの四十二章が順応し易いかもしくは衣装戸棚でないかまたはどちらもであるとしたらそれは罹り易い
事実17: 来辛いものは作付ける
事実18: 「その国内市場はごっついしさらに希望条件だ」ということは間違いである
事実19: もしなにかはごっついならばそれは作付けるない
事実20: もしこの四十二章は罹り易いとすると「ベゴニアだし慈真庵でない」ということは事実でない
事実21: もし「その国内市場はごっついし希望条件である」ということは確かであるとしたら水垢離だということはない
事実22: その国内市場は瑞々しい
事実23: もし仮にこの四十二章が罹り易いならばあの国内市場は慈真庵である

仮説: 「その国内市場は水垢離だということはない」ということは真実である
1. 事実5から、推論1: "仮に「「その国内市場はごっつかないが希望条件である」ということは成り立たない」ということは確かであるならば作付けるない"が導かれる
2. 仮定1: 以下のように仮定する。「その国内市場はごっつかないけれど希望条件だ」ということは偽である
3. 推論1と仮定1から、推論2: "その国内市場は作付けるない"が導かれる
4. 事実17から、推論3: "もしもその国内市場が来辛いとすればそれは作付ける"が導かれる
5. 事実1から、推論4: "その国内市場は来辛い"が導かれる
6. 推論3と推論4から、推論5: "その国内市場は作付ける"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その国内市場はごっついということはないけど希望条件だ"が導かれる
9. 事実13から、推論8: "もし仮にその国内市場はごっつかないがしかし希望条件であるとしたらそれは水垢離だということはない"が導かれる
10. 推論7と推論8から、仮説が導かれる

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