「もし加わるということはないとすれば適格組織再編成であるがしかし処遇モデルであるということはない」ものはある
fact1: もしこの分権社会が加わるとすればそれは適格組織再編成であるししかもそれは処遇モデルでない fact2: 「仮に書生達でないなら満遍無いがしかし苦くない」物はある fact3: 「もしもオーケーでないならば「複製するしまた逃れ難い」ということは本当な」ものはある fact4: 「齎し易くないなら委譲するけど食い止めない」物はある fact5: 「仮に加わらないならば処遇モデルだということはない」ものはある fact6: もしもこの分権社会が加わらないとすればそれは処遇モデルでない fact7: 「もし仮に加わらないとすると適格組織再編成な」ものはある fact8: もし仮にとある物が熟知しないならそれは常傭量だが堪え難くない fact9: もしこの分権社会が加わらないならそれは適格組織再編成であるししかも処遇モデルだということはない
fact9 -> hypothesis;
「もしも熟知するということはないとしたら常傭量であるがしかし堪え難くない」物はある
fact10 -> int1: もし仮にあの高齢者・障害者が熟知しないならそれは常傭量であるがしかし堪え難くない; int1 -> hypothesis;
$facts$ = fact1: もしこの分権社会が加わるとすればそれは適格組織再編成であるししかもそれは処遇モデルでない fact2: 「仮に書生達でないなら満遍無いがしかし苦くない」物はある fact3: 「もしもオーケーでないならば「複製するしまた逃れ難い」ということは本当な」ものはある fact4: 「齎し易くないなら委譲するけど食い止めない」物はある fact5: 「仮に加わらないならば処遇モデルだということはない」ものはある fact6: もしもこの分権社会が加わらないとすればそれは処遇モデルでない fact7: 「もし仮に加わらないとすると適格組織再編成な」ものはある fact8: もし仮にとある物が熟知しないならそれは常傭量だが堪え難くない fact9: もしこの分権社会が加わらないならそれは適格組織再編成であるししかも処遇モデルだということはない ; $hypothesis$ = 「もし加わるということはないとすれば適格組織再編成であるがしかし処遇モデルであるということはない」ものはある ; $proof$ = 
fact9 -> hypothesis; __PROVED__
事実1: もしこの分権社会が加わるとすればそれは適格組織再編成であるししかもそれは処遇モデルでない
事実2: 「仮に書生達でないなら満遍無いがしかし苦くない」物はある
事実3: 「もしもオーケーでないならば「複製するしまた逃れ難い」ということは本当な」ものはある
事実4: 「齎し易くないなら委譲するけど食い止めない」物はある
事実5: 「仮に加わらないならば処遇モデルだということはない」ものはある
事実6: もしもこの分権社会が加わらないとすればそれは処遇モデルでない
事実7: 「もし仮に加わらないとすると適格組織再編成な」ものはある
事実8: もし仮にとある物が熟知しないならそれは常傭量だが堪え難くない
事実9: もしこの分権社会が加わらないならそれは適格組織再編成であるししかも処遇モデルだということはない

仮説: 「もし加わるということはないとすれば適格組織再編成であるがしかし処遇モデルであるということはない」ものはある
1. 事実9から、仮説が導かれる

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