「「費目でないしそれに望ましくらない」ということは事実と異なるとしたら辛いということはない」ものはある
fact1: 仮にその四つ角が見易いとすれば小支谷でない fact2: 仮に「何かはレドックスフロー電池でないし辛くない」ということは成り立つということはないならば調査研究しない fact3: 仮に「この騒ぎは費目でないし望ましくらない」ということは成り立たないとしたら辛いということはない fact4: 「もし仮に費目でなくて望ましくらないとしたら辛くない」ものはある fact5: 「もしも「出迎えないししかも状態量だということはない」ということは成り立たないとしたら引き延ばす」ものはある fact6: もし「この騒ぎは看護職だということはないし望ましくらない」ということは成り立たないとすればそれは送致である fact7: 「もしも空恐ろしいならば遣り辛くない」物はある fact8: もし「この騒ぎは特筆しなくて入社しない」ということは間違っているとしたら拘泥でない fact9: 「もし「費目で加えて望ましくらない」ということは偽だとすれば辛くない」ものはある
fact3 -> hypothesis;
「その運動前はレドックスフロー電池でなくて更に辛いということはない」ということは事実と異なればそれは調査研究しない
fact10 -> hypothesis;
$facts$ = fact1: 仮にその四つ角が見易いとすれば小支谷でない fact2: 仮に「何かはレドックスフロー電池でないし辛くない」ということは成り立つということはないならば調査研究しない fact3: 仮に「この騒ぎは費目でないし望ましくらない」ということは成り立たないとしたら辛いということはない fact4: 「もし仮に費目でなくて望ましくらないとしたら辛くない」ものはある fact5: 「もしも「出迎えないししかも状態量だということはない」ということは成り立たないとしたら引き延ばす」ものはある fact6: もし「この騒ぎは看護職だということはないし望ましくらない」ということは成り立たないとすればそれは送致である fact7: 「もしも空恐ろしいならば遣り辛くない」物はある fact8: もし「この騒ぎは特筆しなくて入社しない」ということは間違っているとしたら拘泥でない fact9: 「もし「費目で加えて望ましくらない」ということは偽だとすれば辛くない」ものはある ; $hypothesis$ = 「「費目でないしそれに望ましくらない」ということは事実と異なるとしたら辛いということはない」ものはある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 仮にその四つ角が見易いとすれば小支谷でない
事実2: 仮に「何かはレドックスフロー電池でないし辛くない」ということは成り立つということはないならば調査研究しない
事実3: 仮に「この騒ぎは費目でないし望ましくらない」ということは成り立たないとしたら辛いということはない
事実4: 「もし仮に費目でなくて望ましくらないとしたら辛くない」ものはある
事実5: 「もしも「出迎えないししかも状態量だということはない」ということは成り立たないとしたら引き延ばす」ものはある
事実6: もし「この騒ぎは看護職だということはないし望ましくらない」ということは成り立たないとすればそれは送致である
事実7: 「もしも空恐ろしいならば遣り辛くない」物はある
事実8: もし「この騒ぎは特筆しなくて入社しない」ということは間違っているとしたら拘泥でない
事実9: 「もし「費目で加えて望ましくらない」ということは偽だとすれば辛くない」ものはある

仮説: 「「費目でないしそれに望ましくらない」ということは事実と異なるとしたら辛いということはない」ものはある
1. 事実3から、仮説が導かれる

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