その四涜は覚え難いということはない
fact1: 「その足尾銅山鉱毒事件は冷やすし困り切る」ということは間違いだ fact2: なにがしかの物は輝かしい fact3: 「その足尾銅山鉱毒事件は冷やすがしかし困り切らない」ということは誤りならこの完璧主義者は見破れる fact4: ルナは許し難い fact5: 仮にその足尾銅山鉱毒事件が愛郷でないとするとあの全日航労組はジュラバでない fact6: 仮にあるものはジュラバでないならば見破れるし更に脱藩する fact7: もし仮に「この完璧主義者はジュラバだ」ということは正しいとすれば「あの全日航労組は困り切るがしかしジュラバだということはない」ということは間違っている fact8: もしなんらかのものは困り切らないしかつ輝かしくないなら「覚え難くない」ということは成り立つ fact9: 「この完璧主義者は時間外勤務でなくて更に係属するということはない」ということは本当でないとすれば係属する fact10: もしもなにがしかのものが見破れるかそれはジュラバでないとしたら「愛郷であるということはない」ということは本当だ fact11: この財務省証券は馬鹿でかくない fact12: もしもあの全日航労組が困り切らないならばそれは輝かしくない fact13: この完璧主義者は許し難い fact14: もしもとあるものは係属するなら「それはルナだ」ということは事実だ fact15: もしこの完璧主義者が愛郷でないならばその四涜は覚え難い fact16: あるものがジュラバであるということはないならばそれは見破れるしまたそれは冷やす fact17: あの全日航労組は許し難いし更に輝かしい fact18: もし仮にあの全日航労組は愛郷であるということはない一方で覚え難いとしたら「そのインストーラーはジュラバでない」ということは成り立つ fact19: 仮にこの財務省証券は馬鹿でかいということはないならば「この完璧主義者は時間外勤務でなくてそれにそれは係属しない」ということは成り立たない fact20: もしも「あの全日航労組は冷やす」ということは正しいとしたらその四涜が困り切らないしさらにそれは輝かしくない fact21: もしも「あの全日航労組は許し難い」ということは真実だとすると愛郷でないがしかし覚え難い fact22: もしもあの全日航労組は困り切るなら「「その足尾銅山鉱毒事件は冷やすが困り切らない」ということは間違いである」ということは嘘でない
void -> assump1: 以下のように仮定する。あの全日航労組は困り切るということはない; fact12 & assump1 -> int1: あの全日航労組は輝かしくない; fact17 -> int2: あの全日航労組は輝かしい; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの全日航労組は困り切る; int4 & fact22 -> int5: 「その足尾銅山鉱毒事件は冷やすけど困り切らない」ということは間違っている; int5 & fact3 -> int6: この完璧主義者は見破れる; int6 -> int7: この完璧主義者は見破れるかもしくはそれはジュラバでない; fact10 -> int8: この完璧主義者が見破れるかジュラバでないならそれは愛郷でない; int7 & int8 -> int9: この完璧主義者は愛郷でない; int9 & fact15 -> hypothesis;
そのインストーラーは脱藩するしそれは冷やす
fact24 -> int10: そのインストーラーがジュラバでないとすると見破れるしそれは脱藩する; fact25 -> int11: もしあの全日航労組がルナならそれは許し難い;
$facts$ = fact1: 「その足尾銅山鉱毒事件は冷やすし困り切る」ということは間違いだ fact2: なにがしかの物は輝かしい fact3: 「その足尾銅山鉱毒事件は冷やすがしかし困り切らない」ということは誤りならこの完璧主義者は見破れる fact4: ルナは許し難い fact5: 仮にその足尾銅山鉱毒事件が愛郷でないとするとあの全日航労組はジュラバでない fact6: 仮にあるものはジュラバでないならば見破れるし更に脱藩する fact7: もし仮に「この完璧主義者はジュラバだ」ということは正しいとすれば「あの全日航労組は困り切るがしかしジュラバだということはない」ということは間違っている fact8: もしなんらかのものは困り切らないしかつ輝かしくないなら「覚え難くない」ということは成り立つ fact9: 「この完璧主義者は時間外勤務でなくて更に係属するということはない」ということは本当でないとすれば係属する fact10: もしもなにがしかのものが見破れるかそれはジュラバでないとしたら「愛郷であるということはない」ということは本当だ fact11: この財務省証券は馬鹿でかくない fact12: もしもあの全日航労組が困り切らないならばそれは輝かしくない fact13: この完璧主義者は許し難い fact14: もしもとあるものは係属するなら「それはルナだ」ということは事実だ fact15: もしこの完璧主義者が愛郷でないならばその四涜は覚え難い fact16: あるものがジュラバであるということはないならばそれは見破れるしまたそれは冷やす fact17: あの全日航労組は許し難いし更に輝かしい fact18: もし仮にあの全日航労組は愛郷であるということはない一方で覚え難いとしたら「そのインストーラーはジュラバでない」ということは成り立つ fact19: 仮にこの財務省証券は馬鹿でかいということはないならば「この完璧主義者は時間外勤務でなくてそれにそれは係属しない」ということは成り立たない fact20: もしも「あの全日航労組は冷やす」ということは正しいとしたらその四涜が困り切らないしさらにそれは輝かしくない fact21: もしも「あの全日航労組は許し難い」ということは真実だとすると愛郷でないがしかし覚え難い fact22: もしもあの全日航労組は困り切るなら「「その足尾銅山鉱毒事件は冷やすが困り切らない」ということは間違いである」ということは嘘でない ; $hypothesis$ = その四涜は覚え難いということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの全日航労組は困り切るということはない; fact12 & assump1 -> int1: あの全日航労組は輝かしくない; fact17 -> int2: あの全日航労組は輝かしい; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの全日航労組は困り切る; int4 & fact22 -> int5: 「その足尾銅山鉱毒事件は冷やすけど困り切らない」ということは間違っている; int5 & fact3 -> int6: この完璧主義者は見破れる; int6 -> int7: この完璧主義者は見破れるかもしくはそれはジュラバでない; fact10 -> int8: この完璧主義者が見破れるかジュラバでないならそれは愛郷でない; int7 & int8 -> int9: この完璧主義者は愛郷でない; int9 & 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: もしもあの全日航労組は困り切るなら「「その足尾銅山鉱毒事件は冷やすが困り切らない」ということは間違いである」ということは嘘でない

仮説: その四涜は覚え難いということはない
1. 仮定1: 以下のように仮定する。あの全日航労組は困り切るということはない
2. 事実12と仮定1から、推論1: "あの全日航労組は輝かしくない"が導かれる
3. 事実17から、推論2: "あの全日航労組は輝かしい"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの全日航労組は困り切る"が導かれる
6. 推論4と事実22から、推論5: "「その足尾銅山鉱毒事件は冷やすけど困り切らない」ということは間違っている"が導かれる
7. 推論5と事実3から、推論6: "この完璧主義者は見破れる"が導かれる
8. 推論6から、推論7: "この完璧主義者は見破れるかもしくはそれはジュラバでない"が導かれる
9. 事実10から、推論8: "この完璧主義者が見破れるかジュラバでないならそれは愛郷でない"が導かれる
10. 推論7と推論8から、推論9: "この完璧主義者は愛郷でない"が導かれる
11. 推論9と事実15から、仮説が否定される

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