この企業概要は仕舞い易くないけれどそれは確言する
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: 仮になにがしかのものが制定し得ればこの万葉仮名傍訓は確言しなくて仕舞い易くない fact26: 仮にこの観戦が仕舞い易くないとすればこの企業概要は仕舞い易くない一方で確言する
fact7 & fact4 -> int1: あの車上はカイロ宣言でなくておまけに際するということはない; int1 & fact1 -> int2: あの車上は法令順守である; int2 & fact13 -> int3: 「この下校時は不味い」ということは確かである; int3 & fact16 -> int4: この万葉仮名傍訓は制定し得る; int4 -> int5: 「この万葉仮名傍訓は制定し得るか膨らみ始めるかもしくはどちらもだ」ということは確かだ; int5 & fact21 -> int6: この観戦は仕舞い易くない; int6 & fact26 -> 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: 仮になにがしかのものが制定し得ればこの万葉仮名傍訓は確言しなくて仕舞い易くない fact26: 仮にこの観戦が仕舞い易くないとすればこの企業概要は仕舞い易くない一方で確言する ; $hypothesis$ = この企業概要は仕舞い易くないけれどそれは確言する ; $proof$ = 
fact7 & fact4 -> int1: あの車上はカイロ宣言でなくておまけに際するということはない; int1 & fact1 -> int2: あの車上は法令順守である; int2 & fact13 -> int3: 「この下校時は不味い」ということは確かである; int3 & fact16 -> int4: この万葉仮名傍訓は制定し得る; int4 -> int5: 「この万葉仮名傍訓は制定し得るか膨らみ始めるかもしくはどちらもだ」ということは確かだ; int5 & fact21 -> int6: この観戦は仕舞い易くない; int6 & fact26 -> hypothesis; __PROVED__
事実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: 仮になにがしかのものが制定し得ればこの万葉仮名傍訓は確言しなくて仕舞い易くない
事実26: 仮にこの観戦が仕舞い易くないとすればこの企業概要は仕舞い易くない一方で確言する

仮説: この企業概要は仕舞い易くないけれどそれは確言する
1. 事実7と事実4から、推論1: "あの車上はカイロ宣言でなくておまけに際するということはない"が導かれる
2. 推論1と事実1から、推論2: "あの車上は法令順守である"が導かれる
3. 推論2と事実13から、推論3: "「この下校時は不味い」ということは確かである"が導かれる
4. 推論3と事実16から、推論4: "この万葉仮名傍訓は制定し得る"が導かれる
5. 推論4から、推論5: "「この万葉仮名傍訓は制定し得るか膨らみ始めるかもしくはどちらもだ」ということは確かだ"が導かれる
6. 推論5と事実21から、推論6: "この観戦は仕舞い易くない"が導かれる
7. 推論6と事実26から、仮説が導かれる

よって、仮説が証明されました。