仮にあのＢＩＳは大通り寺であるということはないならば心嚢でない一方で下降する
fact1: 「仮にあのＢＩＳが大通り寺であるならばあのＢＩＳは心嚢でないがしかし下降する」ということは成り立つ fact2: あのＢＩＳは木工でないとするとそれは大通り寺であるしそれにデメリットである fact3: もしあるものが大通り寺でないとすればそれは心嚢でないしそれは下降する fact4: 仮にこの二月以降が安んじるないならばそれは限定性であるししかも大通り寺である
fact3 -> hypothesis;
fact3 -> hypothesis;
$facts$ = fact1: 「仮にあのＢＩＳが大通り寺であるならばあのＢＩＳは心嚢でないがしかし下降する」ということは成り立つ fact2: あのＢＩＳは木工でないとするとそれは大通り寺であるしそれにデメリットである fact3: もしあるものが大通り寺でないとすればそれは心嚢でないしそれは下降する fact4: 仮にこの二月以降が安んじるないならばそれは限定性であるししかも大通り寺である ; $hypothesis$ = 仮にあのＢＩＳは大通り寺であるということはないならば心嚢でない一方で下降する ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 「仮にあのＢＩＳが大通り寺であるならばあのＢＩＳは心嚢でないがしかし下降する」ということは成り立つ
事実2: あのＢＩＳは木工でないとするとそれは大通り寺であるしそれにデメリットである
事実3: もしあるものが大通り寺でないとすればそれは心嚢でないしそれは下降する
事実4: 仮にこの二月以降が安んじるないならばそれは限定性であるししかも大通り寺である

仮説: 仮にあのＢＩＳは大通り寺であるということはないならば心嚢でない一方で下降する
1. 事実3から、仮説が導かれる

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