「もし仮に剥離し難くないとすると通り易いけれど管制員でない」物はある
fact1: 仮になにかは怒り狂わないとすると「それは競技設計でまたそれは色立体でない」ということは本当である fact2: 「もしも剥離し難くないとすれば通り易いし管制員な」ものはある fact3: なにかは浮かさないとしたらＣＧっぽさであるしその上精神保健福祉センターでない fact4: もしこの残り作業が教授しないとすれば逞しいしおまけに軽ーくない fact5: 仮にこの残り作業は剥離し難くないとするとそれは通り易い fact6: 剥離し難くないものは通り易いけど管制員でない fact7: 「もし剥離し難いならば「通り易い物でありかつ管制員でない」ということは正しい」物はある fact8: 「「仮に剥離し難いということはないとすると「通り易い」ということは確かな」ものはある」ということは成り立つ fact9: 「剥離し難くないものは通り易いし管制員だ」ということは成り立つ fact10: もし仮に「何かは作り捲らない」ということは成り立つとしたらそれは竣功するしそれは適性であるということはない fact11: もしもこの残り作業が剥離し難いならばそれは通り易くてそれにそれは管制員でない fact12: この残り作業が剥離し難くないとするとそれは通り易くておまけに管制員である fact13: 剥離し難くないものは通り易い fact14: 剥離し難いものは通り易い一方で管制員でない
fact6 -> int1: もしもこの残り作業が剥離し難くないとしたら通り易くてそれに管制員であるということはない; int1 -> hypothesis;
$facts$ = fact1: 仮になにかは怒り狂わないとすると「それは競技設計でまたそれは色立体でない」ということは本当である fact2: 「もしも剥離し難くないとすれば通り易いし管制員な」ものはある fact3: なにかは浮かさないとしたらＣＧっぽさであるしその上精神保健福祉センターでない fact4: もしこの残り作業が教授しないとすれば逞しいしおまけに軽ーくない fact5: 仮にこの残り作業は剥離し難くないとするとそれは通り易い fact6: 剥離し難くないものは通り易いけど管制員でない fact7: 「もし剥離し難いならば「通り易い物でありかつ管制員でない」ということは正しい」物はある fact8: 「「仮に剥離し難いということはないとすると「通り易い」ということは確かな」ものはある」ということは成り立つ fact9: 「剥離し難くないものは通り易いし管制員だ」ということは成り立つ fact10: もし仮に「何かは作り捲らない」ということは成り立つとしたらそれは竣功するしそれは適性であるということはない fact11: もしもこの残り作業が剥離し難いならばそれは通り易くてそれにそれは管制員でない fact12: この残り作業が剥離し難くないとするとそれは通り易くておまけに管制員である fact13: 剥離し難くないものは通り易い fact14: 剥離し難いものは通り易い一方で管制員でない ; $hypothesis$ = 「もし仮に剥離し難くないとすると通り易いけれど管制員でない」物はある ; $proof$ = 
fact6 -> int1: もしもこの残り作業が剥離し難くないとしたら通り易くてそれに管制員であるということはない; int1 -> hypothesis; __PROVED__
事実1: 仮になにかは怒り狂わないとすると「それは競技設計でまたそれは色立体でない」ということは本当である
事実2: 「もしも剥離し難くないとすれば通り易いし管制員な」ものはある
事実3: なにかは浮かさないとしたらＣＧっぽさであるしその上精神保健福祉センターでない
事実4: もしこの残り作業が教授しないとすれば逞しいしおまけに軽ーくない
事実5: 仮にこの残り作業は剥離し難くないとするとそれは通り易い
事実6: 剥離し難くないものは通り易いけど管制員でない
事実7: 「もし剥離し難いならば「通り易い物でありかつ管制員でない」ということは正しい」物はある
事実8: 「「仮に剥離し難いということはないとすると「通り易い」ということは確かな」ものはある」ということは成り立つ
事実9: 「剥離し難くないものは通り易いし管制員だ」ということは成り立つ
事実10: もし仮に「何かは作り捲らない」ということは成り立つとしたらそれは竣功するしそれは適性であるということはない
事実11: もしもこの残り作業が剥離し難いならばそれは通り易くてそれにそれは管制員でない
事実12: この残り作業が剥離し難くないとするとそれは通り易くておまけに管制員である
事実13: 剥離し難くないものは通り易い
事実14: 剥離し難いものは通り易い一方で管制員でない

仮説: 「もし仮に剥離し難くないとすると通り易いけれど管制員でない」物はある
1. 事実6から、推論1: "もしもこの残り作業が剥離し難くないとしたら通り易くてそれに管制員であるということはない"が導かれる
2. 推論1から、仮説が導かれる

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