あの著作権管理機能は阿呆らしくないけど転び易い
fact1: もしもある物が同軸でないけれどそれがすげないとすればそれは阿呆らしくない fact2: もしもなにがしかの物が同軸でないとするとそれはすげないかあるいは阿呆らしいか両方ともである fact3: 仮にそのアメリカ各地が同軸でないとしたらこの年金共済契約は同軸でないけどすげない fact4: あの著作権管理機能はすげないかあるいはそれは阿呆らしいかもしくはどちらもである fact5: もし仮に「そのアメリカ各地は同軸である」ということは間違いならばあの年金共済契約は同軸でない fact6: もしもこの年金共済契約は阿呆らしくないとしたら「「あの著作権管理機能は阿呆らしくないけど転び易い」ということは成り立たない」ということは成り立つ fact7: この表高は死ぬかあるいはそれは保ち易いかもしくは両方ともである fact8: 「あの著作権管理機能は阿呆らしいし転び易い」ということは正しくない fact9: この表高が生き辛くないとすればそれは損益予想であるかあるいはすげないということはないかもしくは両方である fact10: あの著作権管理機能が転び易いかまたは死ぬか両方だとするとこの表高は同軸でない fact11: もしもこの年金共済契約が阿呆らしいとしたらそれは死なないがしかし際限無い fact12: この年金共済契約は同軸でない fact13: 仮にこの表高が死ぬかもしくは保ち易いかあるいは両方ともだとすればそのアメリカ各地は同軸でない fact14: この表高が死ぬとしたらそのアメリカ各地は同軸でない
fact13 & fact7 -> int1: そのアメリカ各地は同軸であるということはない; int1 & fact3 -> int2: 「この年金共済契約は同軸でないがしかしすげない」ということは成り立つ; fact1 -> int3: もし仮にこの年金共済契約が同軸でないがそれがすげないならば阿呆らしくない; int2 & int3 -> int4: この年金共済契約は阿呆らしいということはない; int4 & fact6 -> hypothesis;
あの著作権管理機能は阿呆らしくない一方で転び易い
$facts$ = fact1: もしもある物が同軸でないけれどそれがすげないとすればそれは阿呆らしくない fact2: もしもなにがしかの物が同軸でないとするとそれはすげないかあるいは阿呆らしいか両方ともである fact3: 仮にそのアメリカ各地が同軸でないとしたらこの年金共済契約は同軸でないけどすげない fact4: あの著作権管理機能はすげないかあるいはそれは阿呆らしいかもしくはどちらもである fact5: もし仮に「そのアメリカ各地は同軸である」ということは間違いならばあの年金共済契約は同軸でない fact6: もしもこの年金共済契約は阿呆らしくないとしたら「「あの著作権管理機能は阿呆らしくないけど転び易い」ということは成り立たない」ということは成り立つ fact7: この表高は死ぬかあるいはそれは保ち易いかもしくは両方ともである fact8: 「あの著作権管理機能は阿呆らしいし転び易い」ということは正しくない fact9: この表高が生き辛くないとすればそれは損益予想であるかあるいはすげないということはないかもしくは両方である fact10: あの著作権管理機能が転び易いかまたは死ぬか両方だとするとこの表高は同軸でない fact11: もしもこの年金共済契約が阿呆らしいとしたらそれは死なないがしかし際限無い fact12: この年金共済契約は同軸でない fact13: 仮にこの表高が死ぬかもしくは保ち易いかあるいは両方ともだとすればそのアメリカ各地は同軸でない fact14: この表高が死ぬとしたらそのアメリカ各地は同軸でない ; $hypothesis$ = あの著作権管理機能は阿呆らしくないけど転び易い ; $proof$ = 
fact13 & fact7 -> int1: そのアメリカ各地は同軸であるということはない; int1 & fact3 -> int2: 「この年金共済契約は同軸でないがしかしすげない」ということは成り立つ; fact1 -> int3: もし仮にこの年金共済契約が同軸でないがそれがすげないならば阿呆らしくない; int2 & int3 -> int4: この年金共済契約は阿呆らしいということはない; int4 & fact6 -> hypothesis; __DISPROVED__
事実1: もしもある物が同軸でないけれどそれがすげないとすればそれは阿呆らしくない
事実2: もしもなにがしかの物が同軸でないとするとそれはすげないかあるいは阿呆らしいか両方ともである
事実3: 仮にそのアメリカ各地が同軸でないとしたらこの年金共済契約は同軸でないけどすげない
事実4: あの著作権管理機能はすげないかあるいはそれは阿呆らしいかもしくはどちらもである
事実5: もし仮に「そのアメリカ各地は同軸である」ということは間違いならばあの年金共済契約は同軸でない
事実6: もしもこの年金共済契約は阿呆らしくないとしたら「「あの著作権管理機能は阿呆らしくないけど転び易い」ということは成り立たない」ということは成り立つ
事実7: この表高は死ぬかあるいはそれは保ち易いかもしくは両方ともである
事実8: 「あの著作権管理機能は阿呆らしいし転び易い」ということは正しくない
事実9: この表高が生き辛くないとすればそれは損益予想であるかあるいはすげないということはないかもしくは両方である
事実10: あの著作権管理機能が転び易いかまたは死ぬか両方だとするとこの表高は同軸でない
事実11: もしもこの年金共済契約が阿呆らしいとしたらそれは死なないがしかし際限無い
事実12: この年金共済契約は同軸でない
事実13: 仮にこの表高が死ぬかもしくは保ち易いかあるいは両方ともだとすればそのアメリカ各地は同軸でない
事実14: この表高が死ぬとしたらそのアメリカ各地は同軸でない

仮説: あの著作権管理機能は阿呆らしくないけど転び易い
1. 事実13と事実7から、推論1: "そのアメリカ各地は同軸であるということはない"が導かれる
2. 推論1と事実3から、推論2: "「この年金共済契約は同軸でないがしかしすげない」ということは成り立つ"が導かれる
3. 事実1から、推論3: "もし仮にこの年金共済契約が同軸でないがそれがすげないならば阿呆らしくない"が導かれる
4. 推論2と推論3から、推論4: "この年金共済契約は阿呆らしいということはない"が導かれる
5. 推論4と事実6から、仮説が否定される

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