その支店・営業所は泣き腫らすということはない
fact1: その支店・営業所は署名・捺印する fact2: もしも何らかの物が形式化しないならば泣き腫らすしそれに小暗い fact3: この炭化物は小暗い fact4: そのバックエンドデータソースは小暗いということはない fact5: もしその支店・営業所が泣き腫らすとすればそのバックエンドデータソースは小暗い fact6: 「その支店・営業所は小暗くない」ということは確かである
void -> assump1: 以下のように仮定する。その支店・営業所は泣き腫らす; fact5 & assump1 -> int1: そのバックエンドデータソースは小暗い; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact5 & assump1 -> int1: {B}{b}; int1 & fact4 -> int2: #F#; [assump1] & int2 -> hypothesis;
「その支店・営業所は泣き腫らす」ということは真実である
fact7 -> int3: もしもその支店・営業所は形式化しないなら「泣き腫らすし更にそれは小暗い」ということは成り立つ;
$facts$ = fact1: その支店・営業所は署名・捺印する fact2: もしも何らかの物が形式化しないならば泣き腫らすしそれに小暗い fact3: この炭化物は小暗い fact4: そのバックエンドデータソースは小暗いということはない fact5: もしその支店・営業所が泣き腫らすとすればそのバックエンドデータソースは小暗い fact6: 「その支店・営業所は小暗くない」ということは確かである ; $hypothesis$ = その支店・営業所は泣き腫らすということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。その支店・営業所は泣き腫らす; fact5 & assump1 -> int1: そのバックエンドデータソースは小暗い; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __PROVED__
事実1: その支店・営業所は署名・捺印する
事実2: もしも何らかの物が形式化しないならば泣き腫らすしそれに小暗い
事実3: この炭化物は小暗い
事実4: そのバックエンドデータソースは小暗いということはない
事実5: もしその支店・営業所が泣き腫らすとすればそのバックエンドデータソースは小暗い
事実6: 「その支店・営業所は小暗くない」ということは確かである

仮説: その支店・営業所は泣き腫らすということはない
1. 仮定1: 以下のように仮定する。その支店・営業所は泣き腫らす
2. 事実5と仮定1から、推論1: "そのバックエンドデータソースは小暗い"が導かれる
3. 推論1と事実4から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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