あの日中オーバードラフトは開き易い
fact1: この鼠蹊は開き易いということはない fact2: この鼠蹊は予定調和でまたそれは乗り遅れる fact3: もしもとあるものは乗り遅れれば「三百Ｋだし機能要件だ」ということは成り立たない fact4: もし仮にあるものは予定調和であるなら「三百Ｋである一方で機能要件でない」ということは事実と異なる fact5: 仮に「「開き易い一方で予定調和でない」ということは事実でない」物があるとするとあの日中オーバードラフトは乗り遅れない fact6: 仮に「「三百Ｋだけど機能要件だということはない」ということは成り立たない」ものがあるとするとあの日中オーバードラフトは開き易くない fact7: もし何らかのものは乗り遅れれば「開き易いしまたそれは三百Ｋだ」ということは偽である fact8: 「この鼠蹊は開き易いしその上乗り遅れる」ということは誤っている
fact4 -> int1: もしもこの鼠蹊は予定調和であるとすれば「それは三百Ｋで更に機能要件でない」ということは偽だ; fact2 -> int2: この鼠蹊は予定調和だ; int1 & int2 -> int3: 「この鼠蹊は三百Ｋだがしかしそれは機能要件でない」ということは本当でない; int3 -> int4: 「「三百Ｋであるがしかし機能要件でない」ということは偽な」ものはある; int4 & fact6 -> hypothesis;
$facts$ = fact1: この鼠蹊は開き易いということはない fact2: この鼠蹊は予定調和でまたそれは乗り遅れる fact3: もしもとあるものは乗り遅れれば「三百Ｋだし機能要件だ」ということは成り立たない fact4: もし仮にあるものは予定調和であるなら「三百Ｋである一方で機能要件でない」ということは事実と異なる fact5: 仮に「「開き易い一方で予定調和でない」ということは事実でない」物があるとするとあの日中オーバードラフトは乗り遅れない fact6: 仮に「「三百Ｋだけど機能要件だということはない」ということは成り立たない」ものがあるとするとあの日中オーバードラフトは開き易くない fact7: もし何らかのものは乗り遅れれば「開き易いしまたそれは三百Ｋだ」ということは偽である fact8: 「この鼠蹊は開き易いしその上乗り遅れる」ということは誤っている ; $hypothesis$ = あの日中オーバードラフトは開き易い ; $proof$ = 
fact4 -> int1: もしもこの鼠蹊は予定調和であるとすれば「それは三百Ｋで更に機能要件でない」ということは偽だ; fact2 -> int2: この鼠蹊は予定調和だ; int1 & int2 -> int3: 「この鼠蹊は三百Ｋだがしかしそれは機能要件でない」ということは本当でない; int3 -> int4: 「「三百Ｋであるがしかし機能要件でない」ということは偽な」ものはある; int4 & fact6 -> hypothesis; __DISPROVED__
事実1: この鼠蹊は開き易いということはない
事実2: この鼠蹊は予定調和でまたそれは乗り遅れる
事実3: もしもとあるものは乗り遅れれば「三百Ｋだし機能要件だ」ということは成り立たない
事実4: もし仮にあるものは予定調和であるなら「三百Ｋである一方で機能要件でない」ということは事実と異なる
事実5: 仮に「「開き易い一方で予定調和でない」ということは事実でない」物があるとするとあの日中オーバードラフトは乗り遅れない
事実6: 仮に「「三百Ｋだけど機能要件だということはない」ということは成り立たない」ものがあるとするとあの日中オーバードラフトは開き易くない
事実7: もし何らかのものは乗り遅れれば「開き易いしまたそれは三百Ｋだ」ということは偽である
事実8: 「この鼠蹊は開き易いしその上乗り遅れる」ということは誤っている

仮説: あの日中オーバードラフトは開き易い
1. 事実4から、推論1: "もしもこの鼠蹊は予定調和であるとすれば「それは三百Ｋで更に機能要件でない」ということは偽だ"が導かれる
2. 事実2から、推論2: "この鼠蹊は予定調和だ"が導かれる
3. 推論1と推論2から、推論3: "「この鼠蹊は三百Ｋだがしかしそれは機能要件でない」ということは本当でない"が導かれる
4. 推論3から、推論4: "「「三百Ｋであるがしかし機能要件でない」ということは偽な」ものはある"が導かれる
5. 推論4と事実6から、仮説が否定される

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