この表式は済ま無い
fact1: その十人程度はミダゾラムであるということはないとすると「あの枕カバーはミダゾラムでなくて同一条件でない」ということは間違いだ fact2: もしあの枕カバーがキッチンペーパーならこの表式は滝公である fact3: その十人程度はミダゾラムでないとすれば「あの枕カバーはミダゾラムであるがそれは同一条件でない」ということは成り立たない fact4: もしあるものが滝公だとするとそれは済ま無い fact5: この共同幻想は名状し難い fact6: もしあの枕カバーがミダゾラムだとすれば打ち尽くす fact7: この共同幻想は打ち尽くす fact8: この共同幻想が滲み始めるとすればその十人程度はミダゾラムでない fact9: もし仮にあの枕カバーが打ち尽くすとしたらそれはキッチンペーパーだ fact10: この共同幻想は滲み始めるし名状し難い fact11: もしも「ある物はミダゾラムでないし加えて名状し難いということはない」ということは間違っているとすれば名状し難い fact12: もしも「何らかのものは名状し難くないししかも滲み始めない」ということは偽ならそれは済ま無くない fact13: 「「あの枕カバーはミダゾラムでないしかつそれは同一条件でない」ということは誤っている」ということは真実ならばそれは打ち尽くす fact14: 「あの枕カバーはミダゾラムであるけどそれは同一条件でない」ということは誤りだ
fact10 -> int1: 「この共同幻想は滲み始める」ということは正しい; int1 & fact8 -> int2: その十人程度はミダゾラムでない; int2 & fact1 -> int3: 「あの枕カバーはミダゾラムでなくて加えてそれは同一条件だということはない」ということは成り立つということはない; int3 & fact13 -> int4: あの枕カバーは打ち尽くす; int4 & fact9 -> int5: あの枕カバーはキッチンペーパーである; int5 & fact2 -> int6: この表式は滝公だ; fact4 -> int7: 仮にこの表式は滝公であるとしたらそれは済ま無い; int6 & int7 -> hypothesis;
この表式は済ま無くない
fact15 -> int8: もし仮に「この表式は名状し難くないしそれは滲み始めない」ということは誤りであるならば済ま無くない;
$facts$ = fact1: その十人程度はミダゾラムであるということはないとすると「あの枕カバーはミダゾラムでなくて同一条件でない」ということは間違いだ fact2: もしあの枕カバーがキッチンペーパーならこの表式は滝公である fact3: その十人程度はミダゾラムでないとすれば「あの枕カバーはミダゾラムであるがそれは同一条件でない」ということは成り立たない fact4: もしあるものが滝公だとするとそれは済ま無い fact5: この共同幻想は名状し難い fact6: もしあの枕カバーがミダゾラムだとすれば打ち尽くす fact7: この共同幻想は打ち尽くす fact8: この共同幻想が滲み始めるとすればその十人程度はミダゾラムでない fact9: もし仮にあの枕カバーが打ち尽くすとしたらそれはキッチンペーパーだ fact10: この共同幻想は滲み始めるし名状し難い fact11: もしも「ある物はミダゾラムでないし加えて名状し難いということはない」ということは間違っているとすれば名状し難い fact12: もしも「何らかのものは名状し難くないししかも滲み始めない」ということは偽ならそれは済ま無くない fact13: 「「あの枕カバーはミダゾラムでないしかつそれは同一条件でない」ということは誤っている」ということは真実ならばそれは打ち尽くす fact14: 「あの枕カバーはミダゾラムであるけどそれは同一条件でない」ということは誤りだ ; $hypothesis$ = この表式は済ま無い ; $proof$ = 
fact10 -> int1: 「この共同幻想は滲み始める」ということは正しい; int1 & fact8 -> int2: その十人程度はミダゾラムでない; int2 & fact1 -> int3: 「あの枕カバーはミダゾラムでなくて加えてそれは同一条件だということはない」ということは成り立つということはない; int3 & fact13 -> int4: あの枕カバーは打ち尽くす; int4 & fact9 -> int5: あの枕カバーはキッチンペーパーである; int5 & fact2 -> int6: この表式は滝公だ; fact4 -> int7: 仮にこの表式は滝公であるとしたらそれは済ま無い; int6 & int7 -> hypothesis; __PROVED__
事実1: その十人程度はミダゾラムであるということはないとすると「あの枕カバーはミダゾラムでなくて同一条件でない」ということは間違いだ
事実2: もしあの枕カバーがキッチンペーパーならこの表式は滝公である
事実3: その十人程度はミダゾラムでないとすれば「あの枕カバーはミダゾラムであるがそれは同一条件でない」ということは成り立たない
事実4: もしあるものが滝公だとするとそれは済ま無い
事実5: この共同幻想は名状し難い
事実6: もしあの枕カバーがミダゾラムだとすれば打ち尽くす
事実7: この共同幻想は打ち尽くす
事実8: この共同幻想が滲み始めるとすればその十人程度はミダゾラムでない
事実9: もし仮にあの枕カバーが打ち尽くすとしたらそれはキッチンペーパーだ
事実10: この共同幻想は滲み始めるし名状し難い
事実11: もしも「ある物はミダゾラムでないし加えて名状し難いということはない」ということは間違っているとすれば名状し難い
事実12: もしも「何らかのものは名状し難くないししかも滲み始めない」ということは偽ならそれは済ま無くない
事実13: 「「あの枕カバーはミダゾラムでないしかつそれは同一条件でない」ということは誤っている」ということは真実ならばそれは打ち尽くす
事実14: 「あの枕カバーはミダゾラムであるけどそれは同一条件でない」ということは誤りだ

仮説: この表式は済ま無い
1. 事実10から、推論1: "「この共同幻想は滲み始める」ということは正しい"が導かれる
2. 推論1と事実8から、推論2: "その十人程度はミダゾラムでない"が導かれる
3. 推論2と事実1から、推論3: "「あの枕カバーはミダゾラムでなくて加えてそれは同一条件だということはない」ということは成り立つということはない"が導かれる
4. 推論3と事実13から、推論4: "あの枕カバーは打ち尽くす"が導かれる
5. 推論4と事実9から、推論5: "あの枕カバーはキッチンペーパーである"が導かれる
6. 推論5と事実2から、推論6: "この表式は滝公だ"が導かれる
7. 事実4から、推論7: "仮にこの表式は滝公であるとしたらそれは済ま無い"が導かれる
8. 推論6と推論7から、仮説が導かれる

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