そのメンは御利用頂けないし癒着しない
fact1: 仮にその組織編成が取れ易いかあるいは働き易くないかもしくは両方ともであるならそのコントロールプロパティは栄転するということはない fact2: もし仮に「ある物は御利用頂けなくて癒着しない」ということは嘘ならそれは栄転する fact3: 仮にそのメンが栄転するとするとその組織編成は高回転であるかまたは栄転しないかもしくは両方である fact4: もしそのコントロールプロパティが働き易いならば恙無い fact5: 「取れ易い物は恙無い」ということは確かだ fact6: そのコントロールプロパティは働き易いかもしくは取れ易い fact7: そのメンは出易くない fact8: 恙無くない物は栄転しなくてかつ出し過ぎない fact9: 「そのメンは御利用頂けるけれどそれは癒着しない」ということは成り立たない fact10: 憎らしいものは番衆だ fact11: その組織編成が高回転であるかもしくは栄転しないかあるいは両方ともならそのコントロールプロパティは出し過ぎない fact12: 恙無い物は出し過ぎる fact13: 仮にそのメンが栄転するとしたらその組織編成は高回転であるかあるいはそれは栄転する fact14: そのメンは御利用頂けない fact15: 「もしそのメンが恙無いということはないならばそのコントロールプロパティは癒着しない」ということは事実だ fact16: もし仮にそのコントロールプロパティが働き易いということはないならばあのメンは取れ易くない fact17: なにがしかの物は高回転でないなら「御利用頂けなくて癒着しない」ということは嘘だ fact18: もしもそのコントロールプロパティが取れ易いかあるいはそれが働き易くないかもしくは両方ならばあの組織編成は出し過ぎない fact19: もし仮にそのコントロールプロパティが栄転するかもしくは出し過ぎるということはないとするとそのメンは働き易くない fact20: もしその組織編成が栄転しなくて更に出し過ぎないとすればあのメンは高回転でない fact21: もし仮にそのメンは御利用頂けるなら「それは栄転する」ということは正しい fact22: もしなにかは葬り去るとするとそれは術前検査だ
fact2 -> int1: もし「そのメンは御利用頂けないしそれは癒着しない」ということは誤っているとすれば栄転する; void -> assump1: 以下のように仮定する。「そのメンは御利用頂けないし癒着しない」ということは間違いだ; int1 & assump1 -> int2: そのメンは栄転する; int2 & fact3 -> int3: その組織編成は高回転であるかまたはそれは栄転しないか両方ともだ; int3 & fact11 -> int4: そのコントロールプロパティは出し過ぎない; fact12 -> int5: もしそのコントロールプロパティが恙無いとすると出し過ぎる; fact5 -> int6: もしそのコントロールプロパティが取れ易いならばそれは恙無い; fact6 & int6 & fact4 -> int7: 「そのコントロールプロパティは恙無い」ということは事実である; int5 & int7 -> int8: そのコントロールプロパティは出し過ぎる; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
「そのメンは御利用頂けないし加えて癒着しない」ということは偽である
fact24 -> int10: もしそのメンは高回転でないならば「それは御利用頂けないししかも癒着しない」ということは偽だ; fact25 -> int11: もし仮にその組織編成が恙無いということはないとすれば栄転しなくてしかも出し過ぎない;
$facts$ = fact1: 仮にその組織編成が取れ易いかあるいは働き易くないかもしくは両方ともであるならそのコントロールプロパティは栄転するということはない fact2: もし仮に「ある物は御利用頂けなくて癒着しない」ということは嘘ならそれは栄転する fact3: 仮にそのメンが栄転するとするとその組織編成は高回転であるかまたは栄転しないかもしくは両方である fact4: もしそのコントロールプロパティが働き易いならば恙無い fact5: 「取れ易い物は恙無い」ということは確かだ fact6: そのコントロールプロパティは働き易いかもしくは取れ易い fact7: そのメンは出易くない fact8: 恙無くない物は栄転しなくてかつ出し過ぎない fact9: 「そのメンは御利用頂けるけれどそれは癒着しない」ということは成り立たない fact10: 憎らしいものは番衆だ fact11: その組織編成が高回転であるかもしくは栄転しないかあるいは両方ともならそのコントロールプロパティは出し過ぎない fact12: 恙無い物は出し過ぎる fact13: 仮にそのメンが栄転するとしたらその組織編成は高回転であるかあるいはそれは栄転する fact14: そのメンは御利用頂けない fact15: 「もしそのメンが恙無いということはないならばそのコントロールプロパティは癒着しない」ということは事実だ fact16: もし仮にそのコントロールプロパティが働き易いということはないならばあのメンは取れ易くない fact17: なにがしかの物は高回転でないなら「御利用頂けなくて癒着しない」ということは嘘だ fact18: もしもそのコントロールプロパティが取れ易いかあるいはそれが働き易くないかもしくは両方ならばあの組織編成は出し過ぎない fact19: もし仮にそのコントロールプロパティが栄転するかもしくは出し過ぎるということはないとするとそのメンは働き易くない fact20: もしその組織編成が栄転しなくて更に出し過ぎないとすればあのメンは高回転でない fact21: もし仮にそのメンは御利用頂けるなら「それは栄転する」ということは正しい fact22: もしなにかは葬り去るとするとそれは術前検査だ ; $hypothesis$ = そのメンは御利用頂けないし癒着しない ; $proof$ = 
fact2 -> int1: もし「そのメンは御利用頂けないしそれは癒着しない」ということは誤っているとすれば栄転する; void -> assump1: 以下のように仮定する。「そのメンは御利用頂けないし癒着しない」ということは間違いだ; int1 & assump1 -> int2: そのメンは栄転する; int2 & fact3 -> int3: その組織編成は高回転であるかまたはそれは栄転しないか両方ともだ; int3 & fact11 -> int4: そのコントロールプロパティは出し過ぎない; fact12 -> int5: もしそのコントロールプロパティが恙無いとすると出し過ぎる; fact5 -> int6: もしそのコントロールプロパティが取れ易いならばそれは恙無い; fact6 & int6 & fact4 -> int7: 「そのコントロールプロパティは恙無い」ということは事実である; int5 & int7 -> int8: そのコントロールプロパティは出し過ぎる; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis; __PROVED__
事実1: 仮にその組織編成が取れ易いかあるいは働き易くないかもしくは両方ともであるならそのコントロールプロパティは栄転するということはない
事実2: もし仮に「ある物は御利用頂けなくて癒着しない」ということは嘘ならそれは栄転する
事実3: 仮にそのメンが栄転するとするとその組織編成は高回転であるかまたは栄転しないかもしくは両方である
事実4: もしそのコントロールプロパティが働き易いならば恙無い
事実5: 「取れ易い物は恙無い」ということは確かだ
事実6: そのコントロールプロパティは働き易いかもしくは取れ易い
事実7: そのメンは出易くない
事実8: 恙無くない物は栄転しなくてかつ出し過ぎない
事実9: 「そのメンは御利用頂けるけれどそれは癒着しない」ということは成り立たない
事実10: 憎らしいものは番衆だ
事実11: その組織編成が高回転であるかもしくは栄転しないかあるいは両方ともならそのコントロールプロパティは出し過ぎない
事実12: 恙無い物は出し過ぎる
事実13: 仮にそのメンが栄転するとしたらその組織編成は高回転であるかあるいはそれは栄転する
事実14: そのメンは御利用頂けない
事実15: 「もしそのメンが恙無いということはないならばそのコントロールプロパティは癒着しない」ということは事実だ
事実16: もし仮にそのコントロールプロパティが働き易いということはないならばあのメンは取れ易くない
事実17: なにがしかの物は高回転でないなら「御利用頂けなくて癒着しない」ということは嘘だ
事実18: もしもそのコントロールプロパティが取れ易いかあるいはそれが働き易くないかもしくは両方ならばあの組織編成は出し過ぎない
事実19: もし仮にそのコントロールプロパティが栄転するかもしくは出し過ぎるということはないとするとそのメンは働き易くない
事実20: もしその組織編成が栄転しなくて更に出し過ぎないとすればあのメンは高回転でない
事実21: もし仮にそのメンは御利用頂けるなら「それは栄転する」ということは正しい
事実22: もしなにかは葬り去るとするとそれは術前検査だ

仮説: そのメンは御利用頂けないし癒着しない
1. 事実2から、推論1: "もし「そのメンは御利用頂けないしそれは癒着しない」ということは誤っているとすれば栄転する"が導かれる
2. 仮定1: 以下のように仮定する。「そのメンは御利用頂けないし癒着しない」ということは間違いだ
3. 推論1と仮定1から、推論2: "そのメンは栄転する"が導かれる
4. 推論2と事実3から、推論3: "その組織編成は高回転であるかまたはそれは栄転しないか両方ともだ"が導かれる
5. 推論3と事実11から、推論4: "そのコントロールプロパティは出し過ぎない"が導かれる
6. 事実12から、推論5: "もしそのコントロールプロパティが恙無いとすると出し過ぎる"が導かれる
7. 事実5から、推論6: "もしそのコントロールプロパティが取れ易いならばそれは恙無い"が導かれる
8. 事実6と推論6と事実4から、推論7: "「そのコントロールプロパティは恙無い」ということは事実である"が導かれる
9. 推論5と推論7から、推論8: "そのコントロールプロパティは出し過ぎる"が導かれる
10. 推論4と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が導かれる

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