「もしもこの任意規定が潜り酒場であるならばこの三時間後はすんごい」ということは成り立たない
fact1: 「なにがしかのものは馴れ親しむけれどすんごくない」ということは嘘であるとすると中期経営計画でない fact2: もしもなにがしかの物は中期経営計画でないなら「それはすんごい」ということは真実だ fact3: 「この三時間後がプロパティインスペクタだとすればこの三時間後は地下深いということはなくて覚え易くない」ということは成り立つ fact4: 「この任意規定はすんごいが潜り酒場でない」ということは成り立たない fact5: この三時間後は読影する fact6: 仮にこの任意規定は中期経営計画ならば「この三時間後は中期経営計画だがそれは奉職しない」ということは成り立たない fact7: もしも「何かは中期経営計画だがしかし奉職しない」ということは間違いであるとしたらすんごい fact8: 仮にこの任意規定は潜り酒場だとすれば「それは中期経営計画である」ということは正しい fact9: もしもこの任意規定が厚かましいということはなくてまた所定期日でないとしたらこの太腿は残り易い fact10: もし仮になんらかのものは残り易いとすれば「馴れ親しむがしかしすんごくない」ということは成り立たない fact11: この三時間後は中期経営計画でないとするとそれはすんごい fact12: もしも何らかのものが中期経営計画だということはないならばそれは潜り酒場でかつ奉職する fact13: この三時間後が請求し得るならこの任意規定は厚かましいということはないしおまけに所定期日でない fact14: なんらかのものは地下深くないしおまけに覚え易くないとしたらそれは請求し得る
void -> assump1: 以下のように仮定する。この任意規定は潜り酒場である; fact8 & assump1 -> int1: 「この任意規定は中期経営計画でない」ということは誤っている; int1 & fact6 -> int2: 「この三時間後は中期経営計画である一方で奉職しない」ということは偽である; fact7 -> int3: もしも「「この三時間後は中期経営計画だ一方で奉職しない」ということは成り立つ」ということは嘘であるとしたらそれはすんごい; int2 & int3 -> int4: この三時間後はすんごい; [assump1] & int4 -> hypothesis;
この太腿は奉職する
fact20 -> int5: もしこの太腿は中期経営計画でないならばそれは潜り酒場であるしまた奉職する; fact17 -> int6: 仮に「この太腿は馴れ親しむけれどそれはすんごいということはない」ということは本当でないとすると中期経営計画でない; fact15 -> int7: この太腿は残り易いならば「馴れ親しむけどすんごいない」ということは間違っている; fact19 -> int8: もしこの三時間後は地下深くなくてそれに覚え易いということはないとすればそれは請求し得る;
$facts$ = fact1: 「なにがしかのものは馴れ親しむけれどすんごくない」ということは嘘であるとすると中期経営計画でない fact2: もしもなにがしかの物は中期経営計画でないなら「それはすんごい」ということは真実だ fact3: 「この三時間後がプロパティインスペクタだとすればこの三時間後は地下深いということはなくて覚え易くない」ということは成り立つ fact4: 「この任意規定はすんごいが潜り酒場でない」ということは成り立たない fact5: この三時間後は読影する fact6: 仮にこの任意規定は中期経営計画ならば「この三時間後は中期経営計画だがそれは奉職しない」ということは成り立たない fact7: もしも「何かは中期経営計画だがしかし奉職しない」ということは間違いであるとしたらすんごい fact8: 仮にこの任意規定は潜り酒場だとすれば「それは中期経営計画である」ということは正しい fact9: もしもこの任意規定が厚かましいということはなくてまた所定期日でないとしたらこの太腿は残り易い fact10: もし仮になんらかのものは残り易いとすれば「馴れ親しむがしかしすんごくない」ということは成り立たない fact11: この三時間後は中期経営計画でないとするとそれはすんごい fact12: もしも何らかのものが中期経営計画だということはないならばそれは潜り酒場でかつ奉職する fact13: この三時間後が請求し得るならこの任意規定は厚かましいということはないしおまけに所定期日でない fact14: なんらかのものは地下深くないしおまけに覚え易くないとしたらそれは請求し得る ; $hypothesis$ = 「もしもこの任意規定が潜り酒場であるならばこの三時間後はすんごい」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。この任意規定は潜り酒場である; fact8 & assump1 -> int1: 「この任意規定は中期経営計画でない」ということは誤っている; int1 & fact6 -> int2: 「この三時間後は中期経営計画である一方で奉職しない」ということは偽である; fact7 -> int3: もしも「「この三時間後は中期経営計画だ一方で奉職しない」ということは成り立つ」ということは嘘であるとしたらそれはすんごい; int2 & int3 -> int4: この三時間後はすんごい; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: 「なにがしかのものは馴れ親しむけれどすんごくない」ということは嘘であるとすると中期経営計画でない
事実2: もしもなにがしかの物は中期経営計画でないなら「それはすんごい」ということは真実だ
事実3: 「この三時間後がプロパティインスペクタだとすればこの三時間後は地下深いということはなくて覚え易くない」ということは成り立つ
事実4: 「この任意規定はすんごいが潜り酒場でない」ということは成り立たない
事実5: この三時間後は読影する
事実6: 仮にこの任意規定は中期経営計画ならば「この三時間後は中期経営計画だがそれは奉職しない」ということは成り立たない
事実7: もしも「何かは中期経営計画だがしかし奉職しない」ということは間違いであるとしたらすんごい
事実8: 仮にこの任意規定は潜り酒場だとすれば「それは中期経営計画である」ということは正しい
事実9: もしもこの任意規定が厚かましいということはなくてまた所定期日でないとしたらこの太腿は残り易い
事実10: もし仮になんらかのものは残り易いとすれば「馴れ親しむがしかしすんごくない」ということは成り立たない
事実11: この三時間後は中期経営計画でないとするとそれはすんごい
事実12: もしも何らかのものが中期経営計画だということはないならばそれは潜り酒場でかつ奉職する
事実13: この三時間後が請求し得るならこの任意規定は厚かましいということはないしおまけに所定期日でない
事実14: なんらかのものは地下深くないしおまけに覚え易くないとしたらそれは請求し得る

仮説: 「もしもこの任意規定が潜り酒場であるならばこの三時間後はすんごい」ということは成り立たない
1. 仮定1: 以下のように仮定する。この任意規定は潜り酒場である
2. 事実8と仮定1から、推論1: "「この任意規定は中期経営計画でない」ということは誤っている"が導かれる
3. 推論1と事実6から、推論2: "「この三時間後は中期経営計画である一方で奉職しない」ということは偽である"が導かれる
4. 事実7から、推論3: "もしも「「この三時間後は中期経営計画だ一方で奉職しない」ということは成り立つ」ということは嘘であるとしたらそれはすんごい"が導かれる
5. 推論2と推論3から、推論4: "この三時間後はすんごい"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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