「もし「進歩するということはないしさらに孝行でない」ということは嘘だとすれば脆弱化な」ものはある
fact1: もし仮にこのばつ一が孝行でないしそれが傾き過ぎないならそれは細い fact2: もし仮に「あるものが進歩しないしさらに孝行でない」ということは成り立つということはないならそれは脆弱化である fact3: 「もしも「進歩するがしかし孝行でない」ということは間違いであるならば脆弱化な」物はある fact4: 「散華するとすれば基地局である」物はある fact5: 「仮に進歩しないしさらに孝行でないとすると脆弱化である」物はある
fact2 -> int1: もし仮に「このばつ一は進歩しないし孝行でない」ということは成り立たないとすればそれは脆弱化だ; int1 -> hypothesis;
$facts$ = fact1: もし仮にこのばつ一が孝行でないしそれが傾き過ぎないならそれは細い fact2: もし仮に「あるものが進歩しないしさらに孝行でない」ということは成り立つということはないならそれは脆弱化である fact3: 「もしも「進歩するがしかし孝行でない」ということは間違いであるならば脆弱化な」物はある fact4: 「散華するとすれば基地局である」物はある fact5: 「仮に進歩しないしさらに孝行でないとすると脆弱化である」物はある ; $hypothesis$ = 「もし「進歩するということはないしさらに孝行でない」ということは嘘だとすれば脆弱化な」ものはある ; $proof$ = 
fact2 -> int1: もし仮に「このばつ一は進歩しないし孝行でない」ということは成り立たないとすればそれは脆弱化だ; int1 -> hypothesis; __PROVED__
事実1: もし仮にこのばつ一が孝行でないしそれが傾き過ぎないならそれは細い
事実2: もし仮に「あるものが進歩しないしさらに孝行でない」ということは成り立つということはないならそれは脆弱化である
事実3: 「もしも「進歩するがしかし孝行でない」ということは間違いであるならば脆弱化な」物はある
事実4: 「散華するとすれば基地局である」物はある
事実5: 「仮に進歩しないしさらに孝行でないとすると脆弱化である」物はある

仮説: 「もし「進歩するということはないしさらに孝行でない」ということは嘘だとすれば脆弱化な」ものはある
1. 事実2から、推論1: "もし仮に「このばつ一は進歩しないし孝行でない」ということは成り立たないとすればそれは脆弱化だ"が導かれる
2. 推論1から、仮説が導かれる

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