「このデータ集計期間内は適合出来る」ということは成り立つ
fact1: 「もしとあるものは係官なら「それは適合出来るがしかし統率出来ない」ということは誤りだ」ということは間違いでない fact2: 「その良民は係官だ一方で止血でない」ということは成り立たない fact3: もし仮にとある物は有機化するということはないとしたら「それは広がり難くないかあるいは寝床であるかもしくは両方だ」ということは成り立たない fact4: もし仮にこの相互補完性は易しいとしたら「その固有言語は透過型だ」ということは本当だ fact5: 仮に「あるものは広がり難くないかもしくは寝床だ」ということは成り立たないならば適合出来る fact6: この相互補完性が易しいとするとその固有言語は透過型でない fact7: 「この相互補完性は文生成器でない」ということは嘘でないとしたらその固有言語は透過型でない fact8: 仮にその固有言語が透過型でないならばこのデータ集計期間内は有機化しない fact9: 仮に「その良民が係官だけどそれは止血でない」ということは偽であるならばこの相互補完性は係官でない fact10: 仮に「なにがしかの物は係官だしそれに透過型である」ということは誤っているなら適合出来ない fact11: もしとあるものが有機化するということはないとすれば寝床でない fact12: もし仮になにかは有機化しないならそれは係官であるしおまけに透過型である fact13: 仮にあるものは係官でないとしたらそれは易しいか文生成器でないかまたは両方ともだ fact14: 「その良民は係官であるしおまけに止血である」ということは成り立たない
fact13 -> int1: 仮にこの相互補完性は係官でないなら易しいか文生成器でないか両方だ; fact9 & fact2 -> int2: この相互補完性は係官でない; int1 & int2 -> int3: この相互補完性は易しいかまたはそれは文生成器でないかまたは両方ともである; int3 & fact6 & fact7 -> int4: その固有言語は透過型でない; int4 & fact8 -> int5: このデータ集計期間内は有機化するということはない; fact3 -> int6: 仮にこのデータ集計期間内は有機化しないなら「それは広がり難くないかもしくは寝床であるかまたは両方だ」ということは成り立たない; int5 & int6 -> int7: 「このデータ集計期間内は広がり難くないかまたは寝床であるかまたは両方ともだ」ということは誤っている; fact5 -> int8: 「このデータ集計期間内は広がり難くないかそれは寝床である」ということは間違っているとしたら適合出来る; int7 & int8 -> hypothesis;
このデータ集計期間内は適合出来ない
fact15 -> int9: 「このデータ集計期間内は係官であるしおまけに透過型だ」ということは成り立たないならば適合出来ない;
$facts$ = fact1: 「もしとあるものは係官なら「それは適合出来るがしかし統率出来ない」ということは誤りだ」ということは間違いでない fact2: 「その良民は係官だ一方で止血でない」ということは成り立たない fact3: もし仮にとある物は有機化するということはないとしたら「それは広がり難くないかあるいは寝床であるかもしくは両方だ」ということは成り立たない fact4: もし仮にこの相互補完性は易しいとしたら「その固有言語は透過型だ」ということは本当だ fact5: 仮に「あるものは広がり難くないかもしくは寝床だ」ということは成り立たないならば適合出来る fact6: この相互補完性が易しいとするとその固有言語は透過型でない fact7: 「この相互補完性は文生成器でない」ということは嘘でないとしたらその固有言語は透過型でない fact8: 仮にその固有言語が透過型でないならばこのデータ集計期間内は有機化しない fact9: 仮に「その良民が係官だけどそれは止血でない」ということは偽であるならばこの相互補完性は係官でない fact10: 仮に「なにがしかの物は係官だしそれに透過型である」ということは誤っているなら適合出来ない fact11: もしとあるものが有機化するということはないとすれば寝床でない fact12: もし仮になにかは有機化しないならそれは係官であるしおまけに透過型である fact13: 仮にあるものは係官でないとしたらそれは易しいか文生成器でないかまたは両方ともだ fact14: 「その良民は係官であるしおまけに止血である」ということは成り立たない ; $hypothesis$ = 「このデータ集計期間内は適合出来る」ということは成り立つ ; $proof$ = 
fact13 -> int1: 仮にこの相互補完性は係官でないなら易しいか文生成器でないか両方だ; fact9 & fact2 -> int2: この相互補完性は係官でない; int1 & int2 -> int3: この相互補完性は易しいかまたはそれは文生成器でないかまたは両方ともである; int3 & fact6 & fact7 -> int4: その固有言語は透過型でない; int4 & fact8 -> int5: このデータ集計期間内は有機化するということはない; fact3 -> int6: 仮にこのデータ集計期間内は有機化しないなら「それは広がり難くないかもしくは寝床であるかまたは両方だ」ということは成り立たない; int5 & int6 -> int7: 「このデータ集計期間内は広がり難くないかまたは寝床であるかまたは両方ともだ」ということは誤っている; fact5 -> int8: 「このデータ集計期間内は広がり難くないかそれは寝床である」ということは間違っているとしたら適合出来る; int7 & int8 -> hypothesis; __PROVED__
事実1: 「もしとあるものは係官なら「それは適合出来るがしかし統率出来ない」ということは誤りだ」ということは間違いでない
事実2: 「その良民は係官だ一方で止血でない」ということは成り立たない
事実3: もし仮にとある物は有機化するということはないとしたら「それは広がり難くないかあるいは寝床であるかもしくは両方だ」ということは成り立たない
事実4: もし仮にこの相互補完性は易しいとしたら「その固有言語は透過型だ」ということは本当だ
事実5: 仮に「あるものは広がり難くないかもしくは寝床だ」ということは成り立たないならば適合出来る
事実6: この相互補完性が易しいとするとその固有言語は透過型でない
事実7: 「この相互補完性は文生成器でない」ということは嘘でないとしたらその固有言語は透過型でない
事実8: 仮にその固有言語が透過型でないならばこのデータ集計期間内は有機化しない
事実9: 仮に「その良民が係官だけどそれは止血でない」ということは偽であるならばこの相互補完性は係官でない
事実10: 仮に「なにがしかの物は係官だしそれに透過型である」ということは誤っているなら適合出来ない
事実11: もしとあるものが有機化するということはないとすれば寝床でない
事実12: もし仮になにかは有機化しないならそれは係官であるしおまけに透過型である
事実13: 仮にあるものは係官でないとしたらそれは易しいか文生成器でないかまたは両方ともだ
事実14: 「その良民は係官であるしおまけに止血である」ということは成り立たない

仮説: 「このデータ集計期間内は適合出来る」ということは成り立つ
1. 事実13から、推論1: "仮にこの相互補完性は係官でないなら易しいか文生成器でないか両方だ"が導かれる
2. 事実9と事実2から、推論2: "この相互補完性は係官でない"が導かれる
3. 推論1と推論2から、推論3: "この相互補完性は易しいかまたはそれは文生成器でないかまたは両方ともである"が導かれる
4. 推論3と事実6と事実7から、推論4: "その固有言語は透過型でない"が導かれる
5. 推論4と事実8から、推論5: "このデータ集計期間内は有機化するということはない"が導かれる
6. 事実3から、推論6: "仮にこのデータ集計期間内は有機化しないなら「それは広がり難くないかもしくは寝床であるかまたは両方だ」ということは成り立たない"が導かれる
7. 推論5と推論6から、推論7: "「このデータ集計期間内は広がり難くないかまたは寝床であるかまたは両方ともだ」ということは誤っている"が導かれる
8. 事実5から、推論8: "「このデータ集計期間内は広がり難くないかそれは寝床である」ということは間違っているとしたら適合出来る"が導かれる
9. 推論7と推論8から、仮説が導かれる

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