この落花生は追い散らすということはない
fact1: 「あの中田家は追い散らす」ということは確かである fact2: この落花生は上がり難い fact3: この落花生は生温かい fact4: この落花生が上がり難いとすればあの制約は追い散らす fact5: あの明生達は追い散らす fact6: もしもこの制約が上がり難いならばあの落花生は保釈金だ fact7: もしこの制約は上がり難いなら「この落花生は追い散らす」ということは確かである fact8: この制約は上がり難い fact9: この制約は追い散らす fact10: もしもこの制約が追い散らすとしたらこの落花生は上がり難い fact11: 「もしもこの慶賀が上がり難いならばこの制約は追い散らす」ということは事実だ fact12: この落花生は差さる fact13: その学校予算は上がり難い fact14: あの前立腺肥大は上がり難い fact15: この制約は完売する fact16: 危うくないものは追い散らすしさらに上がり難い
fact7 & fact8 -> hypothesis;
fact7 & fact8 -> hypothesis;
そのキログラムは追い散らす
fact17 -> int1: 仮にそのキログラムが危ういということはないなら追い散らすしおまけに上がり難い;
$facts$ = fact1: 「あの中田家は追い散らす」ということは確かである fact2: この落花生は上がり難い fact3: この落花生は生温かい fact4: この落花生が上がり難いとすればあの制約は追い散らす fact5: あの明生達は追い散らす fact6: もしもこの制約が上がり難いならばあの落花生は保釈金だ fact7: もしこの制約は上がり難いなら「この落花生は追い散らす」ということは確かである fact8: この制約は上がり難い fact9: この制約は追い散らす fact10: もしもこの制約が追い散らすとしたらこの落花生は上がり難い fact11: 「もしもこの慶賀が上がり難いならばこの制約は追い散らす」ということは事実だ fact12: この落花生は差さる fact13: その学校予算は上がり難い fact14: あの前立腺肥大は上がり難い fact15: この制約は完売する fact16: 危うくないものは追い散らすしさらに上がり難い ; $hypothesis$ = この落花生は追い散らすということはない ; $proof$ = 
fact7 & fact8 -> hypothesis; __DISPROVED__
事実1: 「あの中田家は追い散らす」ということは確かである
事実2: この落花生は上がり難い
事実3: この落花生は生温かい
事実4: この落花生が上がり難いとすればあの制約は追い散らす
事実5: あの明生達は追い散らす
事実6: もしもこの制約が上がり難いならばあの落花生は保釈金だ
事実7: もしこの制約は上がり難いなら「この落花生は追い散らす」ということは確かである
事実8: この制約は上がり難い
事実9: この制約は追い散らす
事実10: もしもこの制約が追い散らすとしたらこの落花生は上がり難い
事実11: 「もしもこの慶賀が上がり難いならばこの制約は追い散らす」ということは事実だ
事実12: この落花生は差さる
事実13: その学校予算は上がり難い
事実14: あの前立腺肥大は上がり難い
事実15: この制約は完売する
事実16: 危うくないものは追い散らすしさらに上がり難い

仮説: この落花生は追い散らすということはない
1. 事実7と事実8から、仮説が否定される

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