「あの武辺城がレイヤーグループだとするとあの政治部は消化し難い一方で御手付きでない」ということは成り立たない
fact1: もしあるものが御手付きでしかもそれが応募者利回りであるならこのドイツ空軍はレイヤーグループでない fact2: このドイツ空軍は応募者利回りだ fact3: 仮に御手付きは応募者利回りだとしたら「あの武辺城はレイヤーグループであるということはない」ということは確かである fact4: もしあの武辺城がレイヤーグループであるならばあの政治部は御手付きでない fact5: 仮にこのドイツ空軍が御手付きでないとするとあの政治部は御手付きだということはない fact6: もしこのドイツ空軍が御手付きでないとするとあの政治部は消化し難いけど御手付きでない fact7: もし仮にある物が御手付きであるしかつそれが応募者利回りであるとするとあの武辺城はレイヤーグループだ fact8: あの政治部は御手付きでない
void -> assump2: 以下のように仮定する。このドイツ空軍は御手付きである; assump2 & fact2 -> int1: このドイツ空軍は御手付きでそれは応募者利回りである; int1 -> int2: なにがしかのものは御手付きで応募者利回りだ; int2 & fact3 -> int3: あの武辺城はレイヤーグループでない; void -> assump1: 以下のように仮定する。あの武辺城はレイヤーグループである; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: このドイツ空軍は御手付きでない; int5 & fact6 -> int6: あの政治部は消化し難いけれど御手付きでない; [assump1] & int6 -> hypothesis;
$facts$ = fact1: もしあるものが御手付きでしかもそれが応募者利回りであるならこのドイツ空軍はレイヤーグループでない fact2: このドイツ空軍は応募者利回りだ fact3: 仮に御手付きは応募者利回りだとしたら「あの武辺城はレイヤーグループであるということはない」ということは確かである fact4: もしあの武辺城がレイヤーグループであるならばあの政治部は御手付きでない fact5: 仮にこのドイツ空軍が御手付きでないとするとあの政治部は御手付きだということはない fact6: もしこのドイツ空軍が御手付きでないとするとあの政治部は消化し難いけど御手付きでない fact7: もし仮にある物が御手付きであるしかつそれが応募者利回りであるとするとあの武辺城はレイヤーグループだ fact8: あの政治部は御手付きでない ; $hypothesis$ = 「あの武辺城がレイヤーグループだとするとあの政治部は消化し難い一方で御手付きでない」ということは成り立たない ; $proof$ = 
void -> assump2: 以下のように仮定する。このドイツ空軍は御手付きである; assump2 & fact2 -> int1: このドイツ空軍は御手付きでそれは応募者利回りである; int1 -> int2: なにがしかのものは御手付きで応募者利回りだ; int2 & fact3 -> int3: あの武辺城はレイヤーグループでない; void -> assump1: 以下のように仮定する。あの武辺城はレイヤーグループである; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: このドイツ空軍は御手付きでない; int5 & fact6 -> int6: あの政治部は消化し難いけれど御手付きでない; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: もしあるものが御手付きでしかもそれが応募者利回りであるならこのドイツ空軍はレイヤーグループでない
事実2: このドイツ空軍は応募者利回りだ
事実3: 仮に御手付きは応募者利回りだとしたら「あの武辺城はレイヤーグループであるということはない」ということは確かである
事実4: もしあの武辺城がレイヤーグループであるならばあの政治部は御手付きでない
事実5: 仮にこのドイツ空軍が御手付きでないとするとあの政治部は御手付きだということはない
事実6: もしこのドイツ空軍が御手付きでないとするとあの政治部は消化し難いけど御手付きでない
事実7: もし仮にある物が御手付きであるしかつそれが応募者利回りであるとするとあの武辺城はレイヤーグループだ
事実8: あの政治部は御手付きでない

仮説: 「あの武辺城がレイヤーグループだとするとあの政治部は消化し難い一方で御手付きでない」ということは成り立たない
1. 仮定2: 以下のように仮定する。このドイツ空軍は御手付きである
2. 仮定2と事実2から、推論1: "このドイツ空軍は御手付きでそれは応募者利回りである"が導かれる
3. 推論1から、推論2: "なにがしかのものは御手付きで応募者利回りだ"が導かれる
4. 推論2と事実3から、推論3: "あの武辺城はレイヤーグループでない"が導かれる
5. 仮定1: 以下のように仮定する。あの武辺城はレイヤーグループである
6. 推論3と仮定1から、推論4: "これは矛盾である"が導かれる
7. [仮定2]と推論4から、推論5: "このドイツ空軍は御手付きでない"が導かれる
8. 推論5と事実6から、推論6: "あの政治部は消化し難いけれど御手付きでない"が導かれる
9. [仮定1]と推論6から、仮説が否定される

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