その科学アカデミーは徹底でない
fact1: 何らかの物が衰うないとすればスタート出来るということはない fact2: もしもあの悪玉が階層別でないとすればそれは煩わしいということはない fact3: あの悪玉は階層別でない fact4: もしも「あの悪玉は衰うない」ということは事実であるとすればそれは階層別でない fact5: もし仮にあのガラス扉は衰うならば「あの心中物は頑是無いということはないか衰うかどちらもだ」ということは誤っている fact6: 仮にあの悪玉が煩わしくないならばあのガラス扉は衰う fact7: 仮に「あるものは煩わしくないかあるいはそれは衰うかまたはどちらもである」ということは誤りであるとしたら階層別でない fact8: もし仮になにがしかのものは階層別でないとしたら「徹底でない」ということは成り立つ fact9: 「あの心中物は頑是無くないかもしくは衰う」ということは本当でないならばあの科学アカデミーは徹底だ fact10: あの心中物は衰うない
fact2 & fact3 -> int1: あの悪玉は煩わしくない; int1 & fact6 -> int2: 「あのガラス扉は衰う」ということは確かである; int2 & fact5 -> int3: 「あの心中物は頑是無くないか衰うかあるいは両方である」ということは成り立たない; int3 & fact9 -> hypothesis;
もしもそのオプションダイアログが衰うということはないとするとそれはスタート出来ない
fact11 -> hypothesis;
$facts$ = fact1: 何らかの物が衰うないとすればスタート出来るということはない fact2: もしもあの悪玉が階層別でないとすればそれは煩わしいということはない fact3: あの悪玉は階層別でない fact4: もしも「あの悪玉は衰うない」ということは事実であるとすればそれは階層別でない fact5: もし仮にあのガラス扉は衰うならば「あの心中物は頑是無いということはないか衰うかどちらもだ」ということは誤っている fact6: 仮にあの悪玉が煩わしくないならばあのガラス扉は衰う fact7: 仮に「あるものは煩わしくないかあるいはそれは衰うかまたはどちらもである」ということは誤りであるとしたら階層別でない fact8: もし仮になにがしかのものは階層別でないとしたら「徹底でない」ということは成り立つ fact9: 「あの心中物は頑是無くないかもしくは衰う」ということは本当でないならばあの科学アカデミーは徹底だ fact10: あの心中物は衰うない ; $hypothesis$ = その科学アカデミーは徹底でない ; $proof$ = 
fact2 & fact3 -> int1: あの悪玉は煩わしくない; int1 & fact6 -> int2: 「あのガラス扉は衰う」ということは確かである; int2 & fact5 -> int3: 「あの心中物は頑是無くないか衰うかあるいは両方である」ということは成り立たない; int3 & fact9 -> hypothesis; __DISPROVED__
事実1: 何らかの物が衰うないとすればスタート出来るということはない
事実2: もしもあの悪玉が階層別でないとすればそれは煩わしいということはない
事実3: あの悪玉は階層別でない
事実4: もしも「あの悪玉は衰うない」ということは事実であるとすればそれは階層別でない
事実5: もし仮にあのガラス扉は衰うならば「あの心中物は頑是無いということはないか衰うかどちらもだ」ということは誤っている
事実6: 仮にあの悪玉が煩わしくないならばあのガラス扉は衰う
事実7: 仮に「あるものは煩わしくないかあるいはそれは衰うかまたはどちらもである」ということは誤りであるとしたら階層別でない
事実8: もし仮になにがしかのものは階層別でないとしたら「徹底でない」ということは成り立つ
事実9: 「あの心中物は頑是無くないかもしくは衰う」ということは本当でないならばあの科学アカデミーは徹底だ
事実10: あの心中物は衰うない

仮説: その科学アカデミーは徹底でない
1. 事実2と事実3から、推論1: "あの悪玉は煩わしくない"が導かれる
2. 推論1と事実6から、推論2: "「あのガラス扉は衰う」ということは確かである"が導かれる
3. 推論2と事実5から、推論3: "「あの心中物は頑是無くないか衰うかあるいは両方である」ということは成り立たない"が導かれる
4. 推論3と事実9から、仮説が否定される

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