「あのデザイナーは絶え間無くない」ということは事実だ
fact1: そのポジティブ思考は絶え間無くない fact2: このエレクトロニックは絶え間無くない fact3: あのデザイナーは風呂桶であるということはない fact4: あのデザイナーは絶え間無くない fact5: 「この本質的部分は絶え間無くない」ということは成り立つ fact6: あのデザイナーは感ぜない fact7: 狡っ辛いということはないものは奥深いがしかし聖性でない fact8: あのデザイナーはプロゲステロンでない fact9: そののげは絶え間無くない fact10: あのデザイナーは四十草案だということはない fact11: もし仮になにがしかのものが適格現物出資でないか犯し易いとすればそれは絶え間無くない fact12: あのデザイナーは還帰しない fact13: この断頭台は狡っ辛くない fact14: その六団体は絶え間無くない fact15: あのキャンサーは絶え間無くない fact16: あのデザイナーは四月初めでない fact17: その配糖は絶え間無くない
fact4 -> hypothesis;
fact4 -> hypothesis;
「あのデザイナーは絶え間無い」ということは確かである
fact18 -> int1: この断頭台が狡っ辛いということはないならそれは奥深いけれど聖性だということはない; int1 & fact19 -> int2: この断頭台は奥深いが聖性であるということはない; int2 -> int3: 「奥深くて聖性でない」物はある;
$facts$ = fact1: そのポジティブ思考は絶え間無くない fact2: このエレクトロニックは絶え間無くない fact3: あのデザイナーは風呂桶であるということはない fact4: あのデザイナーは絶え間無くない fact5: 「この本質的部分は絶え間無くない」ということは成り立つ fact6: あのデザイナーは感ぜない fact7: 狡っ辛いということはないものは奥深いがしかし聖性でない fact8: あのデザイナーはプロゲステロンでない fact9: そののげは絶え間無くない fact10: あのデザイナーは四十草案だということはない fact11: もし仮になにがしかのものが適格現物出資でないか犯し易いとすればそれは絶え間無くない fact12: あのデザイナーは還帰しない fact13: この断頭台は狡っ辛くない fact14: その六団体は絶え間無くない fact15: あのキャンサーは絶え間無くない fact16: あのデザイナーは四月初めでない fact17: その配糖は絶え間無くない ; $hypothesis$ = 「あのデザイナーは絶え間無くない」ということは事実だ ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: そのポジティブ思考は絶え間無くない
事実2: このエレクトロニックは絶え間無くない
事実3: あのデザイナーは風呂桶であるということはない
事実4: あのデザイナーは絶え間無くない
事実5: 「この本質的部分は絶え間無くない」ということは成り立つ
事実6: あのデザイナーは感ぜない
事実7: 狡っ辛いということはないものは奥深いがしかし聖性でない
事実8: あのデザイナーはプロゲステロンでない
事実9: そののげは絶え間無くない
事実10: あのデザイナーは四十草案だということはない
事実11: もし仮になにがしかのものが適格現物出資でないか犯し易いとすればそれは絶え間無くない
事実12: あのデザイナーは還帰しない
事実13: この断頭台は狡っ辛くない
事実14: その六団体は絶え間無くない
事実15: あのキャンサーは絶え間無くない
事実16: あのデザイナーは四月初めでない
事実17: その配糖は絶え間無くない

仮説: 「あのデザイナーは絶え間無くない」ということは事実だ
1. 事実4から、仮説が導かれる

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