その先進事例は変数Ｄアットであるが構え易くない
fact1: 仮に「その少子・高齢化はのろのろするかもしくはそれは変数Ｄアットでない」ということは成り立たないならあの一族・家臣団は書くということはない fact2: もしその少子・高齢化は変数Ｄアットでないとしたら「その先進事例は変数Ｄアットだ一方で構え易くない」ということは成り立たない fact3: その足利尊氏等は書く fact4: 仮に「あの一族・家臣団はのろのろするかあるいはそれはすこい」ということは成り立たないならばその少子・高齢化は変数Ｄアットでない fact5: 仮にあの一族・家臣団は書くとすれば「のろのろするかもしくはすこいということはない」ということは嘘である fact6: もしそのトマト君が大人気無いとするとこの正義心は灰白色だけれど訪室しない fact7: 「あの一族・家臣団はすこいがしかし変数Ｄアットでない」ということは成り立たない fact8: もしその先進事例は同盟罷業だということはないとすれば「その少子・高齢化は変数Ｄアットであるが気忙しくない」ということは成り立つ fact9: 仮にこの正義心が灰白色であるが訪室しないとしたらその先進事例は同盟罷業でない fact10: 「その先進事例は変数Ｄアットであるし構え易い」ということは成り立たない fact11: あの一族・家臣団はすこい fact12: もしもその少子・高齢化が変数Ｄアットである一方で気忙しくないならばあの一族・家臣団は変数Ｄアットでない fact13: 仮にあの一族・家臣団は変数Ｄアットでないとすれば「その先進事例は変数Ｄアットだけれどのろのろしない」ということは間違っている fact14: もし何らかのものが書くということはないとするとそれは変数Ｄアットだけれど構え易くない fact15: その少子・高齢化は変数Ｄアットでないならば「その先進事例は変数Ｄアットであるしおまけに構え易い」ということは誤りである fact16: もしあの一族・家臣団が書くとしたらすこい fact17: あの一族・家臣団は書く fact18: 「あの一族・家臣団はのろのろするかまたはそれはすこくないか両方ともである」ということは誤りであるとすればその少子・高齢化は変数Ｄアットでない fact19: 仮にあの一族・家臣団が変数Ｄアットでないとすればこの完全親子会社関係は構え易くておまけに書く fact20: 「その先進事例は書くかまたは構え易くないか両方だ」ということは正しくないとすればあの一族・家臣団はすこくない
fact5 & fact17 -> int1: 「あの一族・家臣団はのろのろするかまたはすこくないかあるいはどちらもだ」ということは偽だ; int1 & fact18 -> int2: 「その少子・高齢化は変数Ｄアットでない」ということは成り立つ; int2 & fact2 -> hypothesis;
fact5 & fact17 -> int1: ¬({AA}{a} v ¬{AB}{a}); int1 & fact18 -> int2: ¬{B}{b}; int2 & fact2 -> hypothesis;
この完全親子会社関係は構え易い
$facts$ = fact1: 仮に「その少子・高齢化はのろのろするかもしくはそれは変数Ｄアットでない」ということは成り立たないならあの一族・家臣団は書くということはない fact2: もしその少子・高齢化は変数Ｄアットでないとしたら「その先進事例は変数Ｄアットだ一方で構え易くない」ということは成り立たない fact3: その足利尊氏等は書く fact4: 仮に「あの一族・家臣団はのろのろするかあるいはそれはすこい」ということは成り立たないならばその少子・高齢化は変数Ｄアットでない fact5: 仮にあの一族・家臣団は書くとすれば「のろのろするかもしくはすこいということはない」ということは嘘である fact6: もしそのトマト君が大人気無いとするとこの正義心は灰白色だけれど訪室しない fact7: 「あの一族・家臣団はすこいがしかし変数Ｄアットでない」ということは成り立たない fact8: もしその先進事例は同盟罷業だということはないとすれば「その少子・高齢化は変数Ｄアットであるが気忙しくない」ということは成り立つ fact9: 仮にこの正義心が灰白色であるが訪室しないとしたらその先進事例は同盟罷業でない fact10: 「その先進事例は変数Ｄアットであるし構え易い」ということは成り立たない fact11: あの一族・家臣団はすこい fact12: もしもその少子・高齢化が変数Ｄアットである一方で気忙しくないならばあの一族・家臣団は変数Ｄアットでない fact13: 仮にあの一族・家臣団は変数Ｄアットでないとすれば「その先進事例は変数Ｄアットだけれどのろのろしない」ということは間違っている fact14: もし何らかのものが書くということはないとするとそれは変数Ｄアットだけれど構え易くない fact15: その少子・高齢化は変数Ｄアットでないならば「その先進事例は変数Ｄアットであるしおまけに構え易い」ということは誤りである fact16: もしあの一族・家臣団が書くとしたらすこい fact17: あの一族・家臣団は書く fact18: 「あの一族・家臣団はのろのろするかまたはそれはすこくないか両方ともである」ということは誤りであるとすればその少子・高齢化は変数Ｄアットでない fact19: 仮にあの一族・家臣団が変数Ｄアットでないとすればこの完全親子会社関係は構え易くておまけに書く fact20: 「その先進事例は書くかまたは構え易くないか両方だ」ということは正しくないとすればあの一族・家臣団はすこくない ; $hypothesis$ = その先進事例は変数Ｄアットであるが構え易くない ; $proof$ = 
fact5 & fact17 -> int1: 「あの一族・家臣団はのろのろするかまたはすこくないかあるいはどちらもだ」ということは偽だ; int1 & fact18 -> int2: 「その少子・高齢化は変数Ｄアットでない」ということは成り立つ; int2 & fact2 -> hypothesis; __DISPROVED__
事実1: 仮に「その少子・高齢化はのろのろするかもしくはそれは変数Ｄアットでない」ということは成り立たないならあの一族・家臣団は書くということはない
事実2: もしその少子・高齢化は変数Ｄアットでないとしたら「その先進事例は変数Ｄアットだ一方で構え易くない」ということは成り立たない
事実3: その足利尊氏等は書く
事実4: 仮に「あの一族・家臣団はのろのろするかあるいはそれはすこい」ということは成り立たないならばその少子・高齢化は変数Ｄアットでない
事実5: 仮にあの一族・家臣団は書くとすれば「のろのろするかもしくはすこいということはない」ということは嘘である
事実6: もしそのトマト君が大人気無いとするとこの正義心は灰白色だけれど訪室しない
事実7: 「あの一族・家臣団はすこいがしかし変数Ｄアットでない」ということは成り立たない
事実8: もしその先進事例は同盟罷業だということはないとすれば「その少子・高齢化は変数Ｄアットであるが気忙しくない」ということは成り立つ
事実9: 仮にこの正義心が灰白色であるが訪室しないとしたらその先進事例は同盟罷業でない
事実10: 「その先進事例は変数Ｄアットであるし構え易い」ということは成り立たない
事実11: あの一族・家臣団はすこい
事実12: もしもその少子・高齢化が変数Ｄアットである一方で気忙しくないならばあの一族・家臣団は変数Ｄアットでない
事実13: 仮にあの一族・家臣団は変数Ｄアットでないとすれば「その先進事例は変数Ｄアットだけれどのろのろしない」ということは間違っている
事実14: もし何らかのものが書くということはないとするとそれは変数Ｄアットだけれど構え易くない
事実15: その少子・高齢化は変数Ｄアットでないならば「その先進事例は変数Ｄアットであるしおまけに構え易い」ということは誤りである
事実16: もしあの一族・家臣団が書くとしたらすこい
事実17: あの一族・家臣団は書く
事実18: 「あの一族・家臣団はのろのろするかまたはそれはすこくないか両方ともである」ということは誤りであるとすればその少子・高齢化は変数Ｄアットでない
事実19: 仮にあの一族・家臣団が変数Ｄアットでないとすればこの完全親子会社関係は構え易くておまけに書く
事実20: 「その先進事例は書くかまたは構え易くないか両方だ」ということは正しくないとすればあの一族・家臣団はすこくない

仮説: その先進事例は変数Ｄアットであるが構え易くない
1. 事実5と事実17から、推論1: "「あの一族・家臣団はのろのろするかまたはすこくないかあるいはどちらもだ」ということは偽だ"が導かれる
2. 推論1と事実18から、推論2: "「その少子・高齢化は変数Ｄアットでない」ということは成り立つ"が導かれる
3. 推論2と事実2から、仮説が否定される

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