そのステータスシンボルは看破しない
fact1: このレジスタンスは舌使いでない一方で判別し難い fact2: そのステータスシンボルは伸べる fact3: もしそのステータスシンボルが看破するしそれが伸べるとするとこのレジスタンスは許せるということはない fact4: 浅しないものは許せる fact5: 仮にこのレジスタンスが舌使いでないが判別し難いとすると浅しない
void -> assump1: 以下のように仮定する。そのステータスシンボルは看破する; assump1 & fact2 -> int1: そのステータスシンボルは看破するしそれは伸べる; int1 & fact3 -> int2: このレジスタンスは許せるということはない; fact4 -> int3: このレジスタンスが浅しないならそれは許せる; fact5 & fact1 -> int4: このレジスタンスは浅しない; int3 & int4 -> int5: 「このレジスタンスは許せる」ということは本当だ; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
$facts$ = fact1: このレジスタンスは舌使いでない一方で判別し難い fact2: そのステータスシンボルは伸べる fact3: もしそのステータスシンボルが看破するしそれが伸べるとするとこのレジスタンスは許せるということはない fact4: 浅しないものは許せる fact5: 仮にこのレジスタンスが舌使いでないが判別し難いとすると浅しない ; $hypothesis$ = そのステータスシンボルは看破しない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのステータスシンボルは看破する; assump1 & fact2 -> int1: そのステータスシンボルは看破するしそれは伸べる; int1 & fact3 -> int2: このレジスタンスは許せるということはない; fact4 -> int3: このレジスタンスが浅しないならそれは許せる; fact5 & fact1 -> int4: このレジスタンスは浅しない; int3 & int4 -> int5: 「このレジスタンスは許せる」ということは本当だ; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __PROVED__
事実1: このレジスタンスは舌使いでない一方で判別し難い
事実2: そのステータスシンボルは伸べる
事実3: もしそのステータスシンボルが看破するしそれが伸べるとするとこのレジスタンスは許せるということはない
事実4: 浅しないものは許せる
事実5: 仮にこのレジスタンスが舌使いでないが判別し難いとすると浅しない

仮説: そのステータスシンボルは看破しない
1. 仮定1: 以下のように仮定する。そのステータスシンボルは看破する
2. 仮定1と事実2から、推論1: "そのステータスシンボルは看破するしそれは伸べる"が導かれる
3. 推論1と事実3から、推論2: "このレジスタンスは許せるということはない"が導かれる
4. 事実4から、推論3: "このレジスタンスが浅しないならそれは許せる"が導かれる
5. 事実5と事実1から、推論4: "このレジスタンスは浅しない"が導かれる
6. 推論3と推論4から、推論5: "「このレジスタンスは許せる」ということは本当だ"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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