「この隣接リストはサンデー毎日であるがしかし懐紙だということはない」ということは成り立たない
fact1: 「あの境躑躅は煮込むが国立保健医療科学院でない」ということは事実と異なる fact2: この訪問客は懐紙でない fact3: 仮に「あの境躑躅はサンデー毎日であるかあるいは懐紙である」ということは成り立つということはないとするとそれは特記事項無しでない fact4: その政治団体は鬼卒でない fact5: 仮に「あの境躑躅は鬼卒でない」ということは成り立つとすれば「それは調理出来るしかつ特記事項無しだ」ということは正しくない fact6: 「あの境躑躅はほろ苦いかもしくは業務執行機関である」ということは間違いである fact7: 「この隣接リストは懐紙である一方で調理出来ない」ということは誤っている fact8: この訪問客は特記事項無しでない fact9: もし「あの境躑躅は調理出来るけれどそれは特記事項無しであるということはない」ということは成り立たないとするとこの訪問客は転院しない fact10: あの境躑躅はサンデー毎日でない fact11: 「あの境躑躅は調理出来るししかも特記事項無しだ」ということは成り立たない fact12: この訪問客は鬼卒だということはない fact13: この隣接リストは懐紙でない fact14: とある物は鬼卒でないとしたら「調理出来るし特記事項無しであるということはない」ということは嘘である fact15: もしこの訪問客が転院するということはないとしたらこの隣接リストはサンデー毎日だ一方で懐紙でない fact16: もしなんらかのものは鬼卒でないとすると「サンデー毎日だけれど懐紙でない」ということは誤りである fact17: もしもとある物は鬼卒でないなら「調理出来るしおまけに特記事項無しだ」ということは間違っている fact18: あの境躑躅が特記事項無しであるならこの訪問客は転院しない fact19: あの境躑躅はさもしいということはない fact20: もし「あの境躑躅はほろ苦いかそれは業務執行機関だ」ということは間違いであるとしたら鬼卒だということはない fact21: 仮にこの訪問客が転院しないとすればこの隣接リストは懐紙でない fact22: 仮に「なにがしかの物は調理出来ない」ということは事実であるならば「サンデー毎日であるけれど鬼卒でない」ということは嘘だ fact23: あの境躑躅はほろ苦くない fact24: 仮に「とあるものはサンデー毎日でない」ということは正しいならば「それが特記事項無しだしそれは業務執行機関でない」ということは嘘である
fact14 -> int1: 仮に「あの境躑躅は鬼卒でない」ということは事実であるとしたら「それは調理出来るしかつ特記事項無しでない」ということは本当だということはない; fact6 & fact20 -> int2: あの境躑躅は鬼卒でない; int1 & int2 -> int3: 「あの境躑躅は調理出来るけれど特記事項無しでない」ということは偽である; int3 & fact9 -> int4: この訪問客は転院するということはない; int4 & fact15 -> hypothesis;
「この隣接リストはサンデー毎日だけれどそれは懐紙でない」ということは間違っている
fact25 -> int5: もし仮にこの隣接リストは鬼卒でないなら「「サンデー毎日であるしそれは懐紙でない」ということは真実である」ということは成り立つということはない;
$facts$ = fact1: 「あの境躑躅は煮込むが国立保健医療科学院でない」ということは事実と異なる fact2: この訪問客は懐紙でない fact3: 仮に「あの境躑躅はサンデー毎日であるかあるいは懐紙である」ということは成り立つということはないとするとそれは特記事項無しでない fact4: その政治団体は鬼卒でない fact5: 仮に「あの境躑躅は鬼卒でない」ということは成り立つとすれば「それは調理出来るしかつ特記事項無しだ」ということは正しくない fact6: 「あの境躑躅はほろ苦いかもしくは業務執行機関である」ということは間違いである fact7: 「この隣接リストは懐紙である一方で調理出来ない」ということは誤っている fact8: この訪問客は特記事項無しでない fact9: もし「あの境躑躅は調理出来るけれどそれは特記事項無しであるということはない」ということは成り立たないとするとこの訪問客は転院しない fact10: あの境躑躅はサンデー毎日でない fact11: 「あの境躑躅は調理出来るししかも特記事項無しだ」ということは成り立たない fact12: この訪問客は鬼卒だということはない fact13: この隣接リストは懐紙でない fact14: とある物は鬼卒でないとしたら「調理出来るし特記事項無しであるということはない」ということは嘘である fact15: もしこの訪問客が転院するということはないとしたらこの隣接リストはサンデー毎日だ一方で懐紙でない fact16: もしなんらかのものは鬼卒でないとすると「サンデー毎日だけれど懐紙でない」ということは誤りである fact17: もしもとある物は鬼卒でないなら「調理出来るしおまけに特記事項無しだ」ということは間違っている fact18: あの境躑躅が特記事項無しであるならこの訪問客は転院しない fact19: あの境躑躅はさもしいということはない fact20: もし「あの境躑躅はほろ苦いかそれは業務執行機関だ」ということは間違いであるとしたら鬼卒だということはない fact21: 仮にこの訪問客が転院しないとすればこの隣接リストは懐紙でない fact22: 仮に「なにがしかの物は調理出来ない」ということは事実であるならば「サンデー毎日であるけれど鬼卒でない」ということは嘘だ fact23: あの境躑躅はほろ苦くない fact24: 仮に「とあるものはサンデー毎日でない」ということは正しいならば「それが特記事項無しだしそれは業務執行機関でない」ということは嘘である ; $hypothesis$ = 「この隣接リストはサンデー毎日であるがしかし懐紙だということはない」ということは成り立たない ; $proof$ = 
fact14 -> int1: 仮に「あの境躑躅は鬼卒でない」ということは事実であるとしたら「それは調理出来るしかつ特記事項無しでない」ということは本当だということはない; fact6 & fact20 -> int2: あの境躑躅は鬼卒でない; int1 & int2 -> int3: 「あの境躑躅は調理出来るけれど特記事項無しでない」ということは偽である; int3 & fact9 -> int4: この訪問客は転院するということはない; int4 & fact15 -> hypothesis; __DISPROVED__
事実1: 「あの境躑躅は煮込むが国立保健医療科学院でない」ということは事実と異なる
事実2: この訪問客は懐紙でない
事実3: 仮に「あの境躑躅はサンデー毎日であるかあるいは懐紙である」ということは成り立つということはないとするとそれは特記事項無しでない
事実4: その政治団体は鬼卒でない
事実5: 仮に「あの境躑躅は鬼卒でない」ということは成り立つとすれば「それは調理出来るしかつ特記事項無しだ」ということは正しくない
事実6: 「あの境躑躅はほろ苦いかもしくは業務執行機関である」ということは間違いである
事実7: 「この隣接リストは懐紙である一方で調理出来ない」ということは誤っている
事実8: この訪問客は特記事項無しでない
事実9: もし「あの境躑躅は調理出来るけれどそれは特記事項無しであるということはない」ということは成り立たないとするとこの訪問客は転院しない
事実10: あの境躑躅はサンデー毎日でない
事実11: 「あの境躑躅は調理出来るししかも特記事項無しだ」ということは成り立たない
事実12: この訪問客は鬼卒だということはない
事実13: この隣接リストは懐紙でない
事実14: とある物は鬼卒でないとしたら「調理出来るし特記事項無しであるということはない」ということは嘘である
事実15: もしこの訪問客が転院するということはないとしたらこの隣接リストはサンデー毎日だ一方で懐紙でない
事実16: もしなんらかのものは鬼卒でないとすると「サンデー毎日だけれど懐紙でない」ということは誤りである
事実17: もしもとある物は鬼卒でないなら「調理出来るしおまけに特記事項無しだ」ということは間違っている
事実18: あの境躑躅が特記事項無しであるならこの訪問客は転院しない
事実19: あの境躑躅はさもしいということはない
事実20: もし「あの境躑躅はほろ苦いかそれは業務執行機関だ」ということは間違いであるとしたら鬼卒だということはない
事実21: 仮にこの訪問客が転院しないとすればこの隣接リストは懐紙でない
事実22: 仮に「なにがしかの物は調理出来ない」ということは事実であるならば「サンデー毎日であるけれど鬼卒でない」ということは嘘だ
事実23: あの境躑躅はほろ苦くない
事実24: 仮に「とあるものはサンデー毎日でない」ということは正しいならば「それが特記事項無しだしそれは業務執行機関でない」ということは嘘である

仮説: 「この隣接リストはサンデー毎日であるがしかし懐紙だということはない」ということは成り立たない
1. 事実14から、推論1: "仮に「あの境躑躅は鬼卒でない」ということは事実であるとしたら「それは調理出来るしかつ特記事項無しでない」ということは本当だということはない"が導かれる
2. 事実6と事実20から、推論2: "あの境躑躅は鬼卒でない"が導かれる
3. 推論1と推論2から、推論3: "「あの境躑躅は調理出来るけれど特記事項無しでない」ということは偽である"が導かれる
4. 推論3と事実9から、推論4: "この訪問客は転院するということはない"が導かれる
5. 推論4と事実15から、仮説が否定される

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