「「「御早くなくてまたオルホン河畔でない」ということは成り立つ」ということは成り立たないなら逸材でない」ものはある
fact1: 「もし仮にブラックタイプでなくて痛ーくないとしたら禅定札でない」ものはある fact2: 「「御早くないしさらにオルホン河畔だということはない」ということは間違いであるなら逸材な」ものはある fact3: 仮に「あの社会的学習理論は賛成し難くないしそれは推敲しない」ということは誤っているとするとそれは地方自治法改正でない fact4: 仮に「何かは御早くなくてオルホン河畔でない」ということは偽であるとしたら「それは逸材でない」ということは間違いであるということはない fact5: もしも何かは問い合わせるならそれは口出ししない fact6: もし「とある物が紳士らしくないしさらに許容し得ない」ということは事実と異なるとしたらそれは逸材でない fact7: もし仮に「何らかのものは御早いがしかしオルホン河畔でない」ということは成り立たないならば逸材でない fact8: もし「なんらかの物は廃刊しないしその上ファーストネームでない」ということは成り立たないならば十五時半でない fact9: 仮に「なにかは流産する」ということは間違いでないなら「低開発国だということはない」ということは成り立つ
fact4 -> int1: 仮に「あの社会的学習理論は御早くないしさらにオルホン河畔でない」ということは誤っているならそれは逸材でない; int1 -> hypothesis;
もしも「あの社会的学習理論は紳士らしくないしそれは許容し得ない」ということは事実でないとするとそれは逸材でない
fact10 -> hypothesis;
$facts$ = fact1: 「もし仮にブラックタイプでなくて痛ーくないとしたら禅定札でない」ものはある fact2: 「「御早くないしさらにオルホン河畔だということはない」ということは間違いであるなら逸材な」ものはある fact3: 仮に「あの社会的学習理論は賛成し難くないしそれは推敲しない」ということは誤っているとするとそれは地方自治法改正でない fact4: 仮に「何かは御早くなくてオルホン河畔でない」ということは偽であるとしたら「それは逸材でない」ということは間違いであるということはない fact5: もしも何かは問い合わせるならそれは口出ししない fact6: もし「とある物が紳士らしくないしさらに許容し得ない」ということは事実と異なるとしたらそれは逸材でない fact7: もし仮に「何らかのものは御早いがしかしオルホン河畔でない」ということは成り立たないならば逸材でない fact8: もし「なんらかの物は廃刊しないしその上ファーストネームでない」ということは成り立たないならば十五時半でない fact9: 仮に「なにかは流産する」ということは間違いでないなら「低開発国だということはない」ということは成り立つ ; $hypothesis$ = 「「「御早くなくてまたオルホン河畔でない」ということは成り立つ」ということは成り立たないなら逸材でない」ものはある ; $proof$ = 
fact4 -> int1: 仮に「あの社会的学習理論は御早くないしさらにオルホン河畔でない」ということは誤っているならそれは逸材でない; int1 -> hypothesis; __PROVED__
事実1: 「もし仮にブラックタイプでなくて痛ーくないとしたら禅定札でない」ものはある
事実2: 「「御早くないしさらにオルホン河畔だということはない」ということは間違いであるなら逸材な」ものはある
事実3: 仮に「あの社会的学習理論は賛成し難くないしそれは推敲しない」ということは誤っているとするとそれは地方自治法改正でない
事実4: 仮に「何かは御早くなくてオルホン河畔でない」ということは偽であるとしたら「それは逸材でない」ということは間違いであるということはない
事実5: もしも何かは問い合わせるならそれは口出ししない
事実6: もし「とある物が紳士らしくないしさらに許容し得ない」ということは事実と異なるとしたらそれは逸材でない
事実7: もし仮に「何らかのものは御早いがしかしオルホン河畔でない」ということは成り立たないならば逸材でない
事実8: もし「なんらかの物は廃刊しないしその上ファーストネームでない」ということは成り立たないならば十五時半でない
事実9: 仮に「なにかは流産する」ということは間違いでないなら「低開発国だということはない」ということは成り立つ

仮説: 「「「御早くなくてまたオルホン河畔でない」ということは成り立つ」ということは成り立たないなら逸材でない」ものはある
1. 事実4から、推論1: "仮に「あの社会的学習理論は御早くないしさらにオルホン河畔でない」ということは誤っているならそれは逸材でない"が導かれる
2. 推論1から、仮説が導かれる

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