「もしも貸し切るなら「面談しなくてしかも機能要件だ」ということは誤りである」ものはある
fact1: 「纏まり易いならば「給付等であるししかもフラーレンである」ということは偽である」物はある fact2: この跛行は貸し切るとすれば「面談しないがしかし機能要件である」ということは間違っている fact3: 仮にこの跛行が貸し切れば面談しないがしかし機能要件だ fact4: 「もし仮に薄れ掛けるとすると「給付等であるということはないが自己評価する」ということは事実でない」ものはある fact5: 「もしも平たいとしたら引き易くないしさらに取り扱い易い」ものはある
fact2 -> hypothesis;
$facts$ = fact1: 「纏まり易いならば「給付等であるししかもフラーレンである」ということは偽である」物はある fact2: この跛行は貸し切るとすれば「面談しないがしかし機能要件である」ということは間違っている fact3: 仮にこの跛行が貸し切れば面談しないがしかし機能要件だ fact4: 「もし仮に薄れ掛けるとすると「給付等であるということはないが自己評価する」ということは事実でない」ものはある fact5: 「もしも平たいとしたら引き易くないしさらに取り扱い易い」ものはある ; $hypothesis$ = 「もしも貸し切るなら「面談しなくてしかも機能要件だ」ということは誤りである」ものはある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 「纏まり易いならば「給付等であるししかもフラーレンである」ということは偽である」物はある
事実2: この跛行は貸し切るとすれば「面談しないがしかし機能要件である」ということは間違っている
事実3: 仮にこの跛行が貸し切れば面談しないがしかし機能要件だ
事実4: 「もし仮に薄れ掛けるとすると「給付等であるということはないが自己評価する」ということは事実でない」ものはある
事実5: 「もしも平たいとしたら引き易くないしさらに取り扱い易い」ものはある

仮説: 「もしも貸し切るなら「面談しなくてしかも機能要件だ」ということは誤りである」ものはある
1. 事実2から、仮説が導かれる

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