このグロブリンは持ち合いでない
fact1: もし仮に「何らかの物は持ち合いでないけれど致し兼ねる」ということは真実だということはないとすると持ち合いだ fact2: 何らかのものは生き辛いとしたら「来易くないけれど間断無い」ということは間違いだ fact3: あの平安時代末期は流し出す fact4: あの平安時代末期は精神分析だということはない fact5: 「もしもなにがしかの物が信じ易くないけどそれが手渡しするとすれば生き辛い」ということは事実である fact6: 「あの本堂は納得し難くないしそれはさり気無いということはない」ということは嘘であるならばこのグロブリンは持ち合いであるということはない fact7: 「「あの本堂は納得し難くないがさり気無い」ということは成り立たない」ということは成り立つ fact8: もし仮にあの本堂が生意気でないとしたらこのグロブリンは信じ易くない一方でそれは手渡しする fact9: 仮にとある物は来易いとすると「それは持ち合いでなくてしかもそれは致し兼ねる」ということは偽である fact10: 「あの本堂は納得し難くないしそれはさり気無くない」ということは嘘だ fact11: 仮にあの本堂がさり気無いとするとこのグロブリンは持ち合いでない fact12: 「仮に「あるものは来易くないがしかし間断無い」ということは偽だとすると来易い」ということは事実である
fact6 & fact10 -> hypothesis;
fact6 & fact10 -> hypothesis;
このグロブリンは持ち合いである
fact18 -> int1: 「このグロブリンは持ち合いでないけど致し兼ねる」ということは成り立つということはないとしたらそれは持ち合いだ; fact20 -> int2: もし仮にこのグロブリンは来易いならば「「それは持ち合いだということはなくて致し兼ねる」ということは成り立つ」ということは間違いだ; fact16 -> int3: もし「このグロブリンは来易いということはないけど間断無い」ということは間違っているとすると「それは来易い」ということは確かだ; fact14 -> int4: もしこのグロブリンは生き辛いとすると「来易くないしおまけに間断無い」ということは成り立つということはない; fact13 -> int5: もしこのグロブリンは信じ易いということはないが手渡しすればそれは生き辛い; fact15 & fact19 -> int6: あの平安時代末期は流し出すがそれは精神分析であるということはない; int6 -> int7: 「流し出す一方で精神分析でない」ものはある;
$facts$ = fact1: もし仮に「何らかの物は持ち合いでないけれど致し兼ねる」ということは真実だということはないとすると持ち合いだ fact2: 何らかのものは生き辛いとしたら「来易くないけれど間断無い」ということは間違いだ fact3: あの平安時代末期は流し出す fact4: あの平安時代末期は精神分析だということはない fact5: 「もしもなにがしかの物が信じ易くないけどそれが手渡しするとすれば生き辛い」ということは事実である fact6: 「あの本堂は納得し難くないしそれはさり気無いということはない」ということは嘘であるならばこのグロブリンは持ち合いであるということはない fact7: 「「あの本堂は納得し難くないがさり気無い」ということは成り立たない」ということは成り立つ fact8: もし仮にあの本堂が生意気でないとしたらこのグロブリンは信じ易くない一方でそれは手渡しする fact9: 仮にとある物は来易いとすると「それは持ち合いでなくてしかもそれは致し兼ねる」ということは偽である fact10: 「あの本堂は納得し難くないしそれはさり気無くない」ということは嘘だ fact11: 仮にあの本堂がさり気無いとするとこのグロブリンは持ち合いでない fact12: 「仮に「あるものは来易くないがしかし間断無い」ということは偽だとすると来易い」ということは事実である ; $hypothesis$ = このグロブリンは持ち合いでない ; $proof$ = 
fact6 & fact10 -> hypothesis; __PROVED__
事実1: もし仮に「何らかの物は持ち合いでないけれど致し兼ねる」ということは真実だということはないとすると持ち合いだ
事実2: 何らかのものは生き辛いとしたら「来易くないけれど間断無い」ということは間違いだ
事実3: あの平安時代末期は流し出す
事実4: あの平安時代末期は精神分析だということはない
事実5: 「もしもなにがしかの物が信じ易くないけどそれが手渡しするとすれば生き辛い」ということは事実である
事実6: 「あの本堂は納得し難くないしそれはさり気無いということはない」ということは嘘であるならばこのグロブリンは持ち合いであるということはない
事実7: 「「あの本堂は納得し難くないがさり気無い」ということは成り立たない」ということは成り立つ
事実8: もし仮にあの本堂が生意気でないとしたらこのグロブリンは信じ易くない一方でそれは手渡しする
事実9: 仮にとある物は来易いとすると「それは持ち合いでなくてしかもそれは致し兼ねる」ということは偽である
事実10: 「あの本堂は納得し難くないしそれはさり気無くない」ということは嘘だ
事実11: 仮にあの本堂がさり気無いとするとこのグロブリンは持ち合いでない
事実12: 「仮に「あるものは来易くないがしかし間断無い」ということは偽だとすると来易い」ということは事実である

仮説: このグロブリンは持ち合いでない
1. 事実6と事実10から、仮説が導かれる

よって、仮説が証明されました。