この持ち合わせはオープンカフェでない
fact1: もしこのチャットクライアントはダークネスでないとしたら「この輸入貨物はダークネスでなくてかつそれは鎮魂でない」ということは誤りだ fact2: 仮にこのチャットクライアントはダークネスでないとすると「この輸入貨物はダークネスでないけど鎮魂である」ということは誤っている fact3: このチャットクライアントは身動ぎするかもしくは破綻生保であるかまたは両方だ fact4: 仮に「活字ケースな」物があるならこの持ち合わせは御早い fact5: 仮に「このチャットクライアントはダークネスでない」ということは真実であるなら「この輸入貨物はダークネスだが鎮魂でない」ということは真実でない fact6: 仮にこのチャットクライアントが身動ぎするかそれは破綻生保であるということはないかあるいはどちらもであるならそれはダークネスでない fact7: 「この輸入貨物はダークネスでない一方でそれは鎮魂だ」ということは偽だ fact8: このチャットクライアントは身動ぎするかもしくはそれは破綻生保でないかもしくはどちらもである fact9: なんらかのものは活字ケースだとしたら「この持ち合わせはオープンカフェであるしかつ御早い」ということは確かである fact10: このチャットクライアントが鎮魂だということはないしさらに御早くないとするとそれは活字ケースでない fact11: この持ち合わせは御早い fact12: もしも「この輸入貨物はダークネスでなくて鎮魂であるということはない」ということは成り立つということはないとしたらそれは活字ケースだ fact13: もし仮に達成し易い物はあるとすると「あの連帯は階である」ということは本当である fact14: もしもこのチャットクライアントがダークネスだということはないけれどオープンカフェであるならばこの持ち合わせはオープンカフェでない
fact6 & fact8 -> int1: このチャットクライアントはダークネスでない; int1 & fact1 -> int2: 「この輸入貨物はダークネスでないし鎮魂でない」ということは誤っている; int2 & fact12 -> int3: 「この輸入貨物は活字ケースだ」ということは本当である; int3 -> int4: 活字ケースはある; int4 & fact9 -> int5: この持ち合わせはオープンカフェであるし御早い; int5 -> hypothesis;
この持ち合わせはオープンカフェでない
$facts$ = fact1: もしこのチャットクライアントはダークネスでないとしたら「この輸入貨物はダークネスでなくてかつそれは鎮魂でない」ということは誤りだ fact2: 仮にこのチャットクライアントはダークネスでないとすると「この輸入貨物はダークネスでないけど鎮魂である」ということは誤っている fact3: このチャットクライアントは身動ぎするかもしくは破綻生保であるかまたは両方だ fact4: 仮に「活字ケースな」物があるならこの持ち合わせは御早い fact5: 仮に「このチャットクライアントはダークネスでない」ということは真実であるなら「この輸入貨物はダークネスだが鎮魂でない」ということは真実でない fact6: 仮にこのチャットクライアントが身動ぎするかそれは破綻生保であるということはないかあるいはどちらもであるならそれはダークネスでない fact7: 「この輸入貨物はダークネスでない一方でそれは鎮魂だ」ということは偽だ fact8: このチャットクライアントは身動ぎするかもしくはそれは破綻生保でないかもしくはどちらもである fact9: なんらかのものは活字ケースだとしたら「この持ち合わせはオープンカフェであるしかつ御早い」ということは確かである fact10: このチャットクライアントが鎮魂だということはないしさらに御早くないとするとそれは活字ケースでない fact11: この持ち合わせは御早い fact12: もしも「この輸入貨物はダークネスでなくて鎮魂であるということはない」ということは成り立つということはないとしたらそれは活字ケースだ fact13: もし仮に達成し易い物はあるとすると「あの連帯は階である」ということは本当である fact14: もしもこのチャットクライアントがダークネスだということはないけれどオープンカフェであるならばこの持ち合わせはオープンカフェでない ; $hypothesis$ = この持ち合わせはオープンカフェでない ; $proof$ = 
fact6 & fact8 -> int1: このチャットクライアントはダークネスでない; int1 & fact1 -> int2: 「この輸入貨物はダークネスでないし鎮魂でない」ということは誤っている; int2 & fact12 -> int3: 「この輸入貨物は活字ケースだ」ということは本当である; int3 -> int4: 活字ケースはある; int4 & fact9 -> int5: この持ち合わせはオープンカフェであるし御早い; int5 -> hypothesis; __DISPROVED__
事実1: もしこのチャットクライアントはダークネスでないとしたら「この輸入貨物はダークネスでなくてかつそれは鎮魂でない」ということは誤りだ
事実2: 仮にこのチャットクライアントはダークネスでないとすると「この輸入貨物はダークネスでないけど鎮魂である」ということは誤っている
事実3: このチャットクライアントは身動ぎするかもしくは破綻生保であるかまたは両方だ
事実4: 仮に「活字ケースな」物があるならこの持ち合わせは御早い
事実5: 仮に「このチャットクライアントはダークネスでない」ということは真実であるなら「この輸入貨物はダークネスだが鎮魂でない」ということは真実でない
事実6: 仮にこのチャットクライアントが身動ぎするかそれは破綻生保であるということはないかあるいはどちらもであるならそれはダークネスでない
事実7: 「この輸入貨物はダークネスでない一方でそれは鎮魂だ」ということは偽だ
事実8: このチャットクライアントは身動ぎするかもしくはそれは破綻生保でないかもしくはどちらもである
事実9: なんらかのものは活字ケースだとしたら「この持ち合わせはオープンカフェであるしかつ御早い」ということは確かである
事実10: このチャットクライアントが鎮魂だということはないしさらに御早くないとするとそれは活字ケースでない
事実11: この持ち合わせは御早い
事実12: もしも「この輸入貨物はダークネスでなくて鎮魂であるということはない」ということは成り立つということはないとしたらそれは活字ケースだ
事実13: もし仮に達成し易い物はあるとすると「あの連帯は階である」ということは本当である
事実14: もしもこのチャットクライアントがダークネスだということはないけれどオープンカフェであるならばこの持ち合わせはオープンカフェでない

仮説: この持ち合わせはオープンカフェでない
1. 事実6と事実8から、推論1: "このチャットクライアントはダークネスでない"が導かれる
2. 推論1と事実1から、推論2: "「この輸入貨物はダークネスでないし鎮魂でない」ということは誤っている"が導かれる
3. 推論2と事実12から、推論3: "「この輸入貨物は活字ケースだ」ということは本当である"が導かれる
4. 推論3から、推論4: "活字ケースはある"が導かれる
5. 推論4と事実9から、推論5: "この持ち合わせはオープンカフェであるし御早い"が導かれる
6. 推論5から、仮説が否定される

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