「「「もし仮に日程計画でないとすれば愚痴る」物はある」ということは成り立つ」ということは成り立たない
fact1: なんらかのものはセカンダリーであるとすれば伝え易い fact2: 仮に何らかの物は塩っ辛くないとすれば「それはさもしい」ということは成り立つ fact3: もし仮にあの返済負担は日程計画であるとしたらそれは愚痴る fact4: 「「判読出来ない」ということは事実であるならば激痛な」物はある fact5: 「仮に疑い深くないとしたら急かす」物はある fact6: 「「日程計画だとすると「愚痴る」ということは正しい」ものはある」ということは偽でない fact7: もしもなにかは日程計画でないならばそれは愚痴る fact8: 日程計画は愚痴る fact9: あの返済負担はすごーくないとすれば「それは酸化し難い」ということは成り立つ
fact7 -> int1: もしあの返済負担は日程計画でないならばそれは愚痴る; int1 -> hypothesis;
「もし仮に塩っ辛いということはないとすればさもしい」ものはある
fact10 -> int2: 仮にこのジャバは塩っ辛くないとすると「さもしい」ということは成り立つ; int2 -> hypothesis;
$facts$ = fact1: なんらかのものはセカンダリーであるとすれば伝え易い fact2: 仮に何らかの物は塩っ辛くないとすれば「それはさもしい」ということは成り立つ fact3: もし仮にあの返済負担は日程計画であるとしたらそれは愚痴る fact4: 「「判読出来ない」ということは事実であるならば激痛な」物はある fact5: 「仮に疑い深くないとしたら急かす」物はある fact6: 「「日程計画だとすると「愚痴る」ということは正しい」ものはある」ということは偽でない fact7: もしもなにかは日程計画でないならばそれは愚痴る fact8: 日程計画は愚痴る fact9: あの返済負担はすごーくないとすれば「それは酸化し難い」ということは成り立つ ; $hypothesis$ = 「「「もし仮に日程計画でないとすれば愚痴る」物はある」ということは成り立つ」ということは成り立たない ; $proof$ = 
fact7 -> int1: もしあの返済負担は日程計画でないならばそれは愚痴る; int1 -> hypothesis; __DISPROVED__
事実1: なんらかのものはセカンダリーであるとすれば伝え易い
事実2: 仮に何らかの物は塩っ辛くないとすれば「それはさもしい」ということは成り立つ
事実3: もし仮にあの返済負担は日程計画であるとしたらそれは愚痴る
事実4: 「「判読出来ない」ということは事実であるならば激痛な」物はある
事実5: 「仮に疑い深くないとしたら急かす」物はある
事実6: 「「日程計画だとすると「愚痴る」ということは正しい」ものはある」ということは偽でない
事実7: もしもなにかは日程計画でないならばそれは愚痴る
事実8: 日程計画は愚痴る
事実9: あの返済負担はすごーくないとすれば「それは酸化し難い」ということは成り立つ

仮説: 「「「もし仮に日程計画でないとすれば愚痴る」物はある」ということは成り立つ」ということは成り立たない
1. 事実7から、推論1: "もしあの返済負担は日程計画でないならばそれは愚痴る"が導かれる
2. 推論1から、仮説が否定される

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