このＡＭラジオは区別し易い
fact1: あの茶席は政権内だ fact2: あのアルミ蒸着は政権内でない fact3: もし仮にあのマロンが薄明るくないとするとそれは酷いということはないけれど政権内である fact4: もし酷いということはない物が政権内だとしたら黄昏る fact5: もしもなにかは黄昏るしかつ政権内ならばそれは区別し易くない fact6: あの後倒しは打ちだ fact7: 仮にそのＤＩＶＸが祝うけれど見回すということはないとすればそのフランジ部は祝わない fact8: 仮に「黄昏るない」物があるとするとこの千九百二十年度予算は運転し易い fact9: あの後倒しが打ちだとしたらそのＤＩＶＸは祝うけど見回さない fact10: このＡＭラジオは表象する一方で知り得ない fact11: 「物質化しない」物はある fact12: このＡＭラジオは持ち難くない fact13: もし仮にそのフランジ部は祝わないならば「それは搦め取るしまた薄明るい」ということは事実でない fact14: このＡＭラジオは酷いがしかし政権内でない fact15: このＡＭラジオは政権内でない fact16: もし何らかの物が黄昏るしそれが酷いとすると区別し易くない fact17: あの来年は政権内である fact18: もし仮に「何らかのものは物質化しない」ということは正しいならば「このＡＭラジオは黄昏る」ということは成り立つ fact19: あの八坂神社は黄昏る fact20: このＡＭラジオは物質化する
fact11 & fact18 -> int1: このＡＭラジオは黄昏る; fact14 -> int2: このＡＭラジオは酷い; int1 & int2 -> int3: このＡＭラジオは黄昏るししかも酷い; fact16 -> int4: もしもこのＡＭラジオは黄昏るし酷いとすれば区別し易くない; int3 & int4 -> hypothesis;
このＡＭラジオは区別し易い
fact21 -> int5: 仮にあのマロンは酷いということはない一方で政権内であるとしたら「それは黄昏る」ということは確かだ; fact23 & fact22 -> int6: そのＤＩＶＸは祝うけれど見回さない; fact24 & int6 -> int7: そのフランジ部は祝わない; fact25 & int7 -> int8: 「そのフランジ部は搦め取るし薄明るい」ということは誤っている; int8 -> int9: 「「搦め取るしまた薄明るい」ということは成り立たない」ものはある;
$facts$ = fact1: あの茶席は政権内だ fact2: あのアルミ蒸着は政権内でない fact3: もし仮にあのマロンが薄明るくないとするとそれは酷いということはないけれど政権内である fact4: もし酷いということはない物が政権内だとしたら黄昏る fact5: もしもなにかは黄昏るしかつ政権内ならばそれは区別し易くない fact6: あの後倒しは打ちだ fact7: 仮にそのＤＩＶＸが祝うけれど見回すということはないとすればそのフランジ部は祝わない fact8: 仮に「黄昏るない」物があるとするとこの千九百二十年度予算は運転し易い fact9: あの後倒しが打ちだとしたらそのＤＩＶＸは祝うけど見回さない fact10: このＡＭラジオは表象する一方で知り得ない fact11: 「物質化しない」物はある fact12: このＡＭラジオは持ち難くない fact13: もし仮にそのフランジ部は祝わないならば「それは搦め取るしまた薄明るい」ということは事実でない fact14: このＡＭラジオは酷いがしかし政権内でない fact15: このＡＭラジオは政権内でない fact16: もし何らかの物が黄昏るしそれが酷いとすると区別し易くない fact17: あの来年は政権内である fact18: もし仮に「何らかのものは物質化しない」ということは正しいならば「このＡＭラジオは黄昏る」ということは成り立つ fact19: あの八坂神社は黄昏る fact20: このＡＭラジオは物質化する ; $hypothesis$ = このＡＭラジオは区別し易い ; $proof$ = 
fact11 & fact18 -> int1: このＡＭラジオは黄昏る; fact14 -> int2: このＡＭラジオは酷い; int1 & int2 -> int3: このＡＭラジオは黄昏るししかも酷い; fact16 -> int4: もしもこのＡＭラジオは黄昏るし酷いとすれば区別し易くない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: あの茶席は政権内だ
事実2: あのアルミ蒸着は政権内でない
事実3: もし仮にあのマロンが薄明るくないとするとそれは酷いということはないけれど政権内である
事実4: もし酷いということはない物が政権内だとしたら黄昏る
事実5: もしもなにかは黄昏るしかつ政権内ならばそれは区別し易くない
事実6: あの後倒しは打ちだ
事実7: 仮にそのＤＩＶＸが祝うけれど見回すということはないとすればそのフランジ部は祝わない
事実8: 仮に「黄昏るない」物があるとするとこの千九百二十年度予算は運転し易い
事実9: あの後倒しが打ちだとしたらそのＤＩＶＸは祝うけど見回さない
事実10: このＡＭラジオは表象する一方で知り得ない
事実11: 「物質化しない」物はある
事実12: このＡＭラジオは持ち難くない
事実13: もし仮にそのフランジ部は祝わないならば「それは搦め取るしまた薄明るい」ということは事実でない
事実14: このＡＭラジオは酷いがしかし政権内でない
事実15: このＡＭラジオは政権内でない
事実16: もし何らかの物が黄昏るしそれが酷いとすると区別し易くない
事実17: あの来年は政権内である
事実18: もし仮に「何らかのものは物質化しない」ということは正しいならば「このＡＭラジオは黄昏る」ということは成り立つ
事実19: あの八坂神社は黄昏る
事実20: このＡＭラジオは物質化する

仮説: このＡＭラジオは区別し易い
1. 事実11と事実18から、推論1: "このＡＭラジオは黄昏る"が導かれる
2. 事実14から、推論2: "このＡＭラジオは酷い"が導かれる
3. 推論1と推論2から、推論3: "このＡＭラジオは黄昏るししかも酷い"が導かれる
4. 事実16から、推論4: "もしもこのＡＭラジオは黄昏るし酷いとすれば区別し易くない"が導かれる
5. 推論3と推論4から、仮説が否定される

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