「この王道は付け難くないが背伸びする」ということは成り立たない
fact1: もしあの感想文が中国化するならこの王道は御越さないけれど行儀良い fact2: 「あの感想文は事業プランだということはないししかもキャリア志向でない」ということは正しくない fact3: この王道が御越さないかもしくは正文だということはないとしたら課税する fact4: もしも「あの感想文は事業プランでないし加えてキャリア志向でない」ということは成り立たないとすると中国化する fact5: 仮になにがしかのものが仕上がるとすればそれは付け難くないが背伸びする fact6: もしもこの王道が課税するとすれば仕上がる
fact4 & fact2 -> int1: あの感想文は中国化する; int1 & fact1 -> int2: この王道は御越さない一方で行儀良い; int2 -> int3: 「この王道は御越すということはない」ということは成り立つ; int3 -> int4: この王道は御越さないかもしくはそれは正文でないかどちらもだ; int4 & fact3 -> int5: この王道は課税する; int5 & fact6 -> int6: この王道は仕上がる; fact5 -> int7: この王道が仕上がるとするとそれは付け難いということはないけど背伸びする; int6 & int7 -> hypothesis;
$facts$ = fact1: もしあの感想文が中国化するならこの王道は御越さないけれど行儀良い fact2: 「あの感想文は事業プランだということはないししかもキャリア志向でない」ということは正しくない fact3: この王道が御越さないかもしくは正文だということはないとしたら課税する fact4: もしも「あの感想文は事業プランでないし加えてキャリア志向でない」ということは成り立たないとすると中国化する fact5: 仮になにがしかのものが仕上がるとすればそれは付け難くないが背伸びする fact6: もしもこの王道が課税するとすれば仕上がる ; $hypothesis$ = 「この王道は付け難くないが背伸びする」ということは成り立たない ; $proof$ = 
fact4 & fact2 -> int1: あの感想文は中国化する; int1 & fact1 -> int2: この王道は御越さない一方で行儀良い; int2 -> int3: 「この王道は御越すということはない」ということは成り立つ; int3 -> int4: この王道は御越さないかもしくはそれは正文でないかどちらもだ; int4 & fact3 -> int5: この王道は課税する; int5 & fact6 -> int6: この王道は仕上がる; fact5 -> int7: この王道が仕上がるとするとそれは付け難いということはないけど背伸びする; int6 & int7 -> hypothesis; __DISPROVED__
事実1: もしあの感想文が中国化するならこの王道は御越さないけれど行儀良い
事実2: 「あの感想文は事業プランだということはないししかもキャリア志向でない」ということは正しくない
事実3: この王道が御越さないかもしくは正文だということはないとしたら課税する
事実4: もしも「あの感想文は事業プランでないし加えてキャリア志向でない」ということは成り立たないとすると中国化する
事実5: 仮になにがしかのものが仕上がるとすればそれは付け難くないが背伸びする
事実6: もしもこの王道が課税するとすれば仕上がる

仮説: 「この王道は付け難くないが背伸びする」ということは成り立たない
1. 事実4と事実2から、推論1: "あの感想文は中国化する"が導かれる
2. 推論1と事実1から、推論2: "この王道は御越さない一方で行儀良い"が導かれる
3. 推論2から、推論3: "「この王道は御越すということはない」ということは成り立つ"が導かれる
4. 推論3から、推論4: "この王道は御越さないかもしくはそれは正文でないかどちらもだ"が導かれる
5. 推論4と事実3から、推論5: "この王道は課税する"が導かれる
6. 推論5と事実6から、推論6: "この王道は仕上がる"が導かれる
7. 事実5から、推論7: "この王道が仕上がるとするとそれは付け難いということはないけど背伸びする"が導かれる
8. 推論6と推論7から、仮説が否定される

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