「その民主国家は一日夜であるしそれは存在出来る」ということは誤りである
fact1: もし「存在出来ない」ものはあるとしたら「その民主国家はダイアローグで切り難い」ということは間違っている fact2: もしこの服薬行動が切り難いとするとそれはダイアローグである fact3: 「この服薬行動は切り難くておまけにそれは存在出来る」ということは誤っている fact4: この服薬行動は知覚しない fact5: その二十度以下は存在出来ない fact6: 「一日夜でない」物はあるとしたら「その民主国家はダイアローグであるしさらに存在出来る」ということは嘘だ fact7: あの馴染みはダイアローグである fact8: 「存在出来ない」ものはある fact9: この服薬行動は一日夜だということはない fact10: 「ダイアローグでない」物はある fact11: なんらかの物はダイアローグだ fact12: この服薬行動はダイアローグでない fact13: この服薬行動は党内でない fact14: その民主国家はダイアローグだということはない fact15: 「この服薬行動は存在出来るし更に切り難い」ということは間違いである fact16: もしも切り難くないものはあるとしたら「その民主国家は一日夜であるしまた存在出来る」ということは確かでない
void -> assump1: 以下のように仮定する。この服薬行動は切り難い; fact2 & assump1 -> int1: この服薬行動はダイアローグである; int1 & fact12 -> int2: これは矛盾である; [assump1] & int2 -> int3: この服薬行動は切り難くない; int3 -> int4: 「切り難くない」物はある; int4 & fact16 -> hypothesis;
その民主国家は一日夜であるし更にそれは存在出来る
fact17 -> int5: なんらかの物はダイアローグだ;
$facts$ = fact1: もし「存在出来ない」ものはあるとしたら「その民主国家はダイアローグで切り難い」ということは間違っている fact2: もしこの服薬行動が切り難いとするとそれはダイアローグである fact3: 「この服薬行動は切り難くておまけにそれは存在出来る」ということは誤っている fact4: この服薬行動は知覚しない fact5: その二十度以下は存在出来ない fact6: 「一日夜でない」物はあるとしたら「その民主国家はダイアローグであるしさらに存在出来る」ということは嘘だ fact7: あの馴染みはダイアローグである fact8: 「存在出来ない」ものはある fact9: この服薬行動は一日夜だということはない fact10: 「ダイアローグでない」物はある fact11: なんらかの物はダイアローグだ fact12: この服薬行動はダイアローグでない fact13: この服薬行動は党内でない fact14: その民主国家はダイアローグだということはない fact15: 「この服薬行動は存在出来るし更に切り難い」ということは間違いである fact16: もしも切り難くないものはあるとしたら「その民主国家は一日夜であるしまた存在出来る」ということは確かでない ; $hypothesis$ = 「その民主国家は一日夜であるしそれは存在出来る」ということは誤りである ; $proof$ = 
void -> assump1: 以下のように仮定する。この服薬行動は切り難い; fact2 & assump1 -> int1: この服薬行動はダイアローグである; int1 & fact12 -> int2: これは矛盾である; [assump1] & int2 -> int3: この服薬行動は切り難くない; int3 -> int4: 「切り難くない」物はある; int4 & fact16 -> hypothesis; __PROVED__
事実1: もし「存在出来ない」ものはあるとしたら「その民主国家はダイアローグで切り難い」ということは間違っている
事実2: もしこの服薬行動が切り難いとするとそれはダイアローグである
事実3: 「この服薬行動は切り難くておまけにそれは存在出来る」ということは誤っている
事実4: この服薬行動は知覚しない
事実5: その二十度以下は存在出来ない
事実6: 「一日夜でない」物はあるとしたら「その民主国家はダイアローグであるしさらに存在出来る」ということは嘘だ
事実7: あの馴染みはダイアローグである
事実8: 「存在出来ない」ものはある
事実9: この服薬行動は一日夜だということはない
事実10: 「ダイアローグでない」物はある
事実11: なんらかの物はダイアローグだ
事実12: この服薬行動はダイアローグでない
事実13: この服薬行動は党内でない
事実14: その民主国家はダイアローグだということはない
事実15: 「この服薬行動は存在出来るし更に切り難い」ということは間違いである
事実16: もしも切り難くないものはあるとしたら「その民主国家は一日夜であるしまた存在出来る」ということは確かでない

仮説: 「その民主国家は一日夜であるしそれは存在出来る」ということは誤りである
1. 仮定1: 以下のように仮定する。この服薬行動は切り難い
2. 事実2と仮定1から、推論1: "この服薬行動はダイアローグである"が導かれる
3. 推論1と事実12から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "この服薬行動は切り難くない"が導かれる
5. 推論3から、推論4: "「切り難くない」物はある"が導かれる
6. 推論4と事実16から、仮説が導かれる

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