「仮にすこくて調べ出すとしたらジンギスカンであるということはない」ものはある
fact1: 疑わししすこいものは口入れ屋でない fact2: この参謀がジンギスカンだししかもしつっこいとすると格好悪くない fact3: 「仮にすこいしその上調べ出せばジンギスカンである」物はある fact4: もしあの集中化はすこくて調べ出すとしたらジンギスカンだ fact5: もしもあの集中化がすこいし加えてそれは調べ出すとしたら「ジンギスカンでない」ということは本当だ
fact5 -> hypothesis;
もし仮にこの自動能が疑わししすこいとするとそれは口入れ屋でない
fact6 -> hypothesis;
$facts$ = fact1: 疑わししすこいものは口入れ屋でない fact2: この参謀がジンギスカンだししかもしつっこいとすると格好悪くない fact3: 「仮にすこいしその上調べ出せばジンギスカンである」物はある fact4: もしあの集中化はすこくて調べ出すとしたらジンギスカンだ fact5: もしもあの集中化がすこいし加えてそれは調べ出すとしたら「ジンギスカンでない」ということは本当だ ; $hypothesis$ = 「仮にすこくて調べ出すとしたらジンギスカンであるということはない」ものはある ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: 疑わししすこいものは口入れ屋でない
事実2: この参謀がジンギスカンだししかもしつっこいとすると格好悪くない
事実3: 「仮にすこいしその上調べ出せばジンギスカンである」物はある
事実4: もしあの集中化はすこくて調べ出すとしたらジンギスカンだ
事実5: もしもあの集中化がすこいし加えてそれは調べ出すとしたら「ジンギスカンでない」ということは本当だ

仮説: 「仮にすこくて調べ出すとしたらジンギスカンであるということはない」ものはある
1. 事実5から、仮説が導かれる

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