「「もし届き易いということはないとすれば復活出来るし感化する」物はある」ということは真実だ
fact1: 「仮に届き易いとしたら復活出来るし感化する」物はある fact2: 仮になにがしかのものは原判決であるということはないとするとそれは復活出来るしさらに出来易い fact3: 「もし仮に何気無くないとしたら好まししそつ無い」ものはある fact4: もし仮にその地球軍が見苦しくないならばそれは感化するしそれに傷付け易い fact5: 「仮に届き易くないとしたら復活出来る」ものはある fact6: そのシェフネッケル一家は感化するということはないとすれば「それは俊英でまた住み難い」ということは本当だ fact7: 仮にその地球軍が忘れ為さらないならそれが感化するしその上無理無い fact8: 仮に「その地球軍は天狗らしいということはない」ということは事実だとしたら笑い始めるししかも理由付ける fact9: 仮にその地球軍が俊英でないとすれば復興局だし復活出来る fact10: 「もしも届き易くないとすれば感化する」物はある fact11: もしその地球軍が届き易いということはないならばそれは復活出来るししかも感化する fact12: もし仮にその地球軍が届き易いとすれば復活出来るし加えて感化する fact13: その地球軍が届き易いということはないとしたら復活出来る
fact11 -> hypothesis;
fact11 -> hypothesis;
仮にその地球軍が原判決であるということはないとしたら復活出来るしさらに出来易い
fact14 -> hypothesis;
$facts$ = fact1: 「仮に届き易いとしたら復活出来るし感化する」物はある fact2: 仮になにがしかのものは原判決であるということはないとするとそれは復活出来るしさらに出来易い fact3: 「もし仮に何気無くないとしたら好まししそつ無い」ものはある fact4: もし仮にその地球軍が見苦しくないならばそれは感化するしそれに傷付け易い fact5: 「仮に届き易くないとしたら復活出来る」ものはある fact6: そのシェフネッケル一家は感化するということはないとすれば「それは俊英でまた住み難い」ということは本当だ fact7: 仮にその地球軍が忘れ為さらないならそれが感化するしその上無理無い fact8: 仮に「その地球軍は天狗らしいということはない」ということは事実だとしたら笑い始めるししかも理由付ける fact9: 仮にその地球軍が俊英でないとすれば復興局だし復活出来る fact10: 「もしも届き易くないとすれば感化する」物はある fact11: もしその地球軍が届き易いということはないならばそれは復活出来るししかも感化する fact12: もし仮にその地球軍が届き易いとすれば復活出来るし加えて感化する fact13: その地球軍が届き易いということはないとしたら復活出来る ; $hypothesis$ = 「「もし届き易いということはないとすれば復活出来るし感化する」物はある」ということは真実だ ; $proof$ = 
fact11 -> hypothesis; __PROVED__
事実1: 「仮に届き易いとしたら復活出来るし感化する」物はある
事実2: 仮になにがしかのものは原判決であるということはないとするとそれは復活出来るしさらに出来易い
事実3: 「もし仮に何気無くないとしたら好まししそつ無い」ものはある
事実4: もし仮にその地球軍が見苦しくないならばそれは感化するしそれに傷付け易い
事実5: 「仮に届き易くないとしたら復活出来る」ものはある
事実6: そのシェフネッケル一家は感化するということはないとすれば「それは俊英でまた住み難い」ということは本当だ
事実7: 仮にその地球軍が忘れ為さらないならそれが感化するしその上無理無い
事実8: 仮に「その地球軍は天狗らしいということはない」ということは事実だとしたら笑い始めるししかも理由付ける
事実9: 仮にその地球軍が俊英でないとすれば復興局だし復活出来る
事実10: 「もしも届き易くないとすれば感化する」物はある
事実11: もしその地球軍が届き易いということはないならばそれは復活出来るししかも感化する
事実12: もし仮にその地球軍が届き易いとすれば復活出来るし加えて感化する
事実13: その地球軍が届き易いということはないとしたら復活出来る

仮説: 「「もし届き易いということはないとすれば復活出来るし感化する」物はある」ということは真実だ
1. 事実11から、仮説が導かれる

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