この特殊法人等はむさいけれど作業し易くない
fact1: 「あの真相究明は採血しない」ということは事実である fact2: もし仮に「この特殊法人等はむさいけど作業し易くない」ということは間違いだとするとその関連文献は特集する fact3: この特殊法人等はむさい fact4: もしもその関連文献が特集するとしたらあの真相究明は採血する
void -> assump1: 以下のように仮定する。「この特殊法人等はむさいがそれは作業し易くない」ということは成り立たない; fact2 & assump1 -> int1: その関連文献は特集する; int1 & fact4 -> int2: あの真相究明は採血する; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
$facts$ = fact1: 「あの真相究明は採血しない」ということは事実である fact2: もし仮に「この特殊法人等はむさいけど作業し易くない」ということは間違いだとするとその関連文献は特集する fact3: この特殊法人等はむさい fact4: もしもその関連文献が特集するとしたらあの真相究明は採血する ; $hypothesis$ = この特殊法人等はむさいけれど作業し易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この特殊法人等はむさいがそれは作業し易くない」ということは成り立たない; fact2 & assump1 -> int1: その関連文献は特集する; int1 & fact4 -> int2: あの真相究明は採血する; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 「あの真相究明は採血しない」ということは事実である
事実2: もし仮に「この特殊法人等はむさいけど作業し易くない」ということは間違いだとするとその関連文献は特集する
事実3: この特殊法人等はむさい
事実4: もしもその関連文献が特集するとしたらあの真相究明は採血する

仮説: この特殊法人等はむさいけれど作業し易くない
1. 仮定1: 以下のように仮定する。「この特殊法人等はむさいがそれは作業し易くない」ということは成り立たない
2. 事実2と仮定1から、推論1: "その関連文献は特集する"が導かれる
3. 推論1と事実4から、推論2: "あの真相究明は採血する"が導かれる
4. 推論2と事実1から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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