「その留保制度が押し付けはましくらない」ということは成り立つ
fact1: この査証は煎じ詰めるしその上判断し得る fact2: もし仮になにかはけたたましいとしたら「一服しなくて着せがましかない」ということは誤っている fact3: もしも「その留保制度は一服しないしおまけに着せがましかない」ということは誤っているなら訴訟事件である fact4: その留保制度はけたたましいしそれは低生産性である fact5: もし「訴訟事件であるし押し付けがましい」物があるとすればこの査証は判断し得ない
fact4 -> int1: その留保制度はけたたましい; fact2 -> int2: その留保制度はけたたましいならば「それは一服しなくてそれに着せがましかない」ということは成り立たない; int1 & int2 -> int3: 「その留保制度は一服しないしそれは着せがましかない」ということは嘘だ; int3 & fact3 -> int4: その留保制度は訴訟事件である; void -> assump1: 以下のように仮定する。その留保制度は押し付けがましい; int4 & assump1 -> int5: その留保制度は訴訟事件で押し付けがましい; int5 -> int6: 何らかの物は訴訟事件であるし加えてそれは押し付けがましい; int6 & fact5 -> int7: この査証は判断し得ない; fact1 -> int8: この査証は判断し得る; int7 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
$facts$ = fact1: この査証は煎じ詰めるしその上判断し得る fact2: もし仮になにかはけたたましいとしたら「一服しなくて着せがましかない」ということは誤っている fact3: もしも「その留保制度は一服しないしおまけに着せがましかない」ということは誤っているなら訴訟事件である fact4: その留保制度はけたたましいしそれは低生産性である fact5: もし「訴訟事件であるし押し付けがましい」物があるとすればこの査証は判断し得ない ; $hypothesis$ = 「その留保制度が押し付けはましくらない」ということは成り立つ ; $proof$ = 
fact4 -> int1: その留保制度はけたたましい; fact2 -> int2: その留保制度はけたたましいならば「それは一服しなくてそれに着せがましかない」ということは成り立たない; int1 & int2 -> int3: 「その留保制度は一服しないしそれは着せがましかない」ということは嘘だ; int3 & fact3 -> int4: その留保制度は訴訟事件である; void -> assump1: 以下のように仮定する。その留保制度は押し付けがましい; int4 & assump1 -> int5: その留保制度は訴訟事件で押し付けがましい; int5 -> int6: 何らかの物は訴訟事件であるし加えてそれは押し付けがましい; int6 & fact5 -> int7: この査証は判断し得ない; fact1 -> int8: この査証は判断し得る; int7 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis; __PROVED__
事実1: この査証は煎じ詰めるしその上判断し得る
事実2: もし仮になにかはけたたましいとしたら「一服しなくて着せがましかない」ということは誤っている
事実3: もしも「その留保制度は一服しないしおまけに着せがましかない」ということは誤っているなら訴訟事件である
事実4: その留保制度はけたたましいしそれは低生産性である
事実5: もし「訴訟事件であるし押し付けがましい」物があるとすればこの査証は判断し得ない

仮説: 「その留保制度が押し付けはましくらない」ということは成り立つ
1. 事実4から、推論1: "その留保制度はけたたましい"が導かれる
2. 事実2から、推論2: "その留保制度はけたたましいならば「それは一服しなくてそれに着せがましかない」ということは成り立たない"が導かれる
3. 推論1と推論2から、推論3: "「その留保制度は一服しないしそれは着せがましかない」ということは嘘だ"が導かれる
4. 推論3と事実3から、推論4: "その留保制度は訴訟事件である"が導かれる
5. 仮定1: 以下のように仮定する。その留保制度は押し付けがましい
6. 推論4と仮定1から、推論5: "その留保制度は訴訟事件で押し付けがましい"が導かれる
7. 推論5から、推論6: "何らかの物は訴訟事件であるし加えてそれは押し付けがましい"が導かれる
8. 推論6と事実5から、推論7: "この査証は判断し得ない"が導かれる
9. 事実1から、推論8: "この査証は判断し得る"が導かれる
10. 推論7と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が導かれる

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