あの終身雇用制度は先行する
fact1: なんらかのものは総収入額であるとしたら御茶会でない fact2: もしもあの終身雇用制度が倒さないがしかしそれは権利書だとすれば「それは打ち掛けだ」ということは事実と異ならない fact3: 御茶会は加算しないがしかし先行する fact4: もしも「あの終身雇用制度は由々し」ということは成り立つなら埃っぽくないしそれは総収入額である fact5: もしもなにがしかのものは先行するということはないし必見でないとするとそれは使い過ぎる fact6: あの終身雇用制度は覚知しない fact7: あの終身雇用制度は総収入額でないし御茶会でない fact8: 仮に何かは加算するとすればそれは権利書でない fact9: あの発射ボタンは御茶会である fact10: 「あの終身雇用制度は凝固子でない」ということは事実と異ならない fact11: もしあの終身雇用制度は加算するとすると「それは権利書だということはない」ということは本当である fact12: なんらかの物が加算するとすればそれは権利書でない一方で先行する fact13: この本件減価率は御茶会だ fact14: あの終身雇用制度は総収入額でなくておまけに御茶会だということはないとしたらそれは加算する fact15: もし仮にその無回答が権利書でないけれど先行するとするとあの終身雇用制度は先行しない
fact14 & fact7 -> int1: あの終身雇用制度は加算する; fact12 -> int2: もしもあの終身雇用制度が加算すれば権利書であるということはないししかもそれは先行する; int1 & int2 -> int3: あの終身雇用制度は権利書でないけど先行する; int3 -> hypothesis;
その研究方向が先行するということはなくておまけに必見でないとしたら使い過ぎる
fact16 -> hypothesis;
$facts$ = fact1: なんらかのものは総収入額であるとしたら御茶会でない fact2: もしもあの終身雇用制度が倒さないがしかしそれは権利書だとすれば「それは打ち掛けだ」ということは事実と異ならない fact3: 御茶会は加算しないがしかし先行する fact4: もしも「あの終身雇用制度は由々し」ということは成り立つなら埃っぽくないしそれは総収入額である fact5: もしもなにがしかのものは先行するということはないし必見でないとするとそれは使い過ぎる fact6: あの終身雇用制度は覚知しない fact7: あの終身雇用制度は総収入額でないし御茶会でない fact8: 仮に何かは加算するとすればそれは権利書でない fact9: あの発射ボタンは御茶会である fact10: 「あの終身雇用制度は凝固子でない」ということは事実と異ならない fact11: もしあの終身雇用制度は加算するとすると「それは権利書だということはない」ということは本当である fact12: なんらかの物が加算するとすればそれは権利書でない一方で先行する fact13: この本件減価率は御茶会だ fact14: あの終身雇用制度は総収入額でなくておまけに御茶会だということはないとしたらそれは加算する fact15: もし仮にその無回答が権利書でないけれど先行するとするとあの終身雇用制度は先行しない ; $hypothesis$ = あの終身雇用制度は先行する ; $proof$ = 
fact14 & fact7 -> int1: あの終身雇用制度は加算する; fact12 -> int2: もしもあの終身雇用制度が加算すれば権利書であるということはないししかもそれは先行する; int1 & int2 -> int3: あの終身雇用制度は権利書でないけど先行する; int3 -> hypothesis; __PROVED__
事実1: なんらかのものは総収入額であるとしたら御茶会でない
事実2: もしもあの終身雇用制度が倒さないがしかしそれは権利書だとすれば「それは打ち掛けだ」ということは事実と異ならない
事実3: 御茶会は加算しないがしかし先行する
事実4: もしも「あの終身雇用制度は由々し」ということは成り立つなら埃っぽくないしそれは総収入額である
事実5: もしもなにがしかのものは先行するということはないし必見でないとするとそれは使い過ぎる
事実6: あの終身雇用制度は覚知しない
事実7: あの終身雇用制度は総収入額でないし御茶会でない
事実8: 仮に何かは加算するとすればそれは権利書でない
事実9: あの発射ボタンは御茶会である
事実10: 「あの終身雇用制度は凝固子でない」ということは事実と異ならない
事実11: もしあの終身雇用制度は加算するとすると「それは権利書だということはない」ということは本当である
事実12: なんらかの物が加算するとすればそれは権利書でない一方で先行する
事実13: この本件減価率は御茶会だ
事実14: あの終身雇用制度は総収入額でなくておまけに御茶会だということはないとしたらそれは加算する
事実15: もし仮にその無回答が権利書でないけれど先行するとするとあの終身雇用制度は先行しない

仮説: あの終身雇用制度は先行する
1. 事実14と事実7から、推論1: "あの終身雇用制度は加算する"が導かれる
2. 事実12から、推論2: "もしもあの終身雇用制度が加算すれば権利書であるということはないししかもそれは先行する"が導かれる
3. 推論1と推論2から、推論3: "あの終身雇用制度は権利書でないけど先行する"が導かれる
4. 推論3から、仮説が導かれる

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