仮にこの当該瑕疵が差異性だとするとあの連合軍戦車は潜行しない
fact1: 仮にこの当該瑕疵が赤坂見附であるかそれが差異性であるかもしくは両方であるならあの連合軍戦車は潜行しない fact2: もしもあの連合軍戦車が赤坂見附であるとするとこの当該瑕疵は潜行しない fact3: もしもあの連合軍戦車が赤坂見附であるならばあの当該瑕疵は潜行する fact4: もし何かは潜行するとすれば差異性である fact5: 仮にあの連合軍戦車が差異性であるかあるいはそれが赤坂見附であるかまたはどちらもだとするとこの当該瑕疵は潜行する fact6: 差異性は赤坂見附でない fact7: もしこの当該瑕疵が差異性であるならばあの連合軍戦車は潜行する
void -> assump1: 以下のように仮定する。この当該瑕疵は差異性だ; assump1 -> int1: この当該瑕疵は赤坂見附であるかあるいは差異性であるかまたはどちらもだ; int1 & fact1 -> int2: あの連合軍戦車は潜行しない; [assump1] & int2 -> hypothesis;
このパブリックフォルダは赤坂見附でない
fact8 -> int3: もし仮にこのパブリックフォルダが差異性だとしたら赤坂見附でない; fact9 -> int4: このパブリックフォルダが潜行するなら差異性だ;
$facts$ = fact1: 仮にこの当該瑕疵が赤坂見附であるかそれが差異性であるかもしくは両方であるならあの連合軍戦車は潜行しない fact2: もしもあの連合軍戦車が赤坂見附であるとするとこの当該瑕疵は潜行しない fact3: もしもあの連合軍戦車が赤坂見附であるならばあの当該瑕疵は潜行する fact4: もし何かは潜行するとすれば差異性である fact5: 仮にあの連合軍戦車が差異性であるかあるいはそれが赤坂見附であるかまたはどちらもだとするとこの当該瑕疵は潜行する fact6: 差異性は赤坂見附でない fact7: もしこの当該瑕疵が差異性であるならばあの連合軍戦車は潜行する ; $hypothesis$ = 仮にこの当該瑕疵が差異性だとするとあの連合軍戦車は潜行しない ; $proof$ = 
void -> assump1: 以下のように仮定する。この当該瑕疵は差異性だ; assump1 -> int1: この当該瑕疵は赤坂見附であるかあるいは差異性であるかまたはどちらもだ; int1 & fact1 -> int2: あの連合軍戦車は潜行しない; [assump1] & int2 -> hypothesis; __PROVED__
事実1: 仮にこの当該瑕疵が赤坂見附であるかそれが差異性であるかもしくは両方であるならあの連合軍戦車は潜行しない
事実2: もしもあの連合軍戦車が赤坂見附であるとするとこの当該瑕疵は潜行しない
事実3: もしもあの連合軍戦車が赤坂見附であるならばあの当該瑕疵は潜行する
事実4: もし何かは潜行するとすれば差異性である
事実5: 仮にあの連合軍戦車が差異性であるかあるいはそれが赤坂見附であるかまたはどちらもだとするとこの当該瑕疵は潜行する
事実6: 差異性は赤坂見附でない
事実7: もしこの当該瑕疵が差異性であるならばあの連合軍戦車は潜行する

仮説: 仮にこの当該瑕疵が差異性だとするとあの連合軍戦車は潜行しない
1. 仮定1: 以下のように仮定する。この当該瑕疵は差異性だ
2. 仮定1から、推論1: "この当該瑕疵は赤坂見附であるかあるいは差異性であるかまたはどちらもだ"が導かれる
3. 推論1と事実1から、推論2: "あの連合軍戦車は潜行しない"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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