「もし「基本的条件であるということはないしそれに滑り難くない」ということは偽だとすると誘起するということはない」ものはある
fact1: 仮に「なにかは誘起しないしかつ情報満載でない」ということは間違いならばそれは早めない fact2: もしも「その危険人物は基本的条件でなくてその上それは滑り難くない」ということは間違いであるとしたら誘起する fact3: 「「もし「「好き嫌いしなくて餓鬼っぽくない」ということは本当だ」ということは誤っているなら検察所である」物はある」ということは成り立つ fact4: もし「その危険人物は基本的条件でないしそれは滑り難いということはない」ということは成り立たないならそれは誘起するということはない fact5: もしも「その危険人物は基本的条件だということはなくてそれに入手し易くない」ということは偽ならそれは各年代であるということはない
fact4 -> hypothesis;
fact4 -> hypothesis;
もし仮に「その工業上は誘起しないしかつ情報満載でない」ということは間違っているとすれば「それは早めない」ということは事実である
fact6 -> hypothesis;
$facts$ = fact1: 仮に「なにかは誘起しないしかつ情報満載でない」ということは間違いならばそれは早めない fact2: もしも「その危険人物は基本的条件でなくてその上それは滑り難くない」ということは間違いであるとしたら誘起する fact3: 「「もし「「好き嫌いしなくて餓鬼っぽくない」ということは本当だ」ということは誤っているなら検察所である」物はある」ということは成り立つ fact4: もし「その危険人物は基本的条件でないしそれは滑り難いということはない」ということは成り立たないならそれは誘起するということはない fact5: もしも「その危険人物は基本的条件だということはなくてそれに入手し易くない」ということは偽ならそれは各年代であるということはない ; $hypothesis$ = 「もし「基本的条件であるということはないしそれに滑り難くない」ということは偽だとすると誘起するということはない」ものはある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: 仮に「なにかは誘起しないしかつ情報満載でない」ということは間違いならばそれは早めない
事実2: もしも「その危険人物は基本的条件でなくてその上それは滑り難くない」ということは間違いであるとしたら誘起する
事実3: 「「もし「「好き嫌いしなくて餓鬼っぽくない」ということは本当だ」ということは誤っているなら検察所である」物はある」ということは成り立つ
事実4: もし「その危険人物は基本的条件でないしそれは滑り難いということはない」ということは成り立たないならそれは誘起するということはない
事実5: もしも「その危険人物は基本的条件だということはなくてそれに入手し易くない」ということは偽ならそれは各年代であるということはない

仮説: 「もし「基本的条件であるということはないしそれに滑り難くない」ということは偽だとすると誘起するということはない」ものはある
1. 事実4から、仮説が導かれる

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