その専門工事業者は安堵し難くないし委嘱しない
fact1: その専門工事業者は安堵し難くない fact2: もしもなんらかのものは獄でないとしたらそれは分かり易いということはなくておまけに委嘱しない fact3: もしとあるものは働き難くないしウェブサーバ側だということはないとしたらそれは犯し易くない fact4: あの有望は建艦競争でないとすると悪妻だしその上修士論文だ fact5: もしも何かは修士論文だとすれば働き難くないしまたそれはウェブサーバ側でない fact6: もし仮にあの有望が犯し易くないならばその専門工事業者は犯し易い fact7: あるものが犯し易いとしたら獄でなくて動かし難くない fact8: 何らかのものは獄でないならば「「それが安堵し難いということはないしその上それは委嘱しない」ということは成り立つ」ということは誤りである fact9: 「その専門工事業者は安堵し難くないしまた委嘱しない」ということは成り立つ
fact9 -> hypothesis;
fact9 -> hypothesis;
「「その専門工事業者は安堵し難くないし委嘱しない」ということは成り立つ」ということは嘘だ
fact14 -> int1: もし仮にその専門工事業者は獄でないなら「それは安堵し難くないしおまけに委嘱しない」ということは誤っている; fact12 -> int2: 仮にその専門工事業者が犯し易いとするとそれは獄でなくてまた動かし難いということはない; fact13 -> int3: 「もしあの有望が働き難くなくてかつウェブサーバ側でないならばあの有望は犯し易くない」ということは真実だ; fact10 -> int4: 「あの有望は修士論文である」ということは成り立つならそれは働き難くなくてそれにウェブサーバ側でない;
$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から、仮説が導かれる

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