このプロフェッションは完了出来ない
fact1: そのＮＵＬＬは賢しくて加えて赤し fact2: 仮にそのＮＵＬＬがＭＡβでない一方で物凄ーいならばこのプロフェッションは完了出来ない fact3: もしそのＮＵＬＬが物凄ーくないが完了出来るとするとこのプロフェッションはＭＡβだということはない fact4: もしその回線切断器がレーシングでないとしたらそのＮＵＬＬは模倣するし加えてそれは上申する fact5: そのＮＵＬＬはＭＡβであるということはない fact6: もしもそのＮＵＬＬが伝わり易いとすればあのプロフェッションは完了出来る fact7: 「「伝わり易い」ということは事実な」ものはある fact8: もし仮に「「伝わり易い」ということは成り立つ」物があるとするとそのＮＵＬＬはＭＡβでない一方でそれは物凄ーい fact9: もしもそのＮＵＬＬがＭＡβだしさらに物凄ーいならこのプロフェッションは完了出来ない fact10: 「伝わり易い」物があればそのＮＵＬＬはＭＡβでない fact11: そのＮＵＬＬは吊り易いということはない一方で温め直す fact12: もしもそのＮＵＬＬが賢しいししかも模倣すれば物凄ーくない fact13: 仮にとある物が完了出来るとすればこのプロフェッションは物凄ーくないがＭＡβだ
fact7 & fact8 -> int1: そのＮＵＬＬはＭＡβでないけれど物凄ーい; int1 & fact2 -> hypothesis;
このプロフェッションは完了出来る
fact15 -> int2: そのＮＵＬＬは賢しい;
$facts$ = fact1: そのＮＵＬＬは賢しくて加えて赤し fact2: 仮にそのＮＵＬＬがＭＡβでない一方で物凄ーいならばこのプロフェッションは完了出来ない fact3: もしそのＮＵＬＬが物凄ーくないが完了出来るとするとこのプロフェッションはＭＡβだということはない fact4: もしその回線切断器がレーシングでないとしたらそのＮＵＬＬは模倣するし加えてそれは上申する fact5: そのＮＵＬＬはＭＡβであるということはない fact6: もしもそのＮＵＬＬが伝わり易いとすればあのプロフェッションは完了出来る fact7: 「「伝わり易い」ということは事実な」ものはある fact8: もし仮に「「伝わり易い」ということは成り立つ」物があるとするとそのＮＵＬＬはＭＡβでない一方でそれは物凄ーい fact9: もしもそのＮＵＬＬがＭＡβだしさらに物凄ーいならこのプロフェッションは完了出来ない fact10: 「伝わり易い」物があればそのＮＵＬＬはＭＡβでない fact11: そのＮＵＬＬは吊り易いということはない一方で温め直す fact12: もしもそのＮＵＬＬが賢しいししかも模倣すれば物凄ーくない fact13: 仮にとある物が完了出来るとすればこのプロフェッションは物凄ーくないがＭＡβだ ; $hypothesis$ = このプロフェッションは完了出来ない ; $proof$ = 
fact7 & fact8 -> int1: そのＮＵＬＬはＭＡβでないけれど物凄ーい; int1 & fact2 -> hypothesis; __PROVED__
事実1: そのＮＵＬＬは賢しくて加えて赤し
事実2: 仮にそのＮＵＬＬがＭＡβでない一方で物凄ーいならばこのプロフェッションは完了出来ない
事実3: もしそのＮＵＬＬが物凄ーくないが完了出来るとするとこのプロフェッションはＭＡβだということはない
事実4: もしその回線切断器がレーシングでないとしたらそのＮＵＬＬは模倣するし加えてそれは上申する
事実5: そのＮＵＬＬはＭＡβであるということはない
事実6: もしもそのＮＵＬＬが伝わり易いとすればあのプロフェッションは完了出来る
事実7: 「「伝わり易い」ということは事実な」ものはある
事実8: もし仮に「「伝わり易い」ということは成り立つ」物があるとするとそのＮＵＬＬはＭＡβでない一方でそれは物凄ーい
事実9: もしもそのＮＵＬＬがＭＡβだしさらに物凄ーいならこのプロフェッションは完了出来ない
事実10: 「伝わり易い」物があればそのＮＵＬＬはＭＡβでない
事実11: そのＮＵＬＬは吊り易いということはない一方で温め直す
事実12: もしもそのＮＵＬＬが賢しいししかも模倣すれば物凄ーくない
事実13: 仮にとある物が完了出来るとすればこのプロフェッションは物凄ーくないがＭＡβだ

仮説: このプロフェッションは完了出来ない
1. 事実7と事実8から、推論1: "そのＮＵＬＬはＭＡβでないけれど物凄ーい"が導かれる
2. 推論1と事実2から、仮説が導かれる

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