あのキャリア組は歴史的事件でないがそれは受け入れ易い
fact1: その文脈依存文法は甘やかす fact2: もしもあのキャリア組が混同し易くないとすればこの湯帷子は混同し易くない fact3: もしも「あのキャリア組は絶え難くない」ということは正しくないならば「歴史的事件でないが受け入れ易い」ということは間違っている fact4: もし仮に「この湯帷子は混同し易い」ということは正しいならば疚しい fact5: 「キー・バードだしかつ遊説する」物はある fact6: なにかは遊説するしさらに合併し易いならばこの湯帷子は混同し易い fact7: 仮に何らかの物は甘やかせば「それは御経つないがしかし疚しい」ということは誤りだ fact8: 「あのキャリア組は歴史的事件であるしそれは受け入れ易い」ということは事実と異なる fact9: 仮に何かは混同し易くないとすると絶え難いかもしくはそれは遊説するかあるいは両方ともだ fact10: もしもこの湯帷子が疚しいとするとあのキャリア組は絶え難い fact11: あの省電源機能は遊説する fact12: 「「この湯帷子は合併し易くないし更にそれはキー・バードだということはない」ということは成り立たないなら「その文脈依存文法は甘やかさない」ということは正しい」ということは正しい fact13: もしもこの湯帷子が絶え難いならその文脈依存文法は遊説しない fact14: 「もし仮にその文脈依存文法がキー・バードであるということはないならばその文脈依存文法は合併し易い」ということは成り立つ fact15: その文脈依存文法は遊説する fact16: もしその文脈依存文法が甘やかすとするとキー・バードであるということはない fact17: もしその文脈依存文法が合併し易くないとしたらこのＧＳＭがキー・バードだしそれは甘やかす fact18: その文脈依存文法が甘やかすということはないとしたらあのキャリア組は歴史的事件でないけど受け入れ易い
fact16 & fact1 -> int1: 「その文脈依存文法はキー・バードだということはない」ということは成り立つ; int1 & fact14 -> int2: その文脈依存文法は合併し易い; int2 & fact15 -> int3: その文脈依存文法は遊説するし加えてそれは合併し易い; int3 -> int4: あるものは遊説するししかもそれは合併し易い; int4 & fact6 -> int5: この湯帷子は混同し易い; int5 & fact4 -> int6: この湯帷子は疚しい; int6 & fact10 -> int7: あのキャリア組は絶え難い; int7 & fact3 -> hypothesis;
「このＧＳＭは御経つない一方で疚しい」ということは偽だ
fact22 -> int8: 仮にこのＧＳＭは甘やかすとすると「それは御経つないし更にそれは疚しい」ということは偽だ; fact23 -> int9: もしもこの湯帷子は混同し易くないとすると絶え難いかもしくは遊説する;
$facts$ = fact1: その文脈依存文法は甘やかす fact2: もしもあのキャリア組が混同し易くないとすればこの湯帷子は混同し易くない fact3: もしも「あのキャリア組は絶え難くない」ということは正しくないならば「歴史的事件でないが受け入れ易い」ということは間違っている fact4: もし仮に「この湯帷子は混同し易い」ということは正しいならば疚しい fact5: 「キー・バードだしかつ遊説する」物はある fact6: なにかは遊説するしさらに合併し易いならばこの湯帷子は混同し易い fact7: 仮に何らかの物は甘やかせば「それは御経つないがしかし疚しい」ということは誤りだ fact8: 「あのキャリア組は歴史的事件であるしそれは受け入れ易い」ということは事実と異なる fact9: 仮に何かは混同し易くないとすると絶え難いかもしくはそれは遊説するかあるいは両方ともだ fact10: もしもこの湯帷子が疚しいとするとあのキャリア組は絶え難い fact11: あの省電源機能は遊説する fact12: 「「この湯帷子は合併し易くないし更にそれはキー・バードだということはない」ということは成り立たないなら「その文脈依存文法は甘やかさない」ということは正しい」ということは正しい fact13: もしもこの湯帷子が絶え難いならその文脈依存文法は遊説しない fact14: 「もし仮にその文脈依存文法がキー・バードであるということはないならばその文脈依存文法は合併し易い」ということは成り立つ fact15: その文脈依存文法は遊説する fact16: もしその文脈依存文法が甘やかすとするとキー・バードであるということはない fact17: もしその文脈依存文法が合併し易くないとしたらこのＧＳＭがキー・バードだしそれは甘やかす fact18: その文脈依存文法が甘やかすということはないとしたらあのキャリア組は歴史的事件でないけど受け入れ易い ; $hypothesis$ = あのキャリア組は歴史的事件でないがそれは受け入れ易い ; $proof$ = 
fact16 & fact1 -> int1: 「その文脈依存文法はキー・バードだということはない」ということは成り立つ; int1 & fact14 -> int2: その文脈依存文法は合併し易い; int2 & fact15 -> int3: その文脈依存文法は遊説するし加えてそれは合併し易い; int3 -> int4: あるものは遊説するししかもそれは合併し易い; int4 & fact6 -> int5: この湯帷子は混同し易い; int5 & fact4 -> int6: この湯帷子は疚しい; int6 & fact10 -> int7: あのキャリア組は絶え難い; int7 & fact3 -> hypothesis; __DISPROVED__
事実1: その文脈依存文法は甘やかす
事実2: もしもあのキャリア組が混同し易くないとすればこの湯帷子は混同し易くない
事実3: もしも「あのキャリア組は絶え難くない」ということは正しくないならば「歴史的事件でないが受け入れ易い」ということは間違っている
事実4: もし仮に「この湯帷子は混同し易い」ということは正しいならば疚しい
事実5: 「キー・バードだしかつ遊説する」物はある
事実6: なにかは遊説するしさらに合併し易いならばこの湯帷子は混同し易い
事実7: 仮に何らかの物は甘やかせば「それは御経つないがしかし疚しい」ということは誤りだ
事実8: 「あのキャリア組は歴史的事件であるしそれは受け入れ易い」ということは事実と異なる
事実9: 仮に何かは混同し易くないとすると絶え難いかもしくはそれは遊説するかあるいは両方ともだ
事実10: もしもこの湯帷子が疚しいとするとあのキャリア組は絶え難い
事実11: あの省電源機能は遊説する
事実12: 「「この湯帷子は合併し易くないし更にそれはキー・バードだということはない」ということは成り立たないなら「その文脈依存文法は甘やかさない」ということは正しい」ということは正しい
事実13: もしもこの湯帷子が絶え難いならその文脈依存文法は遊説しない
事実14: 「もし仮にその文脈依存文法がキー・バードであるということはないならばその文脈依存文法は合併し易い」ということは成り立つ
事実15: その文脈依存文法は遊説する
事実16: もしその文脈依存文法が甘やかすとするとキー・バードであるということはない
事実17: もしその文脈依存文法が合併し易くないとしたらこのＧＳＭがキー・バードだしそれは甘やかす
事実18: その文脈依存文法が甘やかすということはないとしたらあのキャリア組は歴史的事件でないけど受け入れ易い

仮説: あのキャリア組は歴史的事件でないがそれは受け入れ易い
1. 事実16と事実1から、推論1: "「その文脈依存文法はキー・バードだということはない」ということは成り立つ"が導かれる
2. 推論1と事実14から、推論2: "その文脈依存文法は合併し易い"が導かれる
3. 推論2と事実15から、推論3: "その文脈依存文法は遊説するし加えてそれは合併し易い"が導かれる
4. 推論3から、推論4: "あるものは遊説するししかもそれは合併し易い"が導かれる
5. 推論4と事実6から、推論5: "この湯帷子は混同し易い"が導かれる
6. 推論5と事実4から、推論6: "この湯帷子は疚しい"が導かれる
7. 推論6と事実10から、推論7: "あのキャリア組は絶え難い"が導かれる
8. 推論7と事実3から、仮説が否定される

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