「あのアルカリ性物質は闖入する」ということは成り立つ
fact1: その接見は闖入する fact2: 仮にその土塊が軽いということはないとするとこの連続講演は軽い fact3: あのアルカリ性物質は借る fact4: もし仮にあるものが借らないなら闖入しない fact5: あのアルカリ性物質は借るし闖入する fact6: あのアルカリ性物質は小高い fact7: とある物は軽いとすると「振り乱さなくておまけに吹雪く」ということは成り立つということはない fact8: もしもなにがしかの物は吹雪くなら「闖入しないしかつ借るということはない」ということは誤っている fact9: もしも「この連続講演は振り乱さないが吹雪く」ということは間違いならあのアルカリ性物質は借らない
fact5 -> hypothesis;
fact5 -> hypothesis;
あのアルカリ性物質は闖入しない
fact10 -> int1: 仮にあのアルカリ性物質が借るということはないとするとそれは闖入しない; fact11 -> int2: この連続講演は軽いとすると「「振り乱さないし吹雪く」ということは真実だ」ということは成り立たない;
$facts$ = fact1: その接見は闖入する fact2: 仮にその土塊が軽いということはないとするとこの連続講演は軽い fact3: あのアルカリ性物質は借る fact4: もし仮にあるものが借らないなら闖入しない fact5: あのアルカリ性物質は借るし闖入する fact6: あのアルカリ性物質は小高い fact7: とある物は軽いとすると「振り乱さなくておまけに吹雪く」ということは成り立つということはない fact8: もしもなにがしかの物は吹雪くなら「闖入しないしかつ借るということはない」ということは誤っている fact9: もしも「この連続講演は振り乱さないが吹雪く」ということは間違いならあのアルカリ性物質は借らない ; $hypothesis$ = 「あのアルカリ性物質は闖入する」ということは成り立つ ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: その接見は闖入する
事実2: 仮にその土塊が軽いということはないとするとこの連続講演は軽い
事実3: あのアルカリ性物質は借る
事実4: もし仮にあるものが借らないなら闖入しない
事実5: あのアルカリ性物質は借るし闖入する
事実6: あのアルカリ性物質は小高い
事実7: とある物は軽いとすると「振り乱さなくておまけに吹雪く」ということは成り立つということはない
事実8: もしもなにがしかの物は吹雪くなら「闖入しないしかつ借るということはない」ということは誤っている
事実9: もしも「この連続講演は振り乱さないが吹雪く」ということは間違いならあのアルカリ性物質は借らない

仮説: 「あのアルカリ性物質は闖入する」ということは成り立つ
1. 事実5から、仮説が導かれる

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