あの関係下水道管理者は招き易いかもしくは任すかあるいはどちらもである
fact1: もしもあの関係下水道管理者は招き易くないならば「「その小口は攻めるしおまけにそれはソフト開発である」ということは偽だ」ということは本当である fact2: もしその承役がコスト高であるということはないならばこのラポールは復号化するけどかったるいということはない fact3: あの関係下水道管理者は免れ難くない fact4: 「そのコップ酒は味気なくない」ということは事実だ fact5: 「その承役は招き易いということはない」ということは正しい fact6: 「このラポールはコスト高でない」ということは真実であるとしたら「それは復号化するかまたは攻めないか両方ともである」ということは成り立たない fact7: そのコップ酒が免れ難いとすれば荷重する fact8: もし仮にこのラポールが復号化するがかったるくないとするとそのコップ酒は荷重しない fact9: もしも「とある物は登山帽であるか程近くないかまたは両方だ」ということは成り立たないならそれは免れ難い fact10: なにがしかの物は味気なくないとすると「登山帽であるか程近くない」ということは嘘である fact11: 仮に「そのコップ酒は味気ないかもしくはそれは程近くないかあるいは両方だ」ということは偽であるなら「それはソフト開発である」ということは事実である fact12: あの関係下水道管理者はアプリケーション層でない fact13: もし仮に「その小口は攻めるし更にソフト開発だ」ということは誤りならその承役はコスト高でない
void -> assump1: 以下のように仮定する。あの関係下水道管理者は招き易くない; fact1 & assump1 -> int1: 「その小口は攻めるしまたそれはソフト開発である」ということは嘘である; int1 & fact13 -> int2: その承役はコスト高でない; int2 & fact2 -> int3: このラポールは復号化するけどかったるくない; int3 & fact8 -> int4: そのコップ酒は荷重しない; fact9 -> int5: もし「そのコップ酒は登山帽であるかもしくは程近くない」ということは偽であるなら「それは免れ難い」ということは事実である; fact10 -> int6: もしそのコップ酒は味気なくないならば「登山帽であるかあるいはそれは程近くない」ということは誤りだ; fact4 & int6 -> int7: 「そのコップ酒は登山帽であるかもしくはそれは程近くない」ということは誤りだ; int5 & int7 -> int8: そのコップ酒は免れ難い; int8 & fact7 -> int9: そのコップ酒は荷重する; int4 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: あの関係下水道管理者は招き易い; int11 -> hypothesis;
$facts$ = fact1: もしもあの関係下水道管理者は招き易くないならば「「その小口は攻めるしおまけにそれはソフト開発である」ということは偽だ」ということは本当である fact2: もしその承役がコスト高であるということはないならばこのラポールは復号化するけどかったるいということはない fact3: あの関係下水道管理者は免れ難くない fact4: 「そのコップ酒は味気なくない」ということは事実だ fact5: 「その承役は招き易いということはない」ということは正しい fact6: 「このラポールはコスト高でない」ということは真実であるとしたら「それは復号化するかまたは攻めないか両方ともである」ということは成り立たない fact7: そのコップ酒が免れ難いとすれば荷重する fact8: もし仮にこのラポールが復号化するがかったるくないとするとそのコップ酒は荷重しない fact9: もしも「とある物は登山帽であるか程近くないかまたは両方だ」ということは成り立たないならそれは免れ難い fact10: なにがしかの物は味気なくないとすると「登山帽であるか程近くない」ということは嘘である fact11: 仮に「そのコップ酒は味気ないかもしくはそれは程近くないかあるいは両方だ」ということは偽であるなら「それはソフト開発である」ということは事実である fact12: あの関係下水道管理者はアプリケーション層でない fact13: もし仮に「その小口は攻めるし更にソフト開発だ」ということは誤りならその承役はコスト高でない ; $hypothesis$ = あの関係下水道管理者は招き易いかもしくは任すかあるいはどちらもである ; $proof$ = 
void -> assump1: 以下のように仮定する。あの関係下水道管理者は招き易くない; fact1 & assump1 -> int1: 「その小口は攻めるしまたそれはソフト開発である」ということは嘘である; int1 & fact13 -> int2: その承役はコスト高でない; int2 & fact2 -> int3: このラポールは復号化するけどかったるくない; int3 & fact8 -> int4: そのコップ酒は荷重しない; fact9 -> int5: もし「そのコップ酒は登山帽であるかもしくは程近くない」ということは偽であるなら「それは免れ難い」ということは事実である; fact10 -> int6: もしそのコップ酒は味気なくないならば「登山帽であるかあるいはそれは程近くない」ということは誤りだ; fact4 & int6 -> int7: 「そのコップ酒は登山帽であるかもしくはそれは程近くない」ということは誤りだ; int5 & int7 -> int8: そのコップ酒は免れ難い; int8 & fact7 -> int9: そのコップ酒は荷重する; int4 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: あの関係下水道管理者は招き易い; int11 -> hypothesis; __PROVED__
事実1: もしもあの関係下水道管理者は招き易くないならば「「その小口は攻めるしおまけにそれはソフト開発である」ということは偽だ」ということは本当である
事実2: もしその承役がコスト高であるということはないならばこのラポールは復号化するけどかったるいということはない
事実3: あの関係下水道管理者は免れ難くない
事実4: 「そのコップ酒は味気なくない」ということは事実だ
事実5: 「その承役は招き易いということはない」ということは正しい
事実6: 「このラポールはコスト高でない」ということは真実であるとしたら「それは復号化するかまたは攻めないか両方ともである」ということは成り立たない
事実7: そのコップ酒が免れ難いとすれば荷重する
事実8: もし仮にこのラポールが復号化するがかったるくないとするとそのコップ酒は荷重しない
事実9: もしも「とある物は登山帽であるか程近くないかまたは両方だ」ということは成り立たないならそれは免れ難い
事実10: なにがしかの物は味気なくないとすると「登山帽であるか程近くない」ということは嘘である
事実11: 仮に「そのコップ酒は味気ないかもしくはそれは程近くないかあるいは両方だ」ということは偽であるなら「それはソフト開発である」ということは事実である
事実12: あの関係下水道管理者はアプリケーション層でない
事実13: もし仮に「その小口は攻めるし更にソフト開発だ」ということは誤りならその承役はコスト高でない

仮説: あの関係下水道管理者は招き易いかもしくは任すかあるいはどちらもである
1. 仮定1: 以下のように仮定する。あの関係下水道管理者は招き易くない
2. 事実1と仮定1から、推論1: "「その小口は攻めるしまたそれはソフト開発である」ということは嘘である"が導かれる
3. 推論1と事実13から、推論2: "その承役はコスト高でない"が導かれる
4. 推論2と事実2から、推論3: "このラポールは復号化するけどかったるくない"が導かれる
5. 推論3と事実8から、推論4: "そのコップ酒は荷重しない"が導かれる
6. 事実9から、推論5: "もし「そのコップ酒は登山帽であるかもしくは程近くない」ということは偽であるなら「それは免れ難い」ということは事実である"が導かれる
7. 事実10から、推論6: "もしそのコップ酒は味気なくないならば「登山帽であるかあるいはそれは程近くない」ということは誤りだ"が導かれる
8. 事実4と推論6から、推論7: "「そのコップ酒は登山帽であるかもしくはそれは程近くない」ということは誤りだ"が導かれる
9. 推論5と推論7から、推論8: "そのコップ酒は免れ難い"が導かれる
10. 推論8と事実7から、推論9: "そのコップ酒は荷重する"が導かれる
11. 推論4と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、推論11: "あの関係下水道管理者は招き易い"が導かれる
13. 推論11から、仮説が導かれる

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