この原則は向け過ぎる
fact1: 仮に「あの海外移住は坐すけど言い募らない」ということは成り立たないなら言い募る fact2: 「御めでたいということはない」ものはある fact3: あの海外移住が言い募るとしたらこの中等音声国語教育は北叟笑む fact4: もしなにかは北叟笑めばそれは歯痒い fact5: もしこの原則が古いし更に向け過ぎるとすればあの中等音声国語教育は歯痒くない fact6: もしもとあるものが向け過ぎるとすると北叟笑む fact7: もしなにかは構造式でないとすればこの原則は古い fact8: 何かは構造式でない fact9: 「あの海外移住は坐す一方でそれは言い募らない」ということは事実と異なる
fact8 & fact7 -> int1: この原則は古い; void -> assump1: 以下のように仮定する。この原則は向け過ぎる; int1 & assump1 -> int2: この原則は古いし向け過ぎる; int2 & fact5 -> int3: この中等音声国語教育は歯痒くない; fact4 -> int4: もし仮にこの中等音声国語教育が北叟笑むとするとそれは歯痒い; fact1 & fact9 -> int5: あの海外移住は言い募る; fact3 & int5 -> int6: この中等音声国語教育は北叟笑む; int4 & int6 -> int7: この中等音声国語教育は歯痒い; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
$facts$ = fact1: 仮に「あの海外移住は坐すけど言い募らない」ということは成り立たないなら言い募る fact2: 「御めでたいということはない」ものはある fact3: あの海外移住が言い募るとしたらこの中等音声国語教育は北叟笑む fact4: もしなにかは北叟笑めばそれは歯痒い fact5: もしこの原則が古いし更に向け過ぎるとすればあの中等音声国語教育は歯痒くない fact6: もしもとあるものが向け過ぎるとすると北叟笑む fact7: もしなにかは構造式でないとすればこの原則は古い fact8: 何かは構造式でない fact9: 「あの海外移住は坐す一方でそれは言い募らない」ということは事実と異なる ; $hypothesis$ = この原則は向け過ぎる ; $proof$ = 
fact8 & fact7 -> int1: この原則は古い; void -> assump1: 以下のように仮定する。この原則は向け過ぎる; int1 & assump1 -> int2: この原則は古いし向け過ぎる; int2 & fact5 -> int3: この中等音声国語教育は歯痒くない; fact4 -> int4: もし仮にこの中等音声国語教育が北叟笑むとするとそれは歯痒い; fact1 & fact9 -> int5: あの海外移住は言い募る; fact3 & int5 -> int6: この中等音声国語教育は北叟笑む; int4 & int6 -> int7: この中等音声国語教育は歯痒い; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __DISPROVED__
事実1: 仮に「あの海外移住は坐すけど言い募らない」ということは成り立たないなら言い募る
事実2: 「御めでたいということはない」ものはある
事実3: あの海外移住が言い募るとしたらこの中等音声国語教育は北叟笑む
事実4: もしなにかは北叟笑めばそれは歯痒い
事実5: もしこの原則が古いし更に向け過ぎるとすればあの中等音声国語教育は歯痒くない
事実6: もしもとあるものが向け過ぎるとすると北叟笑む
事実7: もしなにかは構造式でないとすればこの原則は古い
事実8: 何かは構造式でない
事実9: 「あの海外移住は坐す一方でそれは言い募らない」ということは事実と異なる

仮説: この原則は向け過ぎる
1. 事実8と事実7から、推論1: "この原則は古い"が導かれる
2. 仮定1: 以下のように仮定する。この原則は向け過ぎる
3. 推論1と仮定1から、推論2: "この原則は古いし向け過ぎる"が導かれる
4. 推論2と事実5から、推論3: "この中等音声国語教育は歯痒くない"が導かれる
5. 事実4から、推論4: "もし仮にこの中等音声国語教育が北叟笑むとするとそれは歯痒い"が導かれる
6. 事実1と事実9から、推論5: "あの海外移住は言い募る"が導かれる
7. 事実3と推論5から、推論6: "この中等音声国語教育は北叟笑む"が導かれる
8. 推論4と推論6から、推論7: "この中等音声国語教育は歯痒い"が導かれる
9. 推論3と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が否定される

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