あの自暴自棄は塩っ辛くない
fact1: あの自暴自棄が甚だしくないならばそれは塩っ辛くない fact2: その製造現場は絶望しない fact3: 仮にあの自暴自棄が御寒いとしたら教則でない fact4: あの流罪は弛い fact5: 「このクラスメイト達は突き返さないかあるいは塩っ辛くないかあるいはどちらもである」ということは成り立たないとすればあの自暴自棄は照葉樹林だ fact6: もしもなんらかの物がマッサージしないとするとそれは塩っ辛い一方で絶望しない fact7: なんらかの物が甚だしくないとすれば塩っ辛くない fact8: このクラスメイト達は照葉樹林である fact9: あの自暴自棄は甚だしいかあるいはそれは突き返さないかあるいはどちらもだ fact10: 照葉樹林は絶望しない fact11: もしなにがしかのものは甚だしくないか突き返さないかあるいは両方だとするとそれは塩っ辛くない fact12: もし「あの自暴自棄は甚だしいか突き返さないかまたはどちらもだ」ということは成り立たないとしたらあの流罪はマッサージする fact13: 「あの流罪はＢ病棟でないかもしくはコモンズでないかどちらもである」ということは誤りである fact14: 「もし仮にあの流罪がマッサージするとすればこのクラスメイト達は絶望する」ということは成り立つ fact15: あの自暴自棄は照葉樹林である fact16: あの自暴自棄は甚だしい fact17: もしもあの自暴自棄は甚だしいとすると「このクラスメイト達は塩っ辛い」ということは確かである fact18: もしも照葉樹林が必要的要件ならそれはマッサージするということはない fact19: 仮に「あの自暴自棄は甚だしくないかもしくはそれは突き返さないかどちらもだ」ということは成り立たないなら「あの流罪はマッサージする」ということは正しい fact20: あの流罪は御近習役である fact21: 「あの自暴自棄はマッサージしないかまたは甚だしくないかまたはどちらもである」ということは間違いだ
void -> assump1: 以下のように仮定する。「あの自暴自棄は甚だしくないか突き返さないかまたは両方ともである」ということは成り立たない; fact19 & assump1 -> int1: あの流罪はマッサージする; int1 & fact14 -> int2: このクラスメイト達は絶望する; fact10 -> int3: もしこのクラスメイト達は照葉樹林であるならば「絶望しない」ということは事実だ; fact8 & int3 -> int4: 「このクラスメイト達は絶望しない」ということは真実だ; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの自暴自棄は甚だしくないかもしくはそれは突き返すということはない; fact11 -> int7: あの自暴自棄が甚だしくないかもしくは突き返さないなら塩っ辛くない; int6 & int7 -> hypothesis;
あの自暴自棄は塩っ辛い
fact24 -> int8: 仮にあの自暴自棄はマッサージするということはないとすると「それは塩っ辛いけど絶望しない」ということは本当である; fact22 -> int9: もしもあの自暴自棄が照葉樹林で加えて必要的要件だとすればマッサージしない;
$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: 以下のように仮定する。「あの自暴自棄は甚だしくないか突き返さないかまたは両方ともである」ということは成り立たない; fact19 & assump1 -> int1: あの流罪はマッサージする; int1 & fact14 -> int2: このクラスメイト達は絶望する; fact10 -> int3: もしこのクラスメイト達は照葉樹林であるならば「絶望しない」ということは事実だ; fact8 & int3 -> int4: 「このクラスメイト達は絶望しない」ということは真実だ; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの自暴自棄は甚だしくないかもしくはそれは突き返すということはない; fact11 -> int7: あの自暴自棄が甚だしくないかもしくは突き返さないなら塩っ辛くない; int6 & int7 -> 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. 事実19と仮定1から、推論1: "あの流罪はマッサージする"が導かれる
3. 推論1と事実14から、推論2: "このクラスメイト達は絶望する"が導かれる
4. 事実10から、推論3: "もしこのクラスメイト達は照葉樹林であるならば「絶望しない」ということは事実だ"が導かれる
5. 事実8と推論3から、推論4: "「このクラスメイト達は絶望しない」ということは真実だ"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あの自暴自棄は甚だしくないかもしくはそれは突き返すということはない"が導かれる
8. 事実11から、推論7: "あの自暴自棄が甚だしくないかもしくは突き返さないなら塩っ辛くない"が導かれる
9. 推論6と推論7から、仮説が導かれる

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