その年端は醜い
fact1: 「あの突然死は適応する」ということは真実である fact2: この区分変更は発しない fact3: その年端は粘っこい fact4: 仮にその年端が懇談するとしたらそれは醜くないが粘っこい fact5: もしもとあるものが叫び返さないならばあの区分変更は前身頃だ fact6: この区分変更は粘っこい fact7: 何らかのものは前身頃であるとすれば「それは懇談しなくておまけに粘っこい」ということは成り立たない fact8: あの法曹界は採録しない fact9: もし仮になにかは追放しないとしたら「醜いしその上それは採録する」ということは事実と異なる fact10: 「この区分変更は屁糞葛だ」ということは確かである fact11: その年端は発する fact12: 仮にあるものが追放するとしたら懇談するということはないけれど粘っこい fact13: とあるものは叫び返さない fact14: その年端は採録しないとすると「あの突然死は発しないかＣＯＧ用であるかまたは両方ともだ」ということは間違っている fact15: もしとあるものが採録するとするとそれは醜い fact16: とある物は前身頃であるということはない fact17: もし仮に「なにかは醜くて採録する」ということは間違っているとすると醜くない fact18: 「この区分変更は発揮し難いということはないがしかし叫び返す」ということは嘘だ fact19: あの突然死が懇談しないけど粘っこいとするとこの区分変更は前身頃だということはない fact20: この区分変更は採録しない fact21: もし「なんらかの物は発しないかＣＯＧ用であるかあるいは両方ともである」ということは成り立たないとすれば追放する
void -> assump1: 以下のように仮定する。その年端は採録しない; fact14 & assump1 -> int1: 「あの突然死は発しないかあるいはＣＯＧ用であるかまたは両方ともである」ということは成り立たない; fact21 -> int2: 仮に「あの突然死は発しないかＣＯＧ用であるかもしくは両方である」ということは成り立つということはないならそれは追放する; int1 & int2 -> int3: あの突然死は追放する; fact12 -> int4: あの突然死が追放するとするとそれは懇談しないがしかし粘っこい; int3 & int4 -> int5: あの突然死は懇談しないけれど粘っこい; int5 & fact19 -> int6: この区分変更は前身頃でない; fact13 & fact5 -> int7: この区分変更は前身頃だ; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: その年端は採録する; fact15 -> int10: 「その年端は採録する」ということは正しいとすると醜い; int9 & int10 -> hypothesis;
その年端は醜くない
fact24 -> int11: 仮に「その年端は醜いししかも採録する」ということは嘘であるとしたら「醜くない」ということは本当だ; fact25 -> int12: もしその年端は追放するということはないとすると「醜いしさらに採録する」ということは偽だ; fact23 -> int13: もしもあの突然死は前身頃だとすると「それは懇談しないけれど粘っこい」ということは誤っている; fact22 -> int14: 「「発揮し難くないしまた叫び返す」ということは誤りな」物はある;
$facts$ = fact1: 「あの突然死は適応する」ということは真実である fact2: この区分変更は発しない fact3: その年端は粘っこい fact4: 仮にその年端が懇談するとしたらそれは醜くないが粘っこい fact5: もしもとあるものが叫び返さないならばあの区分変更は前身頃だ fact6: この区分変更は粘っこい fact7: 何らかのものは前身頃であるとすれば「それは懇談しなくておまけに粘っこい」ということは成り立たない fact8: あの法曹界は採録しない fact9: もし仮になにかは追放しないとしたら「醜いしその上それは採録する」ということは事実と異なる fact10: 「この区分変更は屁糞葛だ」ということは確かである fact11: その年端は発する fact12: 仮にあるものが追放するとしたら懇談するということはないけれど粘っこい fact13: とあるものは叫び返さない fact14: その年端は採録しないとすると「あの突然死は発しないかＣＯＧ用であるかまたは両方ともだ」ということは間違っている fact15: もしとあるものが採録するとするとそれは醜い fact16: とある物は前身頃であるということはない fact17: もし仮に「なにかは醜くて採録する」ということは間違っているとすると醜くない fact18: 「この区分変更は発揮し難いということはないがしかし叫び返す」ということは嘘だ fact19: あの突然死が懇談しないけど粘っこいとするとこの区分変更は前身頃だということはない fact20: この区分変更は採録しない fact21: もし「なんらかの物は発しないかＣＯＧ用であるかあるいは両方ともである」ということは成り立たないとすれば追放する ; $hypothesis$ = その年端は醜い ; $proof$ = 
void -> assump1: 以下のように仮定する。その年端は採録しない; fact14 & assump1 -> int1: 「あの突然死は発しないかあるいはＣＯＧ用であるかまたは両方ともである」ということは成り立たない; fact21 -> int2: 仮に「あの突然死は発しないかＣＯＧ用であるかもしくは両方である」ということは成り立つということはないならそれは追放する; int1 & int2 -> int3: あの突然死は追放する; fact12 -> int4: あの突然死が追放するとするとそれは懇談しないがしかし粘っこい; int3 & int4 -> int5: あの突然死は懇談しないけれど粘っこい; int5 & fact19 -> int6: この区分変更は前身頃でない; fact13 & fact5 -> int7: この区分変更は前身頃だ; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: その年端は採録する; fact15 -> int10: 「その年端は採録する」ということは正しいとすると醜い; int9 & int10 -> hypothesis; __PROVED__
事実1: 「あの突然死は適応する」ということは真実である
事実2: この区分変更は発しない
事実3: その年端は粘っこい
事実4: 仮にその年端が懇談するとしたらそれは醜くないが粘っこい
事実5: もしもとあるものが叫び返さないならばあの区分変更は前身頃だ
事実6: この区分変更は粘っこい
事実7: 何らかのものは前身頃であるとすれば「それは懇談しなくておまけに粘っこい」ということは成り立たない
事実8: あの法曹界は採録しない
事実9: もし仮になにかは追放しないとしたら「醜いしその上それは採録する」ということは事実と異なる
事実10: 「この区分変更は屁糞葛だ」ということは確かである
事実11: その年端は発する
事実12: 仮にあるものが追放するとしたら懇談するということはないけれど粘っこい
事実13: とあるものは叫び返さない
事実14: その年端は採録しないとすると「あの突然死は発しないかＣＯＧ用であるかまたは両方ともだ」ということは間違っている
事実15: もしとあるものが採録するとするとそれは醜い
事実16: とある物は前身頃であるということはない
事実17: もし仮に「なにかは醜くて採録する」ということは間違っているとすると醜くない
事実18: 「この区分変更は発揮し難いということはないがしかし叫び返す」ということは嘘だ
事実19: あの突然死が懇談しないけど粘っこいとするとこの区分変更は前身頃だということはない
事実20: この区分変更は採録しない
事実21: もし「なんらかの物は発しないかＣＯＧ用であるかあるいは両方ともである」ということは成り立たないとすれば追放する

仮説: その年端は醜い
1. 仮定1: 以下のように仮定する。その年端は採録しない
2. 事実14と仮定1から、推論1: "「あの突然死は発しないかあるいはＣＯＧ用であるかまたは両方ともである」ということは成り立たない"が導かれる
3. 事実21から、推論2: "仮に「あの突然死は発しないかＣＯＧ用であるかもしくは両方である」ということは成り立つということはないならそれは追放する"が導かれる
4. 推論1と推論2から、推論3: "あの突然死は追放する"が導かれる
5. 事実12から、推論4: "あの突然死が追放するとするとそれは懇談しないがしかし粘っこい"が導かれる
6. 推論3と推論4から、推論5: "あの突然死は懇談しないけれど粘っこい"が導かれる
7. 推論5と事実19から、推論6: "この区分変更は前身頃でない"が導かれる
8. 事実13と事実5から、推論7: "この区分変更は前身頃だ"が導かれる
9. 推論6と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "その年端は採録する"が導かれる
11. 事実15から、推論10: "「その年端は採録する」ということは正しいとすると醜い"が導かれる
12. 推論9と推論10から、仮説が導かれる

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