仮に「その訂正後は相互直通しない」ということは本当だとすればそれは露呈しないけど種痘である
fact1: 「なんらかのものは相互直通しない」ということは事実であるとしたらそれは種痘だ fact2: もしその訂正後が売り捌くとすれば実態調査報告書でないけど露呈する fact3: ぼろいということはないものはブルジョワ革命であるしかつ焦げ臭い fact4: もしもその訂正後が相互直通しないならそれは露呈するしまた種痘である fact5: もしも「その訂正後はつべたいということはない」ということは成り立つとすればそれは種痘だ fact6: もしとあるものが相互直通するということはないとすると露呈しないが種痘である fact7: もし仮にその訂正後が相互直通しないならそれは売り捌く
fact6 -> hypothesis;
fact6 -> hypothesis;
$facts$ = fact1: 「なんらかのものは相互直通しない」ということは事実であるとしたらそれは種痘だ fact2: もしその訂正後が売り捌くとすれば実態調査報告書でないけど露呈する fact3: ぼろいということはないものはブルジョワ革命であるしかつ焦げ臭い fact4: もしもその訂正後が相互直通しないならそれは露呈するしまた種痘である fact5: もしも「その訂正後はつべたいということはない」ということは成り立つとすればそれは種痘だ fact6: もしとあるものが相互直通するということはないとすると露呈しないが種痘である fact7: もし仮にその訂正後が相互直通しないならそれは売り捌く ; $hypothesis$ = 仮に「その訂正後は相互直通しない」ということは本当だとすればそれは露呈しないけど種痘である ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: 「なんらかのものは相互直通しない」ということは事実であるとしたらそれは種痘だ
事実2: もしその訂正後が売り捌くとすれば実態調査報告書でないけど露呈する
事実3: ぼろいということはないものはブルジョワ革命であるしかつ焦げ臭い
事実4: もしもその訂正後が相互直通しないならそれは露呈するしまた種痘である
事実5: もしも「その訂正後はつべたいということはない」ということは成り立つとすればそれは種痘だ
事実6: もしとあるものが相互直通するということはないとすると露呈しないが種痘である
事実7: もし仮にその訂正後が相互直通しないならそれは売り捌く

仮説: 仮に「その訂正後は相互直通しない」ということは本当だとすればそれは露呈しないけど種痘である
1. 事実6から、仮説が導かれる

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