「もし仮に残り難くなくて加えてネイティブらしくないなら御忙しい」物はある
fact1: もし仮にこのむきは残り難いけどネイティブらしいということはないならば「それは御忙しい」ということは成り立つ fact2: もしこのむきは残り難いということはないがしかしネイティブらしいとするとそれは御忙しい fact3: 「もし仮に残り難いけどネイティブらしくないなら御忙しい」物はある fact4: もしそのＢ一Ａがネイティブらしくないしそれは貸し出し債権でないならば引き越す fact5: もし仮にこのむきが残り難くなくてまたネイティブらしいということはないなら「御忙しい」ということは本当だ fact6: 「仮に残り難くないけれどネイティブらしいなら御忙しい」ものはある fact7: このチョコレートケーキは三秒後である一方でギムネマ酸でないとしたら伝う fact8: 仮にこのむきはちょろいということはないけど御忙しいとしたらそれは低年齢化する fact9: もし仮になにがしかのものは腹立たないし切り下ろさないとすればそれは御忙しい
fact5 -> hypothesis;
fact5 -> hypothesis;
このむきは腹立たなくておまけに切り下ろさないとすればそれは御忙しい
fact10 -> hypothesis;
$facts$ = fact1: もし仮にこのむきは残り難いけどネイティブらしいということはないならば「それは御忙しい」ということは成り立つ fact2: もしこのむきは残り難いということはないがしかしネイティブらしいとするとそれは御忙しい fact3: 「もし仮に残り難いけどネイティブらしくないなら御忙しい」物はある fact4: もしそのＢ一Ａがネイティブらしくないしそれは貸し出し債権でないならば引き越す fact5: もし仮にこのむきが残り難くなくてまたネイティブらしいということはないなら「御忙しい」ということは本当だ fact6: 「仮に残り難くないけれどネイティブらしいなら御忙しい」ものはある fact7: このチョコレートケーキは三秒後である一方でギムネマ酸でないとしたら伝う fact8: 仮にこのむきはちょろいということはないけど御忙しいとしたらそれは低年齢化する fact9: もし仮になにがしかのものは腹立たないし切り下ろさないとすればそれは御忙しい ; $hypothesis$ = 「もし仮に残り難くなくて加えてネイティブらしくないなら御忙しい」物はある ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: もし仮にこのむきは残り難いけどネイティブらしいということはないならば「それは御忙しい」ということは成り立つ
事実2: もしこのむきは残り難いということはないがしかしネイティブらしいとするとそれは御忙しい
事実3: 「もし仮に残り難いけどネイティブらしくないなら御忙しい」物はある
事実4: もしそのＢ一Ａがネイティブらしくないしそれは貸し出し債権でないならば引き越す
事実5: もし仮にこのむきが残り難くなくてまたネイティブらしいということはないなら「御忙しい」ということは本当だ
事実6: 「仮に残り難くないけれどネイティブらしいなら御忙しい」ものはある
事実7: このチョコレートケーキは三秒後である一方でギムネマ酸でないとしたら伝う
事実8: 仮にこのむきはちょろいということはないけど御忙しいとしたらそれは低年齢化する
事実9: もし仮になにがしかのものは腹立たないし切り下ろさないとすればそれは御忙しい

仮説: 「もし仮に残り難くなくて加えてネイティブらしくないなら御忙しい」物はある
1. 事実5から、仮説が導かれる

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