あの公方様は代入しない
fact1: この円周上が華々しくないとすればこの版本は華々しいかまたは強盗するかもしくはどちらもである fact2: もしその拓銀緊密取り引き先企業が中位でないが特許権使用料であるとすればこの円周上は特許権使用料でない fact3: この版本が華々しいとするとあの取り引き上は強盗する fact4: その拓銀緊密取り引き先企業は住み易くないしまた中位でない fact5: もしもこの円周上が華々しいとすればその拓銀緊密取り引き先企業は住み易い fact6: もしこの円周上が華々しくないならこの版本は華々しくないかあるいはそれは中位である fact7: この版本が華々しくないかあるいは強盗するとしたらあの取り引き上は特許権使用料だ fact8: 華々しくない物は代入するということはない fact9: もし仮に「吊り易い」ものがあるとするとあの公方様は代入する fact10: 仮にこの円周上が特許権使用料でないとしたら住み易くないし加えてそれは強盗する fact11: 仮に「特許権使用料であるか吊り易いかまたは両方ともな」物があるならあの公方様は代入する fact12: もし仮にこの円周上が華々しくないとしたらこの版本は華々しくないかそれは強盗する fact13: この版本は華々しいか中位であるかまたはどちらもである
void -> assump1: 以下のように仮定する。「この円周上は華々しい」ということは真実である; fact5 & assump1 -> int1: その拓銀緊密取り引き先企業は住み易い; fact4 -> int2: その拓銀緊密取り引き先企業は住み易くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この円周上は華々しくない; int4 & fact12 -> int5: この版本は華々しくないかまたはそれは強盗するかまたは両方だ; int5 & fact7 -> int6: あの取り引き上は特許権使用料である; int6 -> int7: あの取り引き上は特許権使用料であるかまたは吊り易いかまたはどちらもである; int7 -> int8: とあるものは特許権使用料であるかもしくはそれは吊り易い; int8 & fact11 -> hypothesis;
「あの公方様は代入しない」ということは本当だ
fact14 -> int9: もしあの公方様が華々しくないならそれは代入するということはない;
$facts$ = fact1: この円周上が華々しくないとすればこの版本は華々しいかまたは強盗するかもしくはどちらもである fact2: もしその拓銀緊密取り引き先企業が中位でないが特許権使用料であるとすればこの円周上は特許権使用料でない fact3: この版本が華々しいとするとあの取り引き上は強盗する fact4: その拓銀緊密取り引き先企業は住み易くないしまた中位でない fact5: もしもこの円周上が華々しいとすればその拓銀緊密取り引き先企業は住み易い fact6: もしこの円周上が華々しくないならこの版本は華々しくないかあるいはそれは中位である fact7: この版本が華々しくないかあるいは強盗するとしたらあの取り引き上は特許権使用料だ fact8: 華々しくない物は代入するということはない fact9: もし仮に「吊り易い」ものがあるとするとあの公方様は代入する fact10: 仮にこの円周上が特許権使用料でないとしたら住み易くないし加えてそれは強盗する fact11: 仮に「特許権使用料であるか吊り易いかまたは両方ともな」物があるならあの公方様は代入する fact12: もし仮にこの円周上が華々しくないとしたらこの版本は華々しくないかそれは強盗する fact13: この版本は華々しいか中位であるかまたはどちらもである ; $hypothesis$ = あの公方様は代入しない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この円周上は華々しい」ということは真実である; fact5 & assump1 -> int1: その拓銀緊密取り引き先企業は住み易い; fact4 -> int2: その拓銀緊密取り引き先企業は住み易くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この円周上は華々しくない; int4 & fact12 -> int5: この版本は華々しくないかまたはそれは強盗するかまたは両方だ; int5 & fact7 -> int6: あの取り引き上は特許権使用料である; int6 -> int7: あの取り引き上は特許権使用料であるかまたは吊り易いかまたはどちらもである; int7 -> int8: とあるものは特許権使用料であるかもしくはそれは吊り易い; int8 & fact11 -> hypothesis; __DISPROVED__
事実1: この円周上が華々しくないとすればこの版本は華々しいかまたは強盗するかもしくはどちらもである
事実2: もしその拓銀緊密取り引き先企業が中位でないが特許権使用料であるとすればこの円周上は特許権使用料でない
事実3: この版本が華々しいとするとあの取り引き上は強盗する
事実4: その拓銀緊密取り引き先企業は住み易くないしまた中位でない
事実5: もしもこの円周上が華々しいとすればその拓銀緊密取り引き先企業は住み易い
事実6: もしこの円周上が華々しくないならこの版本は華々しくないかあるいはそれは中位である
事実7: この版本が華々しくないかあるいは強盗するとしたらあの取り引き上は特許権使用料だ
事実8: 華々しくない物は代入するということはない
事実9: もし仮に「吊り易い」ものがあるとするとあの公方様は代入する
事実10: 仮にこの円周上が特許権使用料でないとしたら住み易くないし加えてそれは強盗する
事実11: 仮に「特許権使用料であるか吊り易いかまたは両方ともな」物があるならあの公方様は代入する
事実12: もし仮にこの円周上が華々しくないとしたらこの版本は華々しくないかそれは強盗する
事実13: この版本は華々しいか中位であるかまたはどちらもである

仮説: あの公方様は代入しない
1. 仮定1: 以下のように仮定する。「この円周上は華々しい」ということは真実である
2. 事実5と仮定1から、推論1: "その拓銀緊密取り引き先企業は住み易い"が導かれる
3. 事実4から、推論2: "その拓銀緊密取り引き先企業は住み易くない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この円周上は華々しくない"が導かれる
6. 推論4と事実12から、推論5: "この版本は華々しくないかまたはそれは強盗するかまたは両方だ"が導かれる
7. 推論5と事実7から、推論6: "あの取り引き上は特許権使用料である"が導かれる
8. 推論6から、推論7: "あの取り引き上は特許権使用料であるかまたは吊り易いかまたはどちらもである"が導かれる
9. 推論7から、推論8: "とあるものは特許権使用料であるかもしくはそれは吊り易い"が導かれる
10. 推論8と事実11から、仮説が否定される

よって、仮説が否定されました。