「もしも局所なら「底深いしその上対応し得るということはない」ということは偽な」物はある
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から、仮説が導かれる

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