「「無精髭でないしおまけに御厚意でない」ということは成り立つということはない」ものはある
fact1: もし仮にその決定詞は徴求でないならば「あのタムタムは済ま無くておまけに待ち伏せる」ということは事実と異なる fact2: もしもなにがしかの物が御掛かるとするとそれは徴求でないかもしくはそれはグロースでない fact3: 「あの商家は無精髭でないし御厚意でない」ということは誤りだ fact4: 「「無精髭であるしその上御厚意でない」ということは誤りである」物はある fact5: もし仮に「あのタムタムは済ま無くてそれにそれは待ち伏せる」ということは成り立たないならばあの奥方は待ち伏せるということはない fact6: 「「吸収され難くないし更に大型化しない」ということは誤っている」ものはある fact7: 「待ち伏せない」物はあるとすると「「その無許諾増殖禁止は待ち伏せるしさらに空く」ということは成り立たない」ということは間違いでない fact8: もしも「その無許諾増殖禁止は待ち伏せるしそれは空く」ということは誤っているとしたらこの人的交流は待ち伏せない fact9: もしもこの人的交流は待ち伏せないとすれば「この在満日本人は全面リフォームするということはないしその上たどたどしくない」ということは成り立たない fact10: 「もしなにがしかのものが徴求でないかグロースでないかもしくは両方ともだとするとその決定詞は徴求でない」ということは正しい fact11: なにかはグレースケール画像でないしおまけに味気無いということはない fact12: 全てのものは御掛かるしそれは血腥い fact13: 「「最近店であるということはなくて御偉い」ということは偽な」ものはある
fact3 -> hypothesis;
fact3 -> hypothesis;
「「全面リフォームしないしおまけにたどたどしくない」ということは成り立たない」ものはある
fact21 -> int1: 「この何程は御掛かる」ということは真実だとすれば徴求であるということはないかグロースだということはないかもしくは両方ともである; fact20 -> int2: この何程は御掛かるしおまけに血腥い; int2 -> int3: この何程は御掛かる; int1 & int3 -> int4: この何程は徴求だということはないかもしくはグロースでないかまたはどちらもである; int4 -> int5: 「徴求でないかもしくはグロースでない」物はある; int5 & fact17 -> int6: その決定詞は徴求でない; fact16 & int6 -> int7: 「あのタムタムは済ま無いしかつ待ち伏せる」ということは事実と異なる; fact19 & int7 -> int8: その奥方は待ち伏せるということはない; int8 -> int9: 「待ち伏せない」ものはある; int9 & fact14 -> int10: 「その無許諾増殖禁止は待ち伏せるし空く」ということは成り立たない; fact18 & int10 -> int11: この人的交流は待ち伏せない; fact15 & int11 -> int12: 「この在満日本人は全面リフォームしなくてそれはたどたどしくない」ということは事実であるということはない; int12 -> hypothesis;
$facts$ = fact1: もし仮にその決定詞は徴求でないならば「あのタムタムは済ま無くておまけに待ち伏せる」ということは事実と異なる fact2: もしもなにがしかの物が御掛かるとするとそれは徴求でないかもしくはそれはグロースでない fact3: 「あの商家は無精髭でないし御厚意でない」ということは誤りだ fact4: 「「無精髭であるしその上御厚意でない」ということは誤りである」物はある fact5: もし仮に「あのタムタムは済ま無くてそれにそれは待ち伏せる」ということは成り立たないならばあの奥方は待ち伏せるということはない fact6: 「「吸収され難くないし更に大型化しない」ということは誤っている」ものはある fact7: 「待ち伏せない」物はあるとすると「「その無許諾増殖禁止は待ち伏せるしさらに空く」ということは成り立たない」ということは間違いでない fact8: もしも「その無許諾増殖禁止は待ち伏せるしそれは空く」ということは誤っているとしたらこの人的交流は待ち伏せない fact9: もしもこの人的交流は待ち伏せないとすれば「この在満日本人は全面リフォームするということはないしその上たどたどしくない」ということは成り立たない fact10: 「もしなにがしかのものが徴求でないかグロースでないかもしくは両方ともだとするとその決定詞は徴求でない」ということは正しい fact11: なにかはグレースケール画像でないしおまけに味気無いということはない fact12: 全てのものは御掛かるしそれは血腥い fact13: 「「最近店であるということはなくて御偉い」ということは偽な」ものはある ; $hypothesis$ = 「「無精髭でないしおまけに御厚意でない」ということは成り立つということはない」ものはある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もし仮にその決定詞は徴求でないならば「あのタムタムは済ま無くておまけに待ち伏せる」ということは事実と異なる
事実2: もしもなにがしかの物が御掛かるとするとそれは徴求でないかもしくはそれはグロースでない
事実3: 「あの商家は無精髭でないし御厚意でない」ということは誤りだ
事実4: 「「無精髭であるしその上御厚意でない」ということは誤りである」物はある
事実5: もし仮に「あのタムタムは済ま無くてそれにそれは待ち伏せる」ということは成り立たないならばあの奥方は待ち伏せるということはない
事実6: 「「吸収され難くないし更に大型化しない」ということは誤っている」ものはある
事実7: 「待ち伏せない」物はあるとすると「「その無許諾増殖禁止は待ち伏せるしさらに空く」ということは成り立たない」ということは間違いでない
事実8: もしも「その無許諾増殖禁止は待ち伏せるしそれは空く」ということは誤っているとしたらこの人的交流は待ち伏せない
事実9: もしもこの人的交流は待ち伏せないとすれば「この在満日本人は全面リフォームするということはないしその上たどたどしくない」ということは成り立たない
事実10: 「もしなにがしかのものが徴求でないかグロースでないかもしくは両方ともだとするとその決定詞は徴求でない」ということは正しい
事実11: なにかはグレースケール画像でないしおまけに味気無いということはない
事実12: 全てのものは御掛かるしそれは血腥い
事実13: 「「最近店であるということはなくて御偉い」ということは偽な」ものはある

仮説: 「「無精髭でないしおまけに御厚意でない」ということは成り立つということはない」ものはある
1. 事実3から、仮説が導かれる

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