このチャイナモップは古めかしい
fact1: もし「該当する」ものはあるなら「あの御付き合いは構成効果であるしその上承服出来る」ということは事実である fact2: もし仮に「「出入りし易いし更に掛け難い」ということは偽である」ものがあるとしたらこのチャイナモップは古めかしくない fact3: 来難いものは忌まわしくないけれど古めかしい fact4: 「出入りし易くない」物があるとしたらこのチャイナモップは古めかしくない fact5: もしも何らかの物はイメージし易いならば「それは忌まわしいが来難くない」ということは誤っている fact6: 「「古めかしくないしそれに曇り無し」ということは偽な」ものがあるならそのミラー指数は曇り無しということはない fact7: 「あの清風寨は忌まわしいしおまけにそれは古めかしい」ということは成り立たない fact8: あの清風寨は忌まわしくないとすると「出入りし易くて加えて掛け難い」ということは誤っている fact9: あの清風寨は忌まわしいということはない fact10: 「出入りし易いし加えて掛け難い」ものはある fact11: もし仮に何らかのものは構成効果ならば「それは権利付与でないし揺るぎない」ということは誤っている fact12: なにかは該当する fact13: もし仮に「「権利付与でないが揺るぎない」ということは誤りな」ものがあるとすればあの欧州特許権は揺るぎなくない fact14: もし仮に「この欧州特許権は揺るぎなくない」ということは成り立つとしたら「あの清風寨はイメージし易い一方で大伯父さんでない」ということは偽である
fact8 & fact9 -> int1: 「あの清風寨は出入りし易いしまた掛け難い」ということは事実と異なる; int1 -> int2: 「「出入りし易いししかも掛け難い」ということは偽な」物はある; int2 & fact2 -> hypothesis;
fact8 & fact9 -> int1: ¬({AA}{a} & {AB}{a}); int1 -> int2: (Ex): ¬({AA}x & {AB}x); int2 & fact2 -> hypothesis;
このチャイナモップは古めかしい
fact17 -> int3: もしこのチャイナモップが来難いとしたら忌まわしくなくてまたそれは古めかしい; fact15 -> int4: もし仮にあの御付き合いは構成効果であるとすれば「権利付与でないが揺るぎない」ということは誤りだ; fact20 & fact16 -> int5: あの御付き合いは構成効果であるしおまけにそれは承服出来る; int5 -> int6: あの御付き合いは構成効果である; int4 & int6 -> int7: 「あの御付き合いは権利付与であるということはないけどそれは揺るぎない」ということは誤っている; int7 -> int8: 「「権利付与でなくて加えて揺るぎない」ということは間違いである」物はある; int8 & fact18 -> int9: この欧州特許権は揺るぎなくない; fact19 & int9 -> int10: 「あの清風寨はイメージし易いがしかしそれは大伯父さんでない」ということは偽である; int10 -> int11: 「「イメージし易いけど大伯父さんでない」ということは事実と異なる」物はある;
$facts$ = fact1: もし「該当する」ものはあるなら「あの御付き合いは構成効果であるしその上承服出来る」ということは事実である fact2: もし仮に「「出入りし易いし更に掛け難い」ということは偽である」ものがあるとしたらこのチャイナモップは古めかしくない fact3: 来難いものは忌まわしくないけれど古めかしい fact4: 「出入りし易くない」物があるとしたらこのチャイナモップは古めかしくない fact5: もしも何らかの物はイメージし易いならば「それは忌まわしいが来難くない」ということは誤っている fact6: 「「古めかしくないしそれに曇り無し」ということは偽な」ものがあるならそのミラー指数は曇り無しということはない fact7: 「あの清風寨は忌まわしいしおまけにそれは古めかしい」ということは成り立たない fact8: あの清風寨は忌まわしくないとすると「出入りし易くて加えて掛け難い」ということは誤っている fact9: あの清風寨は忌まわしいということはない fact10: 「出入りし易いし加えて掛け難い」ものはある fact11: もし仮に何らかのものは構成効果ならば「それは権利付与でないし揺るぎない」ということは誤っている fact12: なにかは該当する fact13: もし仮に「「権利付与でないが揺るぎない」ということは誤りな」ものがあるとすればあの欧州特許権は揺るぎなくない fact14: もし仮に「この欧州特許権は揺るぎなくない」ということは成り立つとしたら「あの清風寨はイメージし易い一方で大伯父さんでない」ということは偽である ; $hypothesis$ = このチャイナモップは古めかしい ; $proof$ = 
fact8 & fact9 -> int1: 「あの清風寨は出入りし易いしまた掛け難い」ということは事実と異なる; int1 -> int2: 「「出入りし易いししかも掛け難い」ということは偽な」物はある; int2 & fact2 -> hypothesis; __DISPROVED__
事実1: もし「該当する」ものはあるなら「あの御付き合いは構成効果であるしその上承服出来る」ということは事実である
事実2: もし仮に「「出入りし易いし更に掛け難い」ということは偽である」ものがあるとしたらこのチャイナモップは古めかしくない
事実3: 来難いものは忌まわしくないけれど古めかしい
事実4: 「出入りし易くない」物があるとしたらこのチャイナモップは古めかしくない
事実5: もしも何らかの物はイメージし易いならば「それは忌まわしいが来難くない」ということは誤っている
事実6: 「「古めかしくないしそれに曇り無し」ということは偽な」ものがあるならそのミラー指数は曇り無しということはない
事実7: 「あの清風寨は忌まわしいしおまけにそれは古めかしい」ということは成り立たない
事実8: あの清風寨は忌まわしくないとすると「出入りし易くて加えて掛け難い」ということは誤っている
事実9: あの清風寨は忌まわしいということはない
事実10: 「出入りし易いし加えて掛け難い」ものはある
事実11: もし仮に何らかのものは構成効果ならば「それは権利付与でないし揺るぎない」ということは誤っている
事実12: なにかは該当する
事実13: もし仮に「「権利付与でないが揺るぎない」ということは誤りな」ものがあるとすればあの欧州特許権は揺るぎなくない
事実14: もし仮に「この欧州特許権は揺るぎなくない」ということは成り立つとしたら「あの清風寨はイメージし易い一方で大伯父さんでない」ということは偽である

仮説: このチャイナモップは古めかしい
1. 事実8と事実9から、推論1: "「あの清風寨は出入りし易いしまた掛け難い」ということは事実と異なる"が導かれる
2. 推論1から、推論2: "「「出入りし易いししかも掛け難い」ということは偽な」物はある"が導かれる
3. 推論2と事実2から、仮説が否定される

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