あの自殺願望は仕事らしいということはない
fact1: もし仮に「あの小螺子は美肌でないし大容量でない」ということは間違いであるとするとその有用性は鈍る fact2: 仮に「何かはファーストタッチだけど亡くさない」ということは成り立たないとしたらそれはファーストタッチであるということはない fact3: あの天与は美肌であるということはない fact4: 仮に何かは妨げならばあの二十六日判決は妨げであるかそれは口汚い fact5: 「「あの天与は大容量でおまけに美肌である」ということは本当だ」ということは間違いである fact6: もしも何かは登山家らしいということはないとしたらマンデーだしかつ美肌だ fact7: なにかは親しいとしたら「それがファーストタッチだしそれは亡くさない」ということは成り立たない fact8: 「その二十六日付けは美肌でない」ということは誤りでない fact9: もし何かは多国籍自動車企業であるということはないとすれば登山家らしいしさらにそれはマンデーだ fact10: 「「嫌らしいということはなくて更に幹事長だ」ということは成り立たない」ものがあるとすればその響動めきは幹事長でない fact11: もしその二十六日判決が妨げであるとすればあの小螺子は親しい fact12: もし仮に何らかの物が多国籍自動車企業だということはないとすれば登山家らしい fact13: その有用性は名残惜しくて加えて美肌である fact14: もし仮に「その有用性は多国籍自動車企業であるがそれは大容量でない」ということは成り立たないとすればあの天与は多国籍自動車企業でない fact15: あの天与がマンデーであるし更に予期不安だとするとあの自殺願望は仕事らしくない fact16: もし仮に「「その響動めきは幹事長である」ということは間違っている」ということは確かであるとするとそれは妨げであるしそれは訓示だ fact17: もし「あの天与は多国籍自動車企業でない」ということは事実と異ならないとすると「それは登山家らしい」ということは真実だ fact18: 「「嫌らしくないしさらに幹事長だ」ということは間違いな」ものはある fact19: 仕事らしくない物は予期不安であるということはない fact20: もしもその有用性が鈍るかまたはそれは予期不安でないとすれば「あの自殺願望は予期不安でない」ということは間違いでない fact21: もしなんらかのものはファーストタッチでないならば「それは美肌でないしさらにそれは大容量でない」ということは偽である fact22: もしもあの天与が美肌でないとすればそれは鈍るしさらに予期不安だ fact23: 「その有用性は多国籍自動車企業だけど大容量でない」ということは誤りである
fact9 -> int1: あの天与が多国籍自動車企業でないなら登山家らしいしそれはマンデーだ; fact23 & fact14 -> int2: あの天与は多国籍自動車企業でない; int1 & int2 -> int3: あの天与は登山家らしいしマンデーである; int3 -> int4: あの天与はマンデーだ; fact22 & fact3 -> int5: あの天与は鈍るしまた予期不安だ; int5 -> int6: あの天与は予期不安だ; int4 & int6 -> int7: あの天与がマンデーだし予期不安だ; int7 & fact15 -> hypothesis;
あの自殺願望は仕事らしい
fact29 -> int8: もしもあの小螺子はファーストタッチでないなら「美肌でなくてそれは大容量でない」ということは誤っている; fact28 -> int9: もし「あの小螺子はファーストタッチだけれど亡くさない」ということは成り立たないならばファーストタッチでない; fact33 -> int10: もしもあの小螺子は親しいとしたら「それはファーストタッチだけれど亡くさない」ということは正しくない; fact24 & fact31 -> int11: その響動めきは幹事長でない; fact32 & int11 -> int12: その響動めきは妨げであるしおまけにそれは訓示だ; int12 -> int13: その響動めきは妨げである; int13 -> int14: 「あるものは妨げだ」ということは事実だ; int14 & fact25 -> int15: 「その二十六日判決は妨げであるかあるいは口汚いかもしくはどちらもである」ということは真実だ;
$facts$ = fact1: もし仮に「あの小螺子は美肌でないし大容量でない」ということは間違いであるとするとその有用性は鈍る fact2: 仮に「何かはファーストタッチだけど亡くさない」ということは成り立たないとしたらそれはファーストタッチであるということはない fact3: あの天与は美肌であるということはない fact4: 仮に何かは妨げならばあの二十六日判決は妨げであるかそれは口汚い fact5: 「「あの天与は大容量でおまけに美肌である」ということは本当だ」ということは間違いである fact6: もしも何かは登山家らしいということはないとしたらマンデーだしかつ美肌だ fact7: なにかは親しいとしたら「それがファーストタッチだしそれは亡くさない」ということは成り立たない fact8: 「その二十六日付けは美肌でない」ということは誤りでない fact9: もし何かは多国籍自動車企業であるということはないとすれば登山家らしいしさらにそれはマンデーだ fact10: 「「嫌らしいということはなくて更に幹事長だ」ということは成り立たない」ものがあるとすればその響動めきは幹事長でない fact11: もしその二十六日判決が妨げであるとすればあの小螺子は親しい fact12: もし仮に何らかの物が多国籍自動車企業だということはないとすれば登山家らしい fact13: その有用性は名残惜しくて加えて美肌である fact14: もし仮に「その有用性は多国籍自動車企業であるがそれは大容量でない」ということは成り立たないとすればあの天与は多国籍自動車企業でない fact15: あの天与がマンデーであるし更に予期不安だとするとあの自殺願望は仕事らしくない fact16: もし仮に「「その響動めきは幹事長である」ということは間違っている」ということは確かであるとするとそれは妨げであるしそれは訓示だ fact17: もし「あの天与は多国籍自動車企業でない」ということは事実と異ならないとすると「それは登山家らしい」ということは真実だ fact18: 「「嫌らしくないしさらに幹事長だ」ということは間違いな」ものはある fact19: 仕事らしくない物は予期不安であるということはない fact20: もしもその有用性が鈍るかまたはそれは予期不安でないとすれば「あの自殺願望は予期不安でない」ということは間違いでない fact21: もしなんらかのものはファーストタッチでないならば「それは美肌でないしさらにそれは大容量でない」ということは偽である fact22: もしもあの天与が美肌でないとすればそれは鈍るしさらに予期不安だ fact23: 「その有用性は多国籍自動車企業だけど大容量でない」ということは誤りである ; $hypothesis$ = あの自殺願望は仕事らしいということはない ; $proof$ = 
fact9 -> int1: あの天与が多国籍自動車企業でないなら登山家らしいしそれはマンデーだ; fact23 & fact14 -> int2: あの天与は多国籍自動車企業でない; int1 & int2 -> int3: あの天与は登山家らしいしマンデーである; int3 -> int4: あの天与はマンデーだ; fact22 & fact3 -> int5: あの天与は鈍るしまた予期不安だ; int5 -> int6: あの天与は予期不安だ; int4 & int6 -> int7: あの天与がマンデーだし予期不安だ; int7 & fact15 -> hypothesis; __PROVED__
事実1: もし仮に「あの小螺子は美肌でないし大容量でない」ということは間違いであるとするとその有用性は鈍る
事実2: 仮に「何かはファーストタッチだけど亡くさない」ということは成り立たないとしたらそれはファーストタッチであるということはない
事実3: あの天与は美肌であるということはない
事実4: 仮に何かは妨げならばあの二十六日判決は妨げであるかそれは口汚い
事実5: 「「あの天与は大容量でおまけに美肌である」ということは本当だ」ということは間違いである
事実6: もしも何かは登山家らしいということはないとしたらマンデーだしかつ美肌だ
事実7: なにかは親しいとしたら「それがファーストタッチだしそれは亡くさない」ということは成り立たない
事実8: 「その二十六日付けは美肌でない」ということは誤りでない
事実9: もし何かは多国籍自動車企業であるということはないとすれば登山家らしいしさらにそれはマンデーだ
事実10: 「「嫌らしいということはなくて更に幹事長だ」ということは成り立たない」ものがあるとすればその響動めきは幹事長でない
事実11: もしその二十六日判決が妨げであるとすればあの小螺子は親しい
事実12: もし仮に何らかの物が多国籍自動車企業だということはないとすれば登山家らしい
事実13: その有用性は名残惜しくて加えて美肌である
事実14: もし仮に「その有用性は多国籍自動車企業であるがそれは大容量でない」ということは成り立たないとすればあの天与は多国籍自動車企業でない
事実15: あの天与がマンデーであるし更に予期不安だとするとあの自殺願望は仕事らしくない
事実16: もし仮に「「その響動めきは幹事長である」ということは間違っている」ということは確かであるとするとそれは妨げであるしそれは訓示だ
事実17: もし「あの天与は多国籍自動車企業でない」ということは事実と異ならないとすると「それは登山家らしい」ということは真実だ
事実18: 「「嫌らしくないしさらに幹事長だ」ということは間違いな」ものはある
事実19: 仕事らしくない物は予期不安であるということはない
事実20: もしもその有用性が鈍るかまたはそれは予期不安でないとすれば「あの自殺願望は予期不安でない」ということは間違いでない
事実21: もしなんらかのものはファーストタッチでないならば「それは美肌でないしさらにそれは大容量でない」ということは偽である
事実22: もしもあの天与が美肌でないとすればそれは鈍るしさらに予期不安だ
事実23: 「その有用性は多国籍自動車企業だけど大容量でない」ということは誤りである

仮説: あの自殺願望は仕事らしいということはない
1. 事実9から、推論1: "あの天与が多国籍自動車企業でないなら登山家らしいしそれはマンデーだ"が導かれる
2. 事実23と事実14から、推論2: "あの天与は多国籍自動車企業でない"が導かれる
3. 推論1と推論2から、推論3: "あの天与は登山家らしいしマンデーである"が導かれる
4. 推論3から、推論4: "あの天与はマンデーだ"が導かれる
5. 事実22と事実3から、推論5: "あの天与は鈍るしまた予期不安だ"が導かれる
6. 推論5から、推論6: "あの天与は予期不安だ"が導かれる
7. 推論4と推論6から、推論7: "あの天与がマンデーだし予期不安だ"が導かれる
8. 推論7と事実15から、仮説が導かれる

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