あの入退院は取り成さないけどそれは近い
fact1: あの入退院は押し易い fact2: もしも「あの勤務体制は成果向上努力である」ということは確かならば易さである fact3: 「あの勤務体制は易さだ」ということは成り立つならあの入退院は易さである fact4: あの入退院が押し易いならば受診行動である fact5: 「仮にある物が危険区域でないし加えてそれが妥結でないならこの効力発生時期は尊し」ということは誤りでない fact6: 「危険区域でないしかつ妥結でない」ものはある fact7: 仮にこの効力発生時期は尊しとすると「あの勤務体制は第十四級であるか大規模化しないかどちらもである」ということは真実でない fact8: もし仮に何らかの物は延長しないとすると「取り成すということはないけれど近い」ということは事実と異なる fact9: あの配下達は延長する fact10: 受診行動は近い fact11: あの勤務体制は延長する fact12: もしも何らかの物が受診行動でないとすると易さであるかあるいは押し易いかまたは両方である fact13: もし仮にあの勤務体制が延長するししかも易さであるならあの入退院は取り成すということはない fact14: もし仮に「何らかのものは第十四級であるかもしくはそれは大規模化しない」ということは偽だとすればそれは顧客名簿でない fact15: あの勤務体制は易さだ fact16: あの勤務体制はフェラチオする fact17: 仮になんらかのものは顧客名簿でないならそれは受診行動でない
fact11 & fact15 -> int1: あの勤務体制は延長するしかつ易さだ; int1 & fact13 -> int2: あの入退院は取り成さない; fact4 & fact1 -> int3: あの入退院は受診行動である; fact10 -> int4: もしもあの入退院は受診行動だとしたら「近い」ということは成り立つ; int3 & int4 -> int5: あの入退院は近い; int2 & int5 -> hypothesis;
「あの入退院は取り成すということはないけど近い」ということは成り立たない
fact21 -> int6: もしも「あの入退院は延長しない」ということは本当だとしたら「それは取り成さないけど近い」ということは間違っている; fact22 -> int7: もし仮に「あの勤務体制は受診行動であるということはない」ということは本当であるとすれば易さであるかまたはそれは押し易いかもしくは両方ともである; fact24 -> int8: もしあの勤務体制は顧客名簿でないとすると受診行動でない; fact20 -> int9: 「あの勤務体制は第十四級であるかそれは大規模化しないかまたは両方である」ということは嘘であるとすれば「それは顧客名簿でない」ということは正しい; fact25 & fact18 -> int10: この効力発生時期は尊し; fact23 & int10 -> int11: 「あの勤務体制は第十四級であるかまたは大規模化しないかもしくは両方である」ということは成り立たない; int9 & int11 -> int12: あの勤務体制は顧客名簿でない; int8 & int12 -> int13: あの勤務体制は受診行動でない; int7 & int13 -> int14: あの勤務体制は易さであるか押し易い;
$facts$ = fact1: あの入退院は押し易い fact2: もしも「あの勤務体制は成果向上努力である」ということは確かならば易さである fact3: 「あの勤務体制は易さだ」ということは成り立つならあの入退院は易さである fact4: あの入退院が押し易いならば受診行動である fact5: 「仮にある物が危険区域でないし加えてそれが妥結でないならこの効力発生時期は尊し」ということは誤りでない fact6: 「危険区域でないしかつ妥結でない」ものはある fact7: 仮にこの効力発生時期は尊しとすると「あの勤務体制は第十四級であるか大規模化しないかどちらもである」ということは真実でない fact8: もし仮に何らかの物は延長しないとすると「取り成すということはないけれど近い」ということは事実と異なる fact9: あの配下達は延長する fact10: 受診行動は近い fact11: あの勤務体制は延長する fact12: もしも何らかの物が受診行動でないとすると易さであるかあるいは押し易いかまたは両方である fact13: もし仮にあの勤務体制が延長するししかも易さであるならあの入退院は取り成すということはない fact14: もし仮に「何らかのものは第十四級であるかもしくはそれは大規模化しない」ということは偽だとすればそれは顧客名簿でない fact15: あの勤務体制は易さだ fact16: あの勤務体制はフェラチオする fact17: 仮になんらかのものは顧客名簿でないならそれは受診行動でない ; $hypothesis$ = あの入退院は取り成さないけどそれは近い ; $proof$ = 
fact11 & fact15 -> int1: あの勤務体制は延長するしかつ易さだ; int1 & fact13 -> int2: あの入退院は取り成さない; fact4 & fact1 -> int3: あの入退院は受診行動である; fact10 -> int4: もしもあの入退院は受診行動だとしたら「近い」ということは成り立つ; int3 & int4 -> int5: あの入退院は近い; int2 & int5 -> hypothesis; __PROVED__
事実1: あの入退院は押し易い
事実2: もしも「あの勤務体制は成果向上努力である」ということは確かならば易さである
事実3: 「あの勤務体制は易さだ」ということは成り立つならあの入退院は易さである
事実4: あの入退院が押し易いならば受診行動である
事実5: 「仮にある物が危険区域でないし加えてそれが妥結でないならこの効力発生時期は尊し」ということは誤りでない
事実6: 「危険区域でないしかつ妥結でない」ものはある
事実7: 仮にこの効力発生時期は尊しとすると「あの勤務体制は第十四級であるか大規模化しないかどちらもである」ということは真実でない
事実8: もし仮に何らかの物は延長しないとすると「取り成すということはないけれど近い」ということは事実と異なる
事実9: あの配下達は延長する
事実10: 受診行動は近い
事実11: あの勤務体制は延長する
事実12: もしも何らかの物が受診行動でないとすると易さであるかあるいは押し易いかまたは両方である
事実13: もし仮にあの勤務体制が延長するししかも易さであるならあの入退院は取り成すということはない
事実14: もし仮に「何らかのものは第十四級であるかもしくはそれは大規模化しない」ということは偽だとすればそれは顧客名簿でない
事実15: あの勤務体制は易さだ
事実16: あの勤務体制はフェラチオする
事実17: 仮になんらかのものは顧客名簿でないならそれは受診行動でない

仮説: あの入退院は取り成さないけどそれは近い
1. 事実11と事実15から、推論1: "あの勤務体制は延長するしかつ易さだ"が導かれる
2. 推論1と事実13から、推論2: "あの入退院は取り成さない"が導かれる
3. 事実4と事実1から、推論3: "あの入退院は受診行動である"が導かれる
4. 事実10から、推論4: "もしもあの入退院は受診行動だとしたら「近い」ということは成り立つ"が導かれる
5. 推論3と推論4から、推論5: "あの入退院は近い"が導かれる
6. 推論2と推論5から、仮説が導かれる

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