「その諸身分は騙し討ちでない一方で大人しい」ということは事実と異なる
fact1: もし仮になにがしかの物は心許ないとしたら「それは木造モルタルでないがしかし遠し」ということは本当でない fact2: この届け出義務は木造モルタルである fact3: 仮になにがしかの物はこそばゆくないならば「打ち易くないしおまけに食塩量でない」ということは誤っている fact4: 「あの共産主義政権は進める」ということは嘘でない fact5: もし「焦れったくて更に木造モルタルである」ものがあるとするとこの両君は遠しということはない fact6: もしあの施工業者が打ち易くてまたそれがこそばゆいとすればこの肉声は騙し討ちであるということはない fact7: もしこの両君が心許なくないしさらに食塩量であるということはないとしたらあの施工業者は打ち易い fact8: この届け出義務は焦れったい fact9: あの俗界は進めるとしたら「それは増える」ということは成り立つ fact10: 仮にこの両君が心許ないならこの届け出義務は木造モルタルでない一方で遠し fact11: この肉声が騙し討ちでないとしたらその諸身分は騙し討ちでないけど大人しい fact12: 「木造モルタルな」ものはある fact13: もしこの両君が増えるしおまけに進めるとするとこの届け出義務はこそばゆくない fact14: 仮に「この届け出義務は打ち易くないし加えて食塩量でない」ということは間違っているとしたらそれは心許ない fact15: この両君が打ち易いとしたら食塩量でない一方で心許ない fact16: 仮になにかは焦れったくないなら「それは騙し討ちでないがしかし大人しい」ということは間違っている fact17: 「あの俗界は増える」ということは成り立つならあの施工業者はこそばゆい fact18: この届け出義務はこそばゆい fact19: その諸身分は大人しい fact20: この両君が騙し討ちだとすると心許ない fact21: 「「焦れったい」ということは事実である」物はある fact22: この日本語学校は進めるし養成工だ fact23: 「あの俗界は進める」ということは嘘でない fact24: 仮にこの届け出義務が進めればその筋緊張は進めない fact25: もしもこの両君が遠しないとすれば心許ないということはないしおまけにそれは食塩量でない
fact8 & fact2 -> int1: この届け出義務は焦れったいしさらにそれは木造モルタルである; int1 -> int2: 「焦れったくておまけに木造モルタルな」物はある; int2 & fact5 -> int3: この両君は遠しない; int3 & fact25 -> int4: この両君は心許なくないし加えて食塩量でない; int4 & fact7 -> int5: 「あの施工業者は打ち易い」ということは事実だ; fact9 & fact23 -> int6: あの俗界は増える; fact17 & int6 -> int7: あの施工業者はこそばゆい; int5 & int7 -> int8: あの施工業者は打ち易いしこそばゆい; int8 & fact6 -> int9: この肉声は騙し討ちでない; int9 & fact11 -> hypothesis;
その筋緊張は進めない
$facts$ = fact1: もし仮になにがしかの物は心許ないとしたら「それは木造モルタルでないがしかし遠し」ということは本当でない fact2: この届け出義務は木造モルタルである fact3: 仮になにがしかの物はこそばゆくないならば「打ち易くないしおまけに食塩量でない」ということは誤っている fact4: 「あの共産主義政権は進める」ということは嘘でない fact5: もし「焦れったくて更に木造モルタルである」ものがあるとするとこの両君は遠しということはない fact6: もしあの施工業者が打ち易くてまたそれがこそばゆいとすればこの肉声は騙し討ちであるということはない fact7: もしこの両君が心許なくないしさらに食塩量であるということはないとしたらあの施工業者は打ち易い fact8: この届け出義務は焦れったい fact9: あの俗界は進めるとしたら「それは増える」ということは成り立つ fact10: 仮にこの両君が心許ないならこの届け出義務は木造モルタルでない一方で遠し fact11: この肉声が騙し討ちでないとしたらその諸身分は騙し討ちでないけど大人しい fact12: 「木造モルタルな」ものはある fact13: もしこの両君が増えるしおまけに進めるとするとこの届け出義務はこそばゆくない fact14: 仮に「この届け出義務は打ち易くないし加えて食塩量でない」ということは間違っているとしたらそれは心許ない fact15: この両君が打ち易いとしたら食塩量でない一方で心許ない fact16: 仮になにかは焦れったくないなら「それは騙し討ちでないがしかし大人しい」ということは間違っている fact17: 「あの俗界は増える」ということは成り立つならあの施工業者はこそばゆい fact18: この届け出義務はこそばゆい fact19: その諸身分は大人しい fact20: この両君が騙し討ちだとすると心許ない fact21: 「「焦れったい」ということは事実である」物はある fact22: この日本語学校は進めるし養成工だ fact23: 「あの俗界は進める」ということは嘘でない fact24: 仮にこの届け出義務が進めればその筋緊張は進めない fact25: もしもこの両君が遠しないとすれば心許ないということはないしおまけにそれは食塩量でない ; $hypothesis$ = 「その諸身分は騙し討ちでない一方で大人しい」ということは事実と異なる ; $proof$ = 
fact8 & fact2 -> int1: この届け出義務は焦れったいしさらにそれは木造モルタルである; int1 -> int2: 「焦れったくておまけに木造モルタルな」物はある; int2 & fact5 -> int3: この両君は遠しない; int3 & fact25 -> int4: この両君は心許なくないし加えて食塩量でない; int4 & fact7 -> int5: 「あの施工業者は打ち易い」ということは事実だ; fact9 & fact23 -> int6: あの俗界は増える; fact17 & int6 -> int7: あの施工業者はこそばゆい; int5 & int7 -> int8: あの施工業者は打ち易いしこそばゆい; int8 & fact6 -> int9: この肉声は騙し討ちでない; int9 & fact11 -> hypothesis; __DISPROVED__
事実1: もし仮になにがしかの物は心許ないとしたら「それは木造モルタルでないがしかし遠し」ということは本当でない
事実2: この届け出義務は木造モルタルである
事実3: 仮になにがしかの物はこそばゆくないならば「打ち易くないしおまけに食塩量でない」ということは誤っている
事実4: 「あの共産主義政権は進める」ということは嘘でない
事実5: もし「焦れったくて更に木造モルタルである」ものがあるとするとこの両君は遠しということはない
事実6: もしあの施工業者が打ち易くてまたそれがこそばゆいとすればこの肉声は騙し討ちであるということはない
事実7: もしこの両君が心許なくないしさらに食塩量であるということはないとしたらあの施工業者は打ち易い
事実8: この届け出義務は焦れったい
事実9: あの俗界は進めるとしたら「それは増える」ということは成り立つ
事実10: 仮にこの両君が心許ないならこの届け出義務は木造モルタルでない一方で遠し
事実11: この肉声が騙し討ちでないとしたらその諸身分は騙し討ちでないけど大人しい
事実12: 「木造モルタルな」ものはある
事実13: もしこの両君が増えるしおまけに進めるとするとこの届け出義務はこそばゆくない
事実14: 仮に「この届け出義務は打ち易くないし加えて食塩量でない」ということは間違っているとしたらそれは心許ない
事実15: この両君が打ち易いとしたら食塩量でない一方で心許ない
事実16: 仮になにかは焦れったくないなら「それは騙し討ちでないがしかし大人しい」ということは間違っている
事実17: 「あの俗界は増える」ということは成り立つならあの施工業者はこそばゆい
事実18: この届け出義務はこそばゆい
事実19: その諸身分は大人しい
事実20: この両君が騙し討ちだとすると心許ない
事実21: 「「焦れったい」ということは事実である」物はある
事実22: この日本語学校は進めるし養成工だ
事実23: 「あの俗界は進める」ということは嘘でない
事実24: 仮にこの届け出義務が進めればその筋緊張は進めない
事実25: もしもこの両君が遠しないとすれば心許ないということはないしおまけにそれは食塩量でない

仮説: 「その諸身分は騙し討ちでない一方で大人しい」ということは事実と異なる
1. 事実8と事実2から、推論1: "この届け出義務は焦れったいしさらにそれは木造モルタルである"が導かれる
2. 推論1から、推論2: "「焦れったくておまけに木造モルタルな」物はある"が導かれる
3. 推論2と事実5から、推論3: "この両君は遠しない"が導かれる
4. 推論3と事実25から、推論4: "この両君は心許なくないし加えて食塩量でない"が導かれる
5. 推論4と事実7から、推論5: "「あの施工業者は打ち易い」ということは事実だ"が導かれる
6. 事実9と事実23から、推論6: "あの俗界は増える"が導かれる
7. 事実17と推論6から、推論7: "あの施工業者はこそばゆい"が導かれる
8. 推論5と推論7から、推論8: "あの施工業者は打ち易いしこそばゆい"が導かれる
9. 推論8と事実6から、推論9: "この肉声は騙し討ちでない"が導かれる
10. 推論9と事実11から、仮説が否定される

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