「このアン・コーデリアは苦々しい一方でそれはすごーくない」ということは偽だ
fact1: この光量子仮説はすごーい fact2: このアン・コーデリアはタイトル曲であるしそれに変数Ｘだ fact3: もし「このアン・コーデリアは苦々しいがすごーいということはない」ということは誤りならそれは変数Ｘでない fact4: この規律違反は切り離し難いけど若衆でない fact5: もし仮にこの規律違反が切り離し難いけれどそれが若衆でないとすればあの改革作業は切り離し難くない fact6: 仮にそのスポーツサイクルは不味いとすると「あの淋病は潔しということはないし更に変数Ｘだということはない」ということは誤りである fact7: もし「不味い」ものはあるとすれば「そのスポーツサイクルは変数Ｘでなくてまた潔しない」ということは成り立たない fact8: 「「不味い」ということは確かな」ものはある fact9: あの自動車販売会社は定番メニューだ一方で苦々しかない fact10: 仮に「あの淋病は潔しないしそれは変数Ｘでない」ということは間違いならば「このアン・コーデリアはタイトル曲だ」ということは確かだ fact11: その鶏料理が不味いならばそのスポーツサイクルは不味い fact12: 「あのオゾンはすごーい」ということは正しい fact13: もしもこのアン・コーデリアが苦々しかないならばそれは変数Ｘでない fact14: 「ある物は美質である」ということは事実であるなら不味い fact15: 「このアン・コーデリアはすごーいけどブッシングでない」ということは偽である fact16: このアン・コーデリアはタイトル曲である fact17: 「このアン・コーデリアは柔らかいけどそれは違くない」ということは成り立たない
void -> assump1: 以下のように仮定する。「このアン・コーデリアは苦々しいけどそれはすごーくない」ということは間違いだ; fact3 & assump1 -> int1: 「このアン・コーデリアは変数Ｘでない」ということは嘘でない; fact2 -> int2: このアン・コーデリアは変数Ｘである; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬({AA}{a} & ¬{AB}{a}); fact3 & assump1 -> int1: ¬{B}{a}; fact2 -> int2: {B}{a}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
「このアン・コーデリアは苦々しいがしかしすごーくない」ということは成り立たない
fact19 -> int4: もしもその鶏料理が美質だとしたらそれは不味い; fact18 & fact22 -> int5: あの改革作業は切り離し難くない; int5 -> int6: 「「切り離し難くない」ということは事実である」ものはある;
$facts$ = fact1: この光量子仮説はすごーい fact2: このアン・コーデリアはタイトル曲であるしそれに変数Ｘだ fact3: もし「このアン・コーデリアは苦々しいがすごーいということはない」ということは誤りならそれは変数Ｘでない fact4: この規律違反は切り離し難いけど若衆でない fact5: もし仮にこの規律違反が切り離し難いけれどそれが若衆でないとすればあの改革作業は切り離し難くない fact6: 仮にそのスポーツサイクルは不味いとすると「あの淋病は潔しということはないし更に変数Ｘだということはない」ということは誤りである fact7: もし「不味い」ものはあるとすれば「そのスポーツサイクルは変数Ｘでなくてまた潔しない」ということは成り立たない fact8: 「「不味い」ということは確かな」ものはある fact9: あの自動車販売会社は定番メニューだ一方で苦々しかない fact10: 仮に「あの淋病は潔しないしそれは変数Ｘでない」ということは間違いならば「このアン・コーデリアはタイトル曲だ」ということは確かだ fact11: その鶏料理が不味いならばそのスポーツサイクルは不味い fact12: 「あのオゾンはすごーい」ということは正しい fact13: もしもこのアン・コーデリアが苦々しかないならばそれは変数Ｘでない fact14: 「ある物は美質である」ということは事実であるなら不味い fact15: 「このアン・コーデリアはすごーいけどブッシングでない」ということは偽である fact16: このアン・コーデリアはタイトル曲である fact17: 「このアン・コーデリアは柔らかいけどそれは違くない」ということは成り立たない ; $hypothesis$ = 「このアン・コーデリアは苦々しい一方でそれはすごーくない」ということは偽だ ; $proof$ = 
void -> assump1: 以下のように仮定する。「このアン・コーデリアは苦々しいけどそれはすごーくない」ということは間違いだ; fact3 & assump1 -> int1: 「このアン・コーデリアは変数Ｘでない」ということは嘘でない; fact2 -> int2: このアン・コーデリアは変数Ｘである; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: この光量子仮説はすごーい
事実2: このアン・コーデリアはタイトル曲であるしそれに変数Ｘだ
事実3: もし「このアン・コーデリアは苦々しいがすごーいということはない」ということは誤りならそれは変数Ｘでない
事実4: この規律違反は切り離し難いけど若衆でない
事実5: もし仮にこの規律違反が切り離し難いけれどそれが若衆でないとすればあの改革作業は切り離し難くない
事実6: 仮にそのスポーツサイクルは不味いとすると「あの淋病は潔しということはないし更に変数Ｘだということはない」ということは誤りである
事実7: もし「不味い」ものはあるとすれば「そのスポーツサイクルは変数Ｘでなくてまた潔しない」ということは成り立たない
事実8: 「「不味い」ということは確かな」ものはある
事実9: あの自動車販売会社は定番メニューだ一方で苦々しかない
事実10: 仮に「あの淋病は潔しないしそれは変数Ｘでない」ということは間違いならば「このアン・コーデリアはタイトル曲だ」ということは確かだ
事実11: その鶏料理が不味いならばそのスポーツサイクルは不味い
事実12: 「あのオゾンはすごーい」ということは正しい
事実13: もしもこのアン・コーデリアが苦々しかないならばそれは変数Ｘでない
事実14: 「ある物は美質である」ということは事実であるなら不味い
事実15: 「このアン・コーデリアはすごーいけどブッシングでない」ということは偽である
事実16: このアン・コーデリアはタイトル曲である
事実17: 「このアン・コーデリアは柔らかいけどそれは違くない」ということは成り立たない

仮説: 「このアン・コーデリアは苦々しい一方でそれはすごーくない」ということは偽だ
1. 仮定1: 以下のように仮定する。「このアン・コーデリアは苦々しいけどそれはすごーくない」ということは間違いだ
2. 事実3と仮定1から、推論1: "「このアン・コーデリアは変数Ｘでない」ということは嘘でない"が導かれる
3. 事実2から、推論2: "このアン・コーデリアは変数Ｘである"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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