そのシケインは終身雇用である
fact1: もし仮にこの零‐一乱数列は付保するとしたら「あの立て直しは発言する」ということは正しい fact2: 「この零‐一乱数列は差し伸ばさないが付保する」ということは真実でない fact3: 「そのシケインは差し伸ばすということはないがそれは終身雇用である」ということは間違いだ fact4: もし仮にあの立て直しは発言するとすれば「そのシケインは素晴らしないがそれは発言する」ということは誤りだ fact5: 「「そのシケインは物憂いということはない一方で作動する」ということは確かだ」ということは間違っている fact6: そのシケインは好もしい fact7: 「あの立て直しは終身雇用だ」ということは本当だ fact8: 「仮になにかは制度調査委員会であるしそれが潤み切るとすればそれは発言しない」ということは確かである fact9: もし仮にあの立て直しは素晴らしとすれば「そのシケインは発言しないけれど素晴らし」ということは事実と異なる fact10: もしこの零‐一乱数列が素晴らしがしかし終身雇用でないならばそのシケインは終身雇用でない fact11: 「この零‐一乱数列は中等教育学校である」ということは真実だ fact12: もし「この零‐一乱数列は差し伸ばさなくてそれは付保しない」ということは成り立たないとするとあの立て直しは発言する fact13: 仮にそのシケインが発言しないならそれは終身雇用だ fact14: 「とあるものは付保しないがしかしそれは素晴らし」ということは嘘だとしたら「それは発言する」ということは本当だ fact15: 「この零‐一乱数列は差し伸ばさないしその上付保しない」ということは成り立たない fact16: 「そのシケインは付保する」ということは成り立つ fact17: 仮になにかは発言しないとしたら終身雇用だ fact18: 仮に「この零‐一乱数列は発言しない一方で終身雇用である」ということは事実と異なるなら付保する fact19: 仮に「あの立て直しは発言しないがそれは素晴らし」ということは間違いであるならそれは終身雇用である fact20: 「なにがしかの物は素晴らしないけれど発言する」ということは間違いであるとすれば「それは終身雇用だ」ということは成り立つ
fact12 & fact15 -> int1: あの立て直しは発言する; int1 & fact4 -> int2: 「そのシケインは素晴らしないが発言する」ということは事実と異なる; fact20 -> int3: もし仮に「そのシケインは素晴らしないけど発言する」ということは真実であるということはないなら終身雇用である; int2 & int3 -> hypothesis;
そのシケインは終身雇用でない
fact21 -> int4: あの立て直しが制度調査委員会だしそれが潤み切るとするとそれは発言しない;
$facts$ = fact1: もし仮にこの零‐一乱数列は付保するとしたら「あの立て直しは発言する」ということは正しい fact2: 「この零‐一乱数列は差し伸ばさないが付保する」ということは真実でない fact3: 「そのシケインは差し伸ばすということはないがそれは終身雇用である」ということは間違いだ fact4: もし仮にあの立て直しは発言するとすれば「そのシケインは素晴らしないがそれは発言する」ということは誤りだ fact5: 「「そのシケインは物憂いということはない一方で作動する」ということは確かだ」ということは間違っている fact6: そのシケインは好もしい fact7: 「あの立て直しは終身雇用だ」ということは本当だ fact8: 「仮になにかは制度調査委員会であるしそれが潤み切るとすればそれは発言しない」ということは確かである fact9: もし仮にあの立て直しは素晴らしとすれば「そのシケインは発言しないけれど素晴らし」ということは事実と異なる fact10: もしこの零‐一乱数列が素晴らしがしかし終身雇用でないならばそのシケインは終身雇用でない fact11: 「この零‐一乱数列は中等教育学校である」ということは真実だ fact12: もし「この零‐一乱数列は差し伸ばさなくてそれは付保しない」ということは成り立たないとするとあの立て直しは発言する fact13: 仮にそのシケインが発言しないならそれは終身雇用だ fact14: 「とあるものは付保しないがしかしそれは素晴らし」ということは嘘だとしたら「それは発言する」ということは本当だ fact15: 「この零‐一乱数列は差し伸ばさないしその上付保しない」ということは成り立たない fact16: 「そのシケインは付保する」ということは成り立つ fact17: 仮になにかは発言しないとしたら終身雇用だ fact18: 仮に「この零‐一乱数列は発言しない一方で終身雇用である」ということは事実と異なるなら付保する fact19: 仮に「あの立て直しは発言しないがそれは素晴らし」ということは間違いであるならそれは終身雇用である fact20: 「なにがしかの物は素晴らしないけれど発言する」ということは間違いであるとすれば「それは終身雇用だ」ということは成り立つ ; $hypothesis$ = そのシケインは終身雇用である ; $proof$ = 
fact12 & fact15 -> int1: あの立て直しは発言する; int1 & fact4 -> int2: 「そのシケインは素晴らしないが発言する」ということは事実と異なる; fact20 -> int3: もし仮に「そのシケインは素晴らしないけど発言する」ということは真実であるということはないなら終身雇用である; int2 & int3 -> hypothesis; __PROVED__
事実1: もし仮にこの零‐一乱数列は付保するとしたら「あの立て直しは発言する」ということは正しい
事実2: 「この零‐一乱数列は差し伸ばさないが付保する」ということは真実でない
事実3: 「そのシケインは差し伸ばすということはないがそれは終身雇用である」ということは間違いだ
事実4: もし仮にあの立て直しは発言するとすれば「そのシケインは素晴らしないがそれは発言する」ということは誤りだ
事実5: 「「そのシケインは物憂いということはない一方で作動する」ということは確かだ」ということは間違っている
事実6: そのシケインは好もしい
事実7: 「あの立て直しは終身雇用だ」ということは本当だ
事実8: 「仮になにかは制度調査委員会であるしそれが潤み切るとすればそれは発言しない」ということは確かである
事実9: もし仮にあの立て直しは素晴らしとすれば「そのシケインは発言しないけれど素晴らし」ということは事実と異なる
事実10: もしこの零‐一乱数列が素晴らしがしかし終身雇用でないならばそのシケインは終身雇用でない
事実11: 「この零‐一乱数列は中等教育学校である」ということは真実だ
事実12: もし「この零‐一乱数列は差し伸ばさなくてそれは付保しない」ということは成り立たないとするとあの立て直しは発言する
事実13: 仮にそのシケインが発言しないならそれは終身雇用だ
事実14: 「とあるものは付保しないがしかしそれは素晴らし」ということは嘘だとしたら「それは発言する」ということは本当だ
事実15: 「この零‐一乱数列は差し伸ばさないしその上付保しない」ということは成り立たない
事実16: 「そのシケインは付保する」ということは成り立つ
事実17: 仮になにかは発言しないとしたら終身雇用だ
事実18: 仮に「この零‐一乱数列は発言しない一方で終身雇用である」ということは事実と異なるなら付保する
事実19: 仮に「あの立て直しは発言しないがそれは素晴らし」ということは間違いであるならそれは終身雇用である
事実20: 「なにがしかの物は素晴らしないけれど発言する」ということは間違いであるとすれば「それは終身雇用だ」ということは成り立つ

仮説: そのシケインは終身雇用である
1. 事実12と事実15から、推論1: "あの立て直しは発言する"が導かれる
2. 推論1と事実4から、推論2: "「そのシケインは素晴らしないが発言する」ということは事実と異なる"が導かれる
3. 事実20から、推論3: "もし仮に「そのシケインは素晴らしないけど発言する」ということは真実であるということはないなら終身雇用である"が導かれる
4. 推論2と推論3から、仮説が導かれる

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