「あの公共事業費は甚だしない」ということは確かだ
fact1: 仮に「あの公共事業費は潜在成長力でないしさらにそれは根気強いということはない」ということは成り立たないとしたらそれは甚だしない fact2: 「あの公共事業費は根気強いということはなくて場慣れしない」ということは本当でないなら痒くない fact3: あの家臣一同は甚だしない fact4: 仮にその恵日寺は反徳川感情であるとしたらそれは甚だしない fact5: 「あの大学助手は白人支配でないししかも結合し易いということはない」ということは成り立たないとしたらそれは前掲でない fact6: 「あの公共事業費が甚だしないしさらに黄変しない」ということは間違っている fact7: 仮に「あの公共事業費は甚だしないしそれにそれは聡くない」ということは成り立たないならば「御恥ずかしいということはない」ということは本当だ fact8: もしもその木阿弥が横切るとすれば根気強いということはない fact9: 「「あの公共事業費は潜在成長力でなくて更にそれは根気強いということはない」ということは成り立つ」ということは確かでない fact10: 「あの公共事業費は和解出来るがしかしそれは根気強いということはない」ということは成り立たない
fact1 & fact9 -> hypothesis;
fact1 & fact9 -> hypothesis;
$facts$ = fact1: 仮に「あの公共事業費は潜在成長力でないしさらにそれは根気強いということはない」ということは成り立たないとしたらそれは甚だしない fact2: 「あの公共事業費は根気強いということはなくて場慣れしない」ということは本当でないなら痒くない fact3: あの家臣一同は甚だしない fact4: 仮にその恵日寺は反徳川感情であるとしたらそれは甚だしない fact5: 「あの大学助手は白人支配でないししかも結合し易いということはない」ということは成り立たないとしたらそれは前掲でない fact6: 「あの公共事業費が甚だしないしさらに黄変しない」ということは間違っている fact7: 仮に「あの公共事業費は甚だしないしそれにそれは聡くない」ということは成り立たないならば「御恥ずかしいということはない」ということは本当だ fact8: もしもその木阿弥が横切るとすれば根気強いということはない fact9: 「「あの公共事業費は潜在成長力でなくて更にそれは根気強いということはない」ということは成り立つ」ということは確かでない fact10: 「あの公共事業費は和解出来るがしかしそれは根気強いということはない」ということは成り立たない ; $hypothesis$ = 「あの公共事業費は甚だしない」ということは確かだ ; $proof$ = 
fact1 & fact9 -> hypothesis; __PROVED__
事実1: 仮に「あの公共事業費は潜在成長力でないしさらにそれは根気強いということはない」ということは成り立たないとしたらそれは甚だしない
事実2: 「あの公共事業費は根気強いということはなくて場慣れしない」ということは本当でないなら痒くない
事実3: あの家臣一同は甚だしない
事実4: 仮にその恵日寺は反徳川感情であるとしたらそれは甚だしない
事実5: 「あの大学助手は白人支配でないししかも結合し易いということはない」ということは成り立たないとしたらそれは前掲でない
事実6: 「あの公共事業費が甚だしないしさらに黄変しない」ということは間違っている
事実7: 仮に「あの公共事業費は甚だしないしそれにそれは聡くない」ということは成り立たないならば「御恥ずかしいということはない」ということは本当だ
事実8: もしもその木阿弥が横切るとすれば根気強いということはない
事実9: 「「あの公共事業費は潜在成長力でなくて更にそれは根気強いということはない」ということは成り立つ」ということは確かでない
事実10: 「あの公共事業費は和解出来るがしかしそれは根気強いということはない」ということは成り立たない

仮説: 「あの公共事業費は甚だしない」ということは確かだ
1. 事実1と事実9から、仮説が導かれる

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