仮にこの遊行上人はリスクマネジメントビジネスであるということはないとすれば「それは情報構造でないしかつそれは動き易い」ということは間違いである
fact1: その真宗教団はアップデートプログラムであるとすれば「ゴーンでないが御話出来る」ということは事実でない fact2: もし仮にとあるものはリスクマネジメントビジネスでないなら「情報構造であるということはないしその上動き易い」ということは嘘だ fact3: もし仮に何らかのものがリスクマネジメントビジネスでないとしたら情報構造でなくて加えてそれは動き易い fact4: この遊行上人がＢＯＤでないとすればそれは動き易くないし貸し下ぐ fact5: この遊行上人はリスクマネジメントビジネスでないとすると「それは情報構造であるし動き易い」ということは間違いだ fact6: 何らかの物はリスクマネジメントビジネスでないとすると「それは情報構造だし動き易い」ということは成り立たない
fact2 -> hypothesis;
fact2 -> hypothesis;
$facts$ = fact1: その真宗教団はアップデートプログラムであるとすれば「ゴーンでないが御話出来る」ということは事実でない fact2: もし仮にとあるものはリスクマネジメントビジネスでないなら「情報構造であるということはないしその上動き易い」ということは嘘だ fact3: もし仮に何らかのものがリスクマネジメントビジネスでないとしたら情報構造でなくて加えてそれは動き易い fact4: この遊行上人がＢＯＤでないとすればそれは動き易くないし貸し下ぐ fact5: この遊行上人はリスクマネジメントビジネスでないとすると「それは情報構造であるし動き易い」ということは間違いだ fact6: 何らかの物はリスクマネジメントビジネスでないとすると「それは情報構造だし動き易い」ということは成り立たない ; $hypothesis$ = 仮にこの遊行上人はリスクマネジメントビジネスであるということはないとすれば「それは情報構造でないしかつそれは動き易い」ということは間違いである ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: その真宗教団はアップデートプログラムであるとすれば「ゴーンでないが御話出来る」ということは事実でない
事実2: もし仮にとあるものはリスクマネジメントビジネスでないなら「情報構造であるということはないしその上動き易い」ということは嘘だ
事実3: もし仮に何らかのものがリスクマネジメントビジネスでないとしたら情報構造でなくて加えてそれは動き易い
事実4: この遊行上人がＢＯＤでないとすればそれは動き易くないし貸し下ぐ
事実5: この遊行上人はリスクマネジメントビジネスでないとすると「それは情報構造であるし動き易い」ということは間違いだ
事実6: 何らかの物はリスクマネジメントビジネスでないとすると「それは情報構造だし動き易い」ということは成り立たない

仮説: 仮にこの遊行上人はリスクマネジメントビジネスであるということはないとすれば「それは情報構造でないしかつそれは動き易い」ということは間違いである
1. 事実2から、仮説が導かれる

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