あのブライトリング・イーグルスは婦長さんでない
fact1: 仮にあの言語共同体が資産負債だとすればそれは一型ポゴ機だ fact2: もしこの沈線が無抵抗でなくてそれが振り上げないとしたらあのブライトリング・イーグルスは婦長さんだ fact3: 「あのブライトリング・イーグルスは無抵抗であるがしかし婦長さんでない」ということは間違いである fact4: もしとあるものは資産負債であるとしたら「それは変化量だ一方で太陽光発電であるということはない」ということは真実でない fact5: もし仮にこの沈線が無抵抗だけれど振り上げないならあのブライトリング・イーグルスは婦長さんである fact6: 捕らわれ易いものは婦長さんでないかまたは太陽光発電であるかあるいは両方ともである fact7: あの言語共同体は長岡宮でない fact8: 「あの言語共同体は捕らわれ易くない」ということは成り立つ fact9: もしあの言語共同体が捕らわれ易いということはないとするとそれは変化量であるが長岡宮でない fact10: もし仮になんらかのものが婦長さんでないかまたはそれは太陽光発電であるか両方ともであるなら婦長さんでない fact11: あの言語共同体は飛行機らしい fact12: あの商品ＩＤが振り上げるとするとそれは無抵抗でないし加えて婦長さんである fact13: 「全てのものは予測し得る」ということは確かである fact14: あの言語共同体が捕らわれ易くないとしたら長岡宮でない fact15: もしもなにがしかの物が太陽光発電だとすればそれは無抵抗だ fact16: すべてのものは資産負債で加えて予測し得る fact17: 仮に「あの言語共同体は無抵抗だ」ということは事実であるとしたらこの沈線は無抵抗であるということはなくてかつ振り上げない fact18: もし仮に「あのブライトリング・イーグルスは太陽光発電だ」ということは間違っていないならあの言語共同体は太陽光発電でなくて婦長さんでない fact19: あの言語共同体は予測し得る fact20: 「あの商品ＩＤは振り上げる」ということは本当だ
fact9 & fact8 -> int1: あの言語共同体が変化量だけど長岡宮でない; int1 -> int2: あの言語共同体は変化量だ; void -> assump1: 以下のように仮定する。あの言語共同体は太陽光発電でない; int2 & assump1 -> int3: あの言語共同体は変化量だが太陽光発電でない; fact16 -> int4: 「あの言語共同体は資産負債であるし予測し得る」ということは本当だ; int4 -> int5: あの言語共同体は資産負債だ; fact4 -> int6: もしもあの言語共同体は資産負債であるとすれば「変化量であるが太陽光発電でない」ということは間違いである; int5 & int6 -> int7: 「あの言語共同体は変化量だけれど太陽光発電でない」ということは間違いである; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの言語共同体は太陽光発電だ; fact15 -> int10: 仮にあの言語共同体は太陽光発電であるとすれば「それは無抵抗だ」ということは成り立つ; int9 & int10 -> int11: あの言語共同体は無抵抗である; int11 & fact17 -> int12: この沈線は無抵抗でないしその上それは振り上げない; int12 & fact2 -> hypothesis;
あのブライトリング・イーグルスは婦長さんでない
fact21 -> int13: もしもあのブライトリング・イーグルスが婦長さんだということはないかあるいは太陽光発電であるかどちらもだとしたら婦長さんでない; fact22 -> int14: 仮にあのブライトリング・イーグルスが捕らわれ易いとするとそれは婦長さんでないかまたは太陽光発電であるかまたは両方ともである;
$facts$ = fact1: 仮にあの言語共同体が資産負債だとすればそれは一型ポゴ機だ fact2: もしこの沈線が無抵抗でなくてそれが振り上げないとしたらあのブライトリング・イーグルスは婦長さんだ fact3: 「あのブライトリング・イーグルスは無抵抗であるがしかし婦長さんでない」ということは間違いである fact4: もしとあるものは資産負債であるとしたら「それは変化量だ一方で太陽光発電であるということはない」ということは真実でない fact5: もし仮にこの沈線が無抵抗だけれど振り上げないならあのブライトリング・イーグルスは婦長さんである fact6: 捕らわれ易いものは婦長さんでないかまたは太陽光発電であるかあるいは両方ともである fact7: あの言語共同体は長岡宮でない fact8: 「あの言語共同体は捕らわれ易くない」ということは成り立つ fact9: もしあの言語共同体が捕らわれ易いということはないとするとそれは変化量であるが長岡宮でない fact10: もし仮になんらかのものが婦長さんでないかまたはそれは太陽光発電であるか両方ともであるなら婦長さんでない fact11: あの言語共同体は飛行機らしい fact12: あの商品ＩＤが振り上げるとするとそれは無抵抗でないし加えて婦長さんである fact13: 「全てのものは予測し得る」ということは確かである fact14: あの言語共同体が捕らわれ易くないとしたら長岡宮でない fact15: もしもなにがしかの物が太陽光発電だとすればそれは無抵抗だ fact16: すべてのものは資産負債で加えて予測し得る fact17: 仮に「あの言語共同体は無抵抗だ」ということは事実であるとしたらこの沈線は無抵抗であるということはなくてかつ振り上げない fact18: もし仮に「あのブライトリング・イーグルスは太陽光発電だ」ということは間違っていないならあの言語共同体は太陽光発電でなくて婦長さんでない fact19: あの言語共同体は予測し得る fact20: 「あの商品ＩＤは振り上げる」ということは本当だ ; $hypothesis$ = あのブライトリング・イーグルスは婦長さんでない ; $proof$ = 
fact9 & fact8 -> int1: あの言語共同体が変化量だけど長岡宮でない; int1 -> int2: あの言語共同体は変化量だ; void -> assump1: 以下のように仮定する。あの言語共同体は太陽光発電でない; int2 & assump1 -> int3: あの言語共同体は変化量だが太陽光発電でない; fact16 -> int4: 「あの言語共同体は資産負債であるし予測し得る」ということは本当だ; int4 -> int5: あの言語共同体は資産負債だ; fact4 -> int6: もしもあの言語共同体は資産負債であるとすれば「変化量であるが太陽光発電でない」ということは間違いである; int5 & int6 -> int7: 「あの言語共同体は変化量だけれど太陽光発電でない」ということは間違いである; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの言語共同体は太陽光発電だ; fact15 -> int10: 仮にあの言語共同体は太陽光発電であるとすれば「それは無抵抗だ」ということは成り立つ; int9 & int10 -> int11: あの言語共同体は無抵抗である; int11 & fact17 -> int12: この沈線は無抵抗でないしその上それは振り上げない; int12 & fact2 -> hypothesis; __DISPROVED__
事実1: 仮にあの言語共同体が資産負債だとすればそれは一型ポゴ機だ
事実2: もしこの沈線が無抵抗でなくてそれが振り上げないとしたらあのブライトリング・イーグルスは婦長さんだ
事実3: 「あのブライトリング・イーグルスは無抵抗であるがしかし婦長さんでない」ということは間違いである
事実4: もしとあるものは資産負債であるとしたら「それは変化量だ一方で太陽光発電であるということはない」ということは真実でない
事実5: もし仮にこの沈線が無抵抗だけれど振り上げないならあのブライトリング・イーグルスは婦長さんである
事実6: 捕らわれ易いものは婦長さんでないかまたは太陽光発電であるかあるいは両方ともである
事実7: あの言語共同体は長岡宮でない
事実8: 「あの言語共同体は捕らわれ易くない」ということは成り立つ
事実9: もしあの言語共同体が捕らわれ易いということはないとするとそれは変化量であるが長岡宮でない
事実10: もし仮になんらかのものが婦長さんでないかまたはそれは太陽光発電であるか両方ともであるなら婦長さんでない
事実11: あの言語共同体は飛行機らしい
事実12: あの商品ＩＤが振り上げるとするとそれは無抵抗でないし加えて婦長さんである
事実13: 「全てのものは予測し得る」ということは確かである
事実14: あの言語共同体が捕らわれ易くないとしたら長岡宮でない
事実15: もしもなにがしかの物が太陽光発電だとすればそれは無抵抗だ
事実16: すべてのものは資産負債で加えて予測し得る
事実17: 仮に「あの言語共同体は無抵抗だ」ということは事実であるとしたらこの沈線は無抵抗であるということはなくてかつ振り上げない
事実18: もし仮に「あのブライトリング・イーグルスは太陽光発電だ」ということは間違っていないならあの言語共同体は太陽光発電でなくて婦長さんでない
事実19: あの言語共同体は予測し得る
事実20: 「あの商品ＩＤは振り上げる」ということは本当だ

仮説: あのブライトリング・イーグルスは婦長さんでない
1. 事実9と事実8から、推論1: "あの言語共同体が変化量だけど長岡宮でない"が導かれる
2. 推論1から、推論2: "あの言語共同体は変化量だ"が導かれる
3. 仮定1: 以下のように仮定する。あの言語共同体は太陽光発電でない
4. 推論2と仮定1から、推論3: "あの言語共同体は変化量だが太陽光発電でない"が導かれる
5. 事実16から、推論4: "「あの言語共同体は資産負債であるし予測し得る」ということは本当だ"が導かれる
6. 推論4から、推論5: "あの言語共同体は資産負債だ"が導かれる
7. 事実4から、推論6: "もしもあの言語共同体は資産負債であるとすれば「変化量であるが太陽光発電でない」ということは間違いである"が導かれる
8. 推論5と推論6から、推論7: "「あの言語共同体は変化量だけれど太陽光発電でない」ということは間違いである"が導かれる
9. 推論3と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "あの言語共同体は太陽光発電だ"が導かれる
11. 事実15から、推論10: "仮にあの言語共同体は太陽光発電であるとすれば「それは無抵抗だ」ということは成り立つ"が導かれる
12. 推論9と推論10から、推論11: "あの言語共同体は無抵抗である"が導かれる
13. 推論11と事実17から、推論12: "この沈線は無抵抗でないしその上それは振り上げない"が導かれる
14. 推論12と事実2から、仮説が否定される

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