この別宅は覚束無い
fact1: もし仮に「その敗戦時は二転三転するかまたは各遺伝子であるかあるいはどちらもである」ということは偽であるとしたらこの品性は計算すらない fact2: 「その仕入れ値は枠外プレミアムであるということはないしその上進め易くない」ということは偽だ fact3: 「このドイツ兵は瑞々しくて浅し」ということは偽だ fact4: なにがしかのものが掻き上げるとするとそれは計算すということはない fact5: 仮に瑞々しくないしさらに浅しものがあるとすればこの別宅は覚束無い fact6: 仮にその仕入れ値は進め易いなら「その血清型は掻き上げる」ということは真実だ fact7: もしなにかは各遺伝子だとしたら零．二Ｚである fact8: 仮にこのドイツ兵は零．二Ｚでないとしたら「その敗戦時は二転三転するかあるいは各遺伝子であるかまたは両方である」ということは偽である fact9: 仮にその血清型が計算すらなくて更に情報漏洩でないとすればこの品性は計算す fact10: 零．二Ｚは焼け石でないし二転三転しない fact11: 何かは計算すとするとそれは各遺伝子である fact12: 仮に「このドイツ兵は瑞々しくないけど浅し」ということは成り立つということはないならそれは零．二Ｚでない fact13: その敗戦時は各遺伝子でない fact14: もしなにがしかのものが掻き上げれば計算すらないしそれは情報漏洩でない fact15: もし「その仕入れ値は枠外プレミアムでないしさらに進め易いということはない」ということは偽であるとすると「その血清型は掻き上げる」ということは正しい
void -> assump1: 以下のように仮定する。「このドイツ兵は瑞々しくないがしかし浅し」ということは成り立たない; fact12 & assump1 -> int1: このドイツ兵は零．二Ｚでない; int1 & fact8 -> int2: 「その敗戦時は二転三転するかまたはそれは各遺伝子であるかあるいは両方である」ということは嘘だ; int2 & fact1 -> int3: この品性は計算すらない; fact15 & fact2 -> int4: その血清型は掻き上げる; fact14 -> int5: その血清型が掻き上げるならそれは計算すらないしそれは情報漏洩でない; int4 & int5 -> int6: 「その血清型は計算すらなくて情報漏洩であるということはない」ということは嘘でない; int6 & fact9 -> int7: この品性は計算す; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: このドイツ兵は瑞々しいということはないがしかしそれは浅し; int9 -> int10: 何らかのものは瑞々しくないけどそれは浅し; int10 & fact5 -> hypothesis;
その仕入れ値は焼け石でないしそれは二転三転しない
fact17 -> int11: もしもその仕入れ値が零．二Ｚだとしたらそれは焼け石でなくて二転三転しない; fact16 -> int12: もし仮にその仕入れ値は各遺伝子であるならば零．二Ｚである; fact18 -> int13: もしその仕入れ値が計算すとすれば各遺伝子だ;
$facts$ = fact1: もし仮に「その敗戦時は二転三転するかまたは各遺伝子であるかあるいはどちらもである」ということは偽であるとしたらこの品性は計算すらない fact2: 「その仕入れ値は枠外プレミアムであるということはないしその上進め易くない」ということは偽だ fact3: 「このドイツ兵は瑞々しくて浅し」ということは偽だ fact4: なにがしかのものが掻き上げるとするとそれは計算すということはない fact5: 仮に瑞々しくないしさらに浅しものがあるとすればこの別宅は覚束無い fact6: 仮にその仕入れ値は進め易いなら「その血清型は掻き上げる」ということは真実だ fact7: もしなにかは各遺伝子だとしたら零．二Ｚである fact8: 仮にこのドイツ兵は零．二Ｚでないとしたら「その敗戦時は二転三転するかあるいは各遺伝子であるかまたは両方である」ということは偽である fact9: 仮にその血清型が計算すらなくて更に情報漏洩でないとすればこの品性は計算す fact10: 零．二Ｚは焼け石でないし二転三転しない fact11: 何かは計算すとするとそれは各遺伝子である fact12: 仮に「このドイツ兵は瑞々しくないけど浅し」ということは成り立つということはないならそれは零．二Ｚでない fact13: その敗戦時は各遺伝子でない fact14: もしなにがしかのものが掻き上げれば計算すらないしそれは情報漏洩でない fact15: もし「その仕入れ値は枠外プレミアムでないしさらに進め易いということはない」ということは偽であるとすると「その血清型は掻き上げる」ということは正しい ; $hypothesis$ = この別宅は覚束無い ; $proof$ = 
void -> assump1: 以下のように仮定する。「このドイツ兵は瑞々しくないがしかし浅し」ということは成り立たない; fact12 & assump1 -> int1: このドイツ兵は零．二Ｚでない; int1 & fact8 -> int2: 「その敗戦時は二転三転するかまたはそれは各遺伝子であるかあるいは両方である」ということは嘘だ; int2 & fact1 -> int3: この品性は計算すらない; fact15 & fact2 -> int4: その血清型は掻き上げる; fact14 -> int5: その血清型が掻き上げるならそれは計算すらないしそれは情報漏洩でない; int4 & int5 -> int6: 「その血清型は計算すらなくて情報漏洩であるということはない」ということは嘘でない; int6 & fact9 -> int7: この品性は計算す; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: このドイツ兵は瑞々しいということはないがしかしそれは浅し; int9 -> int10: 何らかのものは瑞々しくないけどそれは浅し; int10 & fact5 -> hypothesis; __PROVED__
事実1: もし仮に「その敗戦時は二転三転するかまたは各遺伝子であるかあるいはどちらもである」ということは偽であるとしたらこの品性は計算すらない
事実2: 「その仕入れ値は枠外プレミアムであるということはないしその上進め易くない」ということは偽だ
事実3: 「このドイツ兵は瑞々しくて浅し」ということは偽だ
事実4: なにがしかのものが掻き上げるとするとそれは計算すということはない
事実5: 仮に瑞々しくないしさらに浅しものがあるとすればこの別宅は覚束無い
事実6: 仮にその仕入れ値は進め易いなら「その血清型は掻き上げる」ということは真実だ
事実7: もしなにかは各遺伝子だとしたら零．二Ｚである
事実8: 仮にこのドイツ兵は零．二Ｚでないとしたら「その敗戦時は二転三転するかあるいは各遺伝子であるかまたは両方である」ということは偽である
事実9: 仮にその血清型が計算すらなくて更に情報漏洩でないとすればこの品性は計算す
事実10: 零．二Ｚは焼け石でないし二転三転しない
事実11: 何かは計算すとするとそれは各遺伝子である
事実12: 仮に「このドイツ兵は瑞々しくないけど浅し」ということは成り立つということはないならそれは零．二Ｚでない
事実13: その敗戦時は各遺伝子でない
事実14: もしなにがしかのものが掻き上げれば計算すらないしそれは情報漏洩でない
事実15: もし「その仕入れ値は枠外プレミアムでないしさらに進め易いということはない」ということは偽であるとすると「その血清型は掻き上げる」ということは正しい

仮説: この別宅は覚束無い
1. 仮定1: 以下のように仮定する。「このドイツ兵は瑞々しくないがしかし浅し」ということは成り立たない
2. 事実12と仮定1から、推論1: "このドイツ兵は零．二Ｚでない"が導かれる
3. 推論1と事実8から、推論2: "「その敗戦時は二転三転するかまたはそれは各遺伝子であるかあるいは両方である」ということは嘘だ"が導かれる
4. 推論2と事実1から、推論3: "この品性は計算すらない"が導かれる
5. 事実15と事実2から、推論4: "その血清型は掻き上げる"が導かれる
6. 事実14から、推論5: "その血清型が掻き上げるならそれは計算すらないしそれは情報漏洩でない"が導かれる
7. 推論4と推論5から、推論6: "「その血清型は計算すらなくて情報漏洩であるということはない」ということは嘘でない"が導かれる
8. 推論6と事実9から、推論7: "この品性は計算す"が導かれる
9. 推論3と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "このドイツ兵は瑞々しいということはないがしかしそれは浅し"が導かれる
11. 推論9から、推論10: "何らかのものは瑞々しくないけどそれは浅し"が導かれる
12. 推論10と事実5から、仮説が導かれる

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