「あの幽鬼は集まり易くないかし兼ねらないかもしくは両方である」ということは成り立つということはない
fact1: 「母体行でないけれど順応し易い」ものはあるならあの幽鬼はし兼ねらない fact2: 「もしあのメスフラスコが端金であるということはないならあのメスフラスコは習う」ということは確かである fact3: それは限局するということはないけどぷりぷりするというものはない fact4: あの幽鬼は集まり易くないかまたはし兼ねる fact5: あのＡＢＣＰは集まり易くない fact6: 「あのメスフラスコは限局しないけれどぷりぷりする」ということは誤りである fact7: もしあのメスフラスコが端金でないとしたらそれは習うしそれは順応し易い fact8: 「それは限局しなくてそれはぷりぷりしない」ということは事実だという物はない fact9: 仮に「あのメスフラスコは限局するということはないしぷりぷりするということはない」ということは誤っているなら端金でない fact10: 「あのメスフラスコは母体行でない」ということは確かだ fact11: 「御労しい」物はある fact12: あのメスフラスコがぷりぷりするとすればそれは端金でない
fact8 -> int1: 「「あのメスフラスコは限局しなくてぷりぷりしない」ということは嘘だ」ということは確かだ; int1 & fact9 -> int2: あのメスフラスコは端金であるということはない; int2 & fact7 -> int3: あのメスフラスコが習うしその上それは順応し易い; int3 -> int4: あのメスフラスコは順応し易い; int4 & fact10 -> int5: あのメスフラスコは母体行でないけれど順応し易い; int5 -> int6: なんらかのものは母体行でないけれど順応し易い; int6 & fact1 -> int7: あの幽鬼はし兼ねるということはない; int7 -> hypothesis;
$facts$ = fact1: 「母体行でないけれど順応し易い」ものはあるならあの幽鬼はし兼ねらない fact2: 「もしあのメスフラスコが端金であるということはないならあのメスフラスコは習う」ということは確かである fact3: それは限局するということはないけどぷりぷりするというものはない fact4: あの幽鬼は集まり易くないかまたはし兼ねる fact5: あのＡＢＣＰは集まり易くない fact6: 「あのメスフラスコは限局しないけれどぷりぷりする」ということは誤りである fact7: もしあのメスフラスコが端金でないとしたらそれは習うしそれは順応し易い fact8: 「それは限局しなくてそれはぷりぷりしない」ということは事実だという物はない fact9: 仮に「あのメスフラスコは限局するということはないしぷりぷりするということはない」ということは誤っているなら端金でない fact10: 「あのメスフラスコは母体行でない」ということは確かだ fact11: 「御労しい」物はある fact12: あのメスフラスコがぷりぷりするとすればそれは端金でない ; $hypothesis$ = 「あの幽鬼は集まり易くないかし兼ねらないかもしくは両方である」ということは成り立つということはない ; $proof$ = 
fact8 -> int1: 「「あのメスフラスコは限局しなくてぷりぷりしない」ということは嘘だ」ということは確かだ; int1 & fact9 -> int2: あのメスフラスコは端金であるということはない; int2 & fact7 -> int3: あのメスフラスコが習うしその上それは順応し易い; int3 -> int4: あのメスフラスコは順応し易い; int4 & fact10 -> int5: あのメスフラスコは母体行でないけれど順応し易い; int5 -> int6: なんらかのものは母体行でないけれど順応し易い; int6 & fact1 -> int7: あの幽鬼はし兼ねるということはない; int7 -> hypothesis; __DISPROVED__
事実1: 「母体行でないけれど順応し易い」ものはあるならあの幽鬼はし兼ねらない
事実2: 「もしあのメスフラスコが端金であるということはないならあのメスフラスコは習う」ということは確かである
事実3: それは限局するということはないけどぷりぷりするというものはない
事実4: あの幽鬼は集まり易くないかまたはし兼ねる
事実5: あのＡＢＣＰは集まり易くない
事実6: 「あのメスフラスコは限局しないけれどぷりぷりする」ということは誤りである
事実7: もしあのメスフラスコが端金でないとしたらそれは習うしそれは順応し易い
事実8: 「それは限局しなくてそれはぷりぷりしない」ということは事実だという物はない
事実9: 仮に「あのメスフラスコは限局するということはないしぷりぷりするということはない」ということは誤っているなら端金でない
事実10: 「あのメスフラスコは母体行でない」ということは確かだ
事実11: 「御労しい」物はある
事実12: あのメスフラスコがぷりぷりするとすればそれは端金でない

仮説: 「あの幽鬼は集まり易くないかし兼ねらないかもしくは両方である」ということは成り立つということはない
1. 事実8から、推論1: "「「あのメスフラスコは限局しなくてぷりぷりしない」ということは嘘だ」ということは確かだ"が導かれる
2. 推論1と事実9から、推論2: "あのメスフラスコは端金であるということはない"が導かれる
3. 推論2と事実7から、推論3: "あのメスフラスコが習うしその上それは順応し易い"が導かれる
4. 推論3から、推論4: "あのメスフラスコは順応し易い"が導かれる
5. 推論4と事実10から、推論5: "あのメスフラスコは母体行でないけれど順応し易い"が導かれる
6. 推論5から、推論6: "なんらかのものは母体行でないけれど順応し易い"が導かれる
7. 推論6と事実1から、推論7: "あの幽鬼はし兼ねるということはない"が導かれる
8. 推論7から、仮説が否定される

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