「もし「キャンセルしない」ということは事実と異ならないならば再発し易いししかも採取出来る」ものはある
fact1: もしもその昇段がキャンセルするとすると再発し易くてかつ採取出来る fact2: 「仮に借家人であるということはないなら映画化するし心弱い」物はある fact3: 「もしキャンセルしないとしたら「採取出来る」ということは偽でない」ものはある fact4: 仮にその昇段がキャンセルしないとすると再発し易いし加えて採取出来る fact5: 「「キャンセルしない」ということは偽でないとすれば再発し易い」物はある fact6: もしもその昇段がキャンセルしないならばそれは再発し易い fact7: 仮に「とあるものは間違えでない」ということは事実ならば荒いしかつそれは入籍だ fact8: 「キャンセルするとしたら再発し易いしその上採取出来る」ものはある
fact4 -> hypothesis;
fact4 -> hypothesis;
「仮に間違えでないとすれば荒いし更に入籍である」ものはある
fact9 -> int1: その意思伝達言語能力が間違えでないとすればそれは荒いし入籍だ; int1 -> hypothesis;
$facts$ = fact1: もしもその昇段がキャンセルするとすると再発し易くてかつ採取出来る fact2: 「仮に借家人であるということはないなら映画化するし心弱い」物はある fact3: 「もしキャンセルしないとしたら「採取出来る」ということは偽でない」ものはある fact4: 仮にその昇段がキャンセルしないとすると再発し易いし加えて採取出来る fact5: 「「キャンセルしない」ということは偽でないとすれば再発し易い」物はある fact6: もしもその昇段がキャンセルしないならばそれは再発し易い fact7: 仮に「とあるものは間違えでない」ということは事実ならば荒いしかつそれは入籍だ fact8: 「キャンセルするとしたら再発し易いしその上採取出来る」ものはある ; $hypothesis$ = 「もし「キャンセルしない」ということは事実と異ならないならば再発し易いししかも採取出来る」ものはある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: もしもその昇段がキャンセルするとすると再発し易くてかつ採取出来る
事実2: 「仮に借家人であるということはないなら映画化するし心弱い」物はある
事実3: 「もしキャンセルしないとしたら「採取出来る」ということは偽でない」ものはある
事実4: 仮にその昇段がキャンセルしないとすると再発し易いし加えて採取出来る
事実5: 「「キャンセルしない」ということは偽でないとすれば再発し易い」物はある
事実6: もしもその昇段がキャンセルしないならばそれは再発し易い
事実7: 仮に「とあるものは間違えでない」ということは事実ならば荒いしかつそれは入籍だ
事実8: 「キャンセルするとしたら再発し易いしその上採取出来る」ものはある

仮説: 「もし「キャンセルしない」ということは事実と異ならないならば再発し易いししかも採取出来る」ものはある
1. 事実4から、仮説が導かれる

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