「もし仮に「すこくないし伝達す」ということは間違いであるとしたら勤続するということはない」ものはある
fact1: 「もし「称す」ということは本当だとすると怪しない」物はある fact2: 「もし入り易くなくてかつか弱いなら国際協調でない」物はある fact3: もしも「この購入当初はすこくない一方で伝達す」ということは成り立たないとすればそれは勤続しない fact4: 「もし「軽減出来ない一方で各治療法である」ということは誤りだとすると重筋作業な」物はある fact5: もしも「何かは伝達すらないがそれは開城する」ということは間違っているとすればそれは安眠出来ない fact6: もし「この購入当初はすこくない物であり加えて伝達す」ということは嘘であるとすれば「勤続する」ということは本当だ fact7: 仮にこのミセスＢが伝達すらないがしかしそれが荷重すればインデントしない fact8: 「「すこくなくて伝達す」ということは成り立たないとすると勤続する」物はある
fact3 -> hypothesis;
もし仮に「そのＸワンは伝達すらないけれどそれは開城する」ということは偽なら安眠出来ない
fact9 -> hypothesis;
$facts$ = fact1: 「もし「称す」ということは本当だとすると怪しない」物はある fact2: 「もし入り易くなくてかつか弱いなら国際協調でない」物はある fact3: もしも「この購入当初はすこくない一方で伝達す」ということは成り立たないとすればそれは勤続しない fact4: 「もし「軽減出来ない一方で各治療法である」ということは誤りだとすると重筋作業な」物はある fact5: もしも「何かは伝達すらないがそれは開城する」ということは間違っているとすればそれは安眠出来ない fact6: もし「この購入当初はすこくない物であり加えて伝達す」ということは嘘であるとすれば「勤続する」ということは本当だ fact7: 仮にこのミセスＢが伝達すらないがしかしそれが荷重すればインデントしない fact8: 「「すこくなくて伝達す」ということは成り立たないとすると勤続する」物はある ; $hypothesis$ = 「もし仮に「すこくないし伝達す」ということは間違いであるとしたら勤続するということはない」ものはある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 「もし「称す」ということは本当だとすると怪しない」物はある
事実2: 「もし入り易くなくてかつか弱いなら国際協調でない」物はある
事実3: もしも「この購入当初はすこくない一方で伝達す」ということは成り立たないとすればそれは勤続しない
事実4: 「もし「軽減出来ない一方で各治療法である」ということは誤りだとすると重筋作業な」物はある
事実5: もしも「何かは伝達すらないがそれは開城する」ということは間違っているとすればそれは安眠出来ない
事実6: もし「この購入当初はすこくない物であり加えて伝達す」ということは嘘であるとすれば「勤続する」ということは本当だ
事実7: 仮にこのミセスＢが伝達すらないがしかしそれが荷重すればインデントしない
事実8: 「「すこくなくて伝達す」ということは成り立たないとすると勤続する」物はある

仮説: 「もし仮に「すこくないし伝達す」ということは間違いであるとしたら勤続するということはない」ものはある
1. 事実3から、仮説が導かれる

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