仮にこの保護電極が冷たいがしかし買い被らないならばこの堅は表現し難くない
fact1: もし仮に「其れらしくない」ものがあればこの堅は表現し難くない fact2: この保護電極は買い被らない fact3: 「この保護電極は冷たくて買い被る」ということは嘘である fact4: 「この保護電極は冷たい」ということは真実である fact5: 「もしもこの保護電極は其れらしいとすれば「「この保護電極は冷たいがしかし買い被らない」ということは本当だ」ということは間違いだ」ということは本当である fact6: 仮にこの保護電極が冷たいしそれが買い被るならこの堅は表現し難いということはない fact7: 「其れらしい」物はある fact8: もし仮にこの保護電極は其れらしいとすれば「冷たいし買い被る」ということは嘘だ fact9: もし仮にこの保護電極が其れらしいなら冷たいけど買い被らない
void -> assump1: 以下のように仮定する。この保護電極は其れらしい; fact5 & assump1 -> int1: 「この保護電極は冷たいけど買い被るということはない」ということは成り立たない; void -> assump2: 以下のように仮定する。この保護電極は冷たいがしかし買い被らない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: この保護電極は其れらしくない; int3 -> int4: 其れらしくないものはある; int4 & fact1 -> int5: この堅は表現し難くない; [assump2] & int5 -> hypothesis;
$facts$ = fact1: もし仮に「其れらしくない」ものがあればこの堅は表現し難くない fact2: この保護電極は買い被らない fact3: 「この保護電極は冷たくて買い被る」ということは嘘である fact4: 「この保護電極は冷たい」ということは真実である fact5: 「もしもこの保護電極は其れらしいとすれば「「この保護電極は冷たいがしかし買い被らない」ということは本当だ」ということは間違いだ」ということは本当である fact6: 仮にこの保護電極が冷たいしそれが買い被るならこの堅は表現し難いということはない fact7: 「其れらしい」物はある fact8: もし仮にこの保護電極は其れらしいとすれば「冷たいし買い被る」ということは嘘だ fact9: もし仮にこの保護電極が其れらしいなら冷たいけど買い被らない ; $hypothesis$ = 仮にこの保護電極が冷たいがしかし買い被らないならばこの堅は表現し難くない ; $proof$ = 
void -> assump1: 以下のように仮定する。この保護電極は其れらしい; fact5 & assump1 -> int1: 「この保護電極は冷たいけど買い被るということはない」ということは成り立たない; void -> assump2: 以下のように仮定する。この保護電極は冷たいがしかし買い被らない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: この保護電極は其れらしくない; int3 -> int4: 其れらしくないものはある; int4 & fact1 -> int5: この堅は表現し難くない; [assump2] & int5 -> hypothesis; __PROVED__
事実1: もし仮に「其れらしくない」ものがあればこの堅は表現し難くない
事実2: この保護電極は買い被らない
事実3: 「この保護電極は冷たくて買い被る」ということは嘘である
事実4: 「この保護電極は冷たい」ということは真実である
事実5: 「もしもこの保護電極は其れらしいとすれば「「この保護電極は冷たいがしかし買い被らない」ということは本当だ」ということは間違いだ」ということは本当である
事実6: 仮にこの保護電極が冷たいしそれが買い被るならこの堅は表現し難いということはない
事実7: 「其れらしい」物はある
事実8: もし仮にこの保護電極は其れらしいとすれば「冷たいし買い被る」ということは嘘だ
事実9: もし仮にこの保護電極が其れらしいなら冷たいけど買い被らない

仮説: 仮にこの保護電極が冷たいがしかし買い被らないならばこの堅は表現し難くない
1. 仮定1: 以下のように仮定する。この保護電極は其れらしい
2. 事実5と仮定1から、推論1: "「この保護電極は冷たいけど買い被るということはない」ということは成り立たない"が導かれる
3. 仮定2: 以下のように仮定する。この保護電極は冷たいがしかし買い被らない
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "この保護電極は其れらしくない"が導かれる
6. 推論3から、推論4: "其れらしくないものはある"が導かれる
7. 推論4と事実1から、推論5: "この堅は表現し難くない"が導かれる
8. [仮定2]と推論5から、仮説が導かれる

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