「そのＳＵＭは度し難いしその上フォーム上だ」ということは本当だということはない
fact1: この人口予測が興味深くないとするとそのＳＵＭは度し難いしかつフォーム上だ fact2: 仮に何かは興味深くないなら「度し難くてそれにフォーム上だ」ということは誤っている fact3: もし「この受託事業は別言しなくてまた酸くない」ということは嘘であるとしたらそのＳＵＭは興味深い fact4: この人口予測は興味深くない fact5: もし仮にこの人口予測が形式分析でないしさらに度し難くないとすればあの初穂は度し難いということはない fact6: 仮にある物が○○するとしたらそれは確認し難いかあるいは高しということはないか両方ともである fact7: もし仮に「とある物は酸くないが別言する」ということは誤っているとすると形式分析でない fact8: 「何らかの物は輸入大豆だけど○○しない」ということは成り立たないとすると○○する fact9: もし仮にこの人口予測が形式分析でないならばそのＳＵＭは興味深くない fact10: この受託事業は軽し fact11: もし仮にこの受託事業は軽しなら「それは輸入大豆であるし○○しない」ということは間違いだ fact12: 仮にこの受託事業は逆算すれば「この人口予測は酸くない一方でそれは別言する」ということは間違いである
fact1 & fact4 -> hypothesis;
あの初穂は度し難くない
$facts$ = fact1: この人口予測が興味深くないとするとそのＳＵＭは度し難いしかつフォーム上だ fact2: 仮に何かは興味深くないなら「度し難くてそれにフォーム上だ」ということは誤っている fact3: もし「この受託事業は別言しなくてまた酸くない」ということは嘘であるとしたらそのＳＵＭは興味深い fact4: この人口予測は興味深くない fact5: もし仮にこの人口予測が形式分析でないしさらに度し難くないとすればあの初穂は度し難いということはない fact6: 仮にある物が○○するとしたらそれは確認し難いかあるいは高しということはないか両方ともである fact7: もし仮に「とある物は酸くないが別言する」ということは誤っているとすると形式分析でない fact8: 「何らかの物は輸入大豆だけど○○しない」ということは成り立たないとすると○○する fact9: もし仮にこの人口予測が形式分析でないならばそのＳＵＭは興味深くない fact10: この受託事業は軽し fact11: もし仮にこの受託事業は軽しなら「それは輸入大豆であるし○○しない」ということは間違いだ fact12: 仮にこの受託事業は逆算すれば「この人口予測は酸くない一方でそれは別言する」ということは間違いである ; $hypothesis$ = 「そのＳＵＭは度し難いしその上フォーム上だ」ということは本当だということはない ; $proof$ = 
fact1 & fact4 -> hypothesis; __DISPROVED__
事実1: この人口予測が興味深くないとするとそのＳＵＭは度し難いしかつフォーム上だ
事実2: 仮に何かは興味深くないなら「度し難くてそれにフォーム上だ」ということは誤っている
事実3: もし「この受託事業は別言しなくてまた酸くない」ということは嘘であるとしたらそのＳＵＭは興味深い
事実4: この人口予測は興味深くない
事実5: もし仮にこの人口予測が形式分析でないしさらに度し難くないとすればあの初穂は度し難いということはない
事実6: 仮にある物が○○するとしたらそれは確認し難いかあるいは高しということはないか両方ともである
事実7: もし仮に「とある物は酸くないが別言する」ということは誤っているとすると形式分析でない
事実8: 「何らかの物は輸入大豆だけど○○しない」ということは成り立たないとすると○○する
事実9: もし仮にこの人口予測が形式分析でないならばそのＳＵＭは興味深くない
事実10: この受託事業は軽し
事実11: もし仮にこの受託事業は軽しなら「それは輸入大豆であるし○○しない」ということは間違いだ
事実12: 仮にこの受託事業は逆算すれば「この人口予測は酸くない一方でそれは別言する」ということは間違いである

仮説: 「そのＳＵＭは度し難いしその上フォーム上だ」ということは本当だということはない
1. 事実1と事実4から、仮説が否定される

よって、仮説が否定されました。