「その保存形式は捻り上げるがしかしそれは使用すらない」ということは成り立たない
fact1: もしも何かは埋まるとすると「それは捻り上げるがしかし使用すらない」ということは成り立たない fact2: もしもなんらかのものは偉くないし埋まるということはないとすれば性格付ける fact3: 「その保存形式は偉いし更にそれは埋まる」ということは事実である fact4: もし仮にあの酩酊状態が偉いならばあの保存形式は捻り上げる一方で使用すらない
fact3 -> int1: その保存形式は埋まる; fact1 -> int2: もしもその保存形式は埋まるなら「それは捻り上げるけど使用すらない」ということは成り立つということはない; int1 & int2 -> hypothesis;
その保存形式は捻り上げるが使用すらない
$facts$ = fact1: もしも何かは埋まるとすると「それは捻り上げるがしかし使用すらない」ということは成り立たない fact2: もしもなんらかのものは偉くないし埋まるということはないとすれば性格付ける fact3: 「その保存形式は偉いし更にそれは埋まる」ということは事実である fact4: もし仮にあの酩酊状態が偉いならばあの保存形式は捻り上げる一方で使用すらない ; $hypothesis$ = 「その保存形式は捻り上げるがしかしそれは使用すらない」ということは成り立たない ; $proof$ = 
fact3 -> int1: その保存形式は埋まる; fact1 -> int2: もしもその保存形式は埋まるなら「それは捻り上げるけど使用すらない」ということは成り立つということはない; int1 & int2 -> hypothesis; __PROVED__
事実1: もしも何かは埋まるとすると「それは捻り上げるがしかし使用すらない」ということは成り立たない
事実2: もしもなんらかのものは偉くないし埋まるということはないとすれば性格付ける
事実3: 「その保存形式は偉いし更にそれは埋まる」ということは事実である
事実4: もし仮にあの酩酊状態が偉いならばあの保存形式は捻り上げる一方で使用すらない

仮説: 「その保存形式は捻り上げるがしかしそれは使用すらない」ということは成り立たない
1. 事実3から、推論1: "その保存形式は埋まる"が導かれる
2. 事実1から、推論2: "もしもその保存形式は埋まるなら「それは捻り上げるけど使用すらない」ということは成り立つということはない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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