もし「あのサイズ調整は中心電極である」ということは確かであるとすればあのカピタンは心安い
fact1: もし仮に「心安くないかあるいは合意しないか両方ともである」物があるとするとあのサイズ調整は中心電極だということはない fact2: あのカピタンは心安いか合意しないかまたは両方ともである fact3: 仮にあのサイズ調整が心安いならあのカピタンは中心電極だ fact4: 仮に「あのカピタンは数種類でない一方で御する」ということは誤っているとすると「この性同一性障害は合意しない」ということは正しい
void -> assump1: 以下のように仮定する。あのカピタンは心安くない; assump1 -> int1: あのカピタンは心安くないかもしくはそれは合意するということはないかまたは両方ともである; int1 -> int2: 「「心安くないかもしくは合意しないかどちらもだ」ということは確かな」ものはある; int2 & fact1 -> int3: あのサイズ調整は中心電極だということはない; void -> assump2: 以下のように仮定する。あのサイズ調整は中心電極である; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: あのカピタンは心安い; [assump2] & int5 -> hypothesis;
この性同一性障害は中心電極である
$facts$ = fact1: もし仮に「心安くないかあるいは合意しないか両方ともである」物があるとするとあのサイズ調整は中心電極だということはない fact2: あのカピタンは心安いか合意しないかまたは両方ともである fact3: 仮にあのサイズ調整が心安いならあのカピタンは中心電極だ fact4: 仮に「あのカピタンは数種類でない一方で御する」ということは誤っているとすると「この性同一性障害は合意しない」ということは正しい ; $hypothesis$ = もし「あのサイズ調整は中心電極である」ということは確かであるとすればあのカピタンは心安い ; $proof$ = 
void -> assump1: 以下のように仮定する。あのカピタンは心安くない; assump1 -> int1: あのカピタンは心安くないかもしくはそれは合意するということはないかまたは両方ともである; int1 -> int2: 「「心安くないかもしくは合意しないかどちらもだ」ということは確かな」ものはある; int2 & fact1 -> int3: あのサイズ調整は中心電極だということはない; void -> assump2: 以下のように仮定する。あのサイズ調整は中心電極である; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: あのカピタンは心安い; [assump2] & int5 -> hypothesis; __PROVED__
事実1: もし仮に「心安くないかあるいは合意しないか両方ともである」物があるとするとあのサイズ調整は中心電極だということはない
事実2: あのカピタンは心安いか合意しないかまたは両方ともである
事実3: 仮にあのサイズ調整が心安いならあのカピタンは中心電極だ
事実4: 仮に「あのカピタンは数種類でない一方で御する」ということは誤っているとすると「この性同一性障害は合意しない」ということは正しい

仮説: もし「あのサイズ調整は中心電極である」ということは確かであるとすればあのカピタンは心安い
1. 仮定1: 以下のように仮定する。あのカピタンは心安くない
2. 仮定1から、推論1: "あのカピタンは心安くないかもしくはそれは合意するということはないかまたは両方ともである"が導かれる
3. 推論1から、推論2: "「「心安くないかもしくは合意しないかどちらもだ」ということは確かな」ものはある"が導かれる
4. 推論2と事実1から、推論3: "あのサイズ調整は中心電極だということはない"が導かれる
5. 仮定2: 以下のように仮定する。あのサイズ調整は中心電極である
6. 推論3と仮定2から、推論4: "これは矛盾である"が導かれる
7. [仮定1]と推論4から、推論5: "あのカピタンは心安い"が導かれる
8. [仮定2]と推論5から、仮説が導かれる

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