等しくないものはある
fact1: もし仮になんらかのものは生活し易くないとすれば「この皮膚感覚障害は逃れ出なくてその上乳臭いということはない」ということは誤りだ fact2: この自体は等しいしかつ現当主である fact3: なにがしかのものが乳臭くない一方で快いとしたらそのＩＣタグは穀類である fact4: もしそのＩＣタグが穀類であるしおまけに逃れ出るならこの正義論は後ろ暗いということはない fact5: この自体は後ろ暗くておまけに現当主である fact6: もし仮に何かは乳臭いとするとそれは行動出来る fact7: もし「「生活し易くないか間接話法であるかまたはどちらもな」ものはある」ということは成り立てば「この正義論は生活し易いということはない」ということは成り立つ fact8: もし仮に「そのＩＣタグは等しい」ということは事実ならば興じる fact9: もし「とある物は興じるがしかし生活し易いということはない」ということは嘘ならば等しくない fact10: 「そのＩＣタグは故無い」ということは本当だ fact11: もしもそのＩＣタグが快くないとすればこの皮膚感覚障害は要求項目である fact12: あの相殺消去は剥がれ易い fact13: この自体は間接話法でまたそれは現当主である fact14: もし仮にそのＩＣタグは故無いとすると「等しい」ということは間違っていない fact15: もし仮にこの自体は故無いならば「この正義論は後ろ暗い」ということは成り立つ fact16: 何らかの物は生活し易くないかあるいは間接話法であるかまたはどちらもである fact17: 仮に何らかの物が間接話法だとすれば故無い fact18: 何らかの物は乳臭いし更に快い fact19: 何らかの物は乳臭いということはないがしかし快い fact20: 「何らかのものは逃れ出ないしそれにそれは乳臭くない」ということは誤っているなら「乳臭い」ということは成り立つ fact21: 何かは意義深いならば出社出来る fact22: 「何かは逃れ出る一方で等しいということはない」ということは事実と異なるとすれば生活し易くない fact23: 「もし穀類が後ろ暗くないとしたら快くない」ということは事実である fact24: 「快い」ものはある fact25: もし仮にそのＩＣタグは逃れ出ないなら「この伸長は興じるけどそれは生活し易くない」ということは誤っている fact26: とあるものは等しい fact27: この自体は現当主である
fact19 & fact3 -> int1: そのＩＣタグは穀類だ; void -> assump1: 以下のように仮定する。そのＩＣタグは逃れ出る; int1 & assump1 -> int2: そのＩＣタグは穀類であるしまたそれは逃れ出る; int2 & fact4 -> int3: この正義論は後ろ暗くない; fact17 -> int4: もし仮にこの自体は間接話法だとすると「故無い」ということは事実である; fact13 -> int5: この自体は間接話法である; int4 & int5 -> int6: この自体は故無い; int6 & fact15 -> int7: 「この正義論は後ろ暗い」ということは嘘でない; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: そのＩＣタグは逃れ出ない; int9 & fact25 -> int10: 「「この伸長は興じる一方で生活し易いということはない」ということは成り立つ」ということは誤っている; fact9 -> int11: 「「この伸長は興じるが生活し易いということはない」ということは事実と異なるとすればこの伸長は等しいということはない」ということは正しい; int10 & int11 -> int12: この伸長は等しくない; int12 -> hypothesis;
この皮膚感覚障害は行動出来るしそれにそれは要求項目である
fact30 -> int13: もしも「この皮膚感覚障害は乳臭い」ということは間違いでないとすればそれは行動出来る; fact34 -> int14: もし仮に「「この皮膚感覚障害は逃れ出ないしかつ乳臭くない」ということは成り立つ」ということは誤っているとすればそれは乳臭い; fact28 & fact35 -> int15: この正義論は生活し易いということはない; int15 -> int16: とある物は生活し易くない; int16 & fact32 -> int17: 「この皮膚感覚障害は逃れ出るということはないし乳臭くない」ということは誤りだ; int14 & int17 -> int18: この皮膚感覚障害は乳臭い; int13 & int18 -> int19: 「この皮膚感覚障害は行動出来る」ということは確かである; fact31 -> int20: もしもそのＩＣタグが穀類だがそれが後ろ暗くないとしたら快くない; fact29 & fact36 -> int21: そのＩＣタグは等しい; fact33 & int21 -> int22: そのＩＣタグは興じる;
$facts$ = fact1: もし仮になんらかのものは生活し易くないとすれば「この皮膚感覚障害は逃れ出なくてその上乳臭いということはない」ということは誤りだ fact2: この自体は等しいしかつ現当主である fact3: なにがしかのものが乳臭くない一方で快いとしたらそのＩＣタグは穀類である fact4: もしそのＩＣタグが穀類であるしおまけに逃れ出るならこの正義論は後ろ暗いということはない fact5: この自体は後ろ暗くておまけに現当主である fact6: もし仮に何かは乳臭いとするとそれは行動出来る fact7: もし「「生活し易くないか間接話法であるかまたはどちらもな」ものはある」ということは成り立てば「この正義論は生活し易いということはない」ということは成り立つ fact8: もし仮に「そのＩＣタグは等しい」ということは事実ならば興じる fact9: もし「とある物は興じるがしかし生活し易いということはない」ということは嘘ならば等しくない fact10: 「そのＩＣタグは故無い」ということは本当だ fact11: もしもそのＩＣタグが快くないとすればこの皮膚感覚障害は要求項目である fact12: あの相殺消去は剥がれ易い fact13: この自体は間接話法でまたそれは現当主である fact14: もし仮にそのＩＣタグは故無いとすると「等しい」ということは間違っていない fact15: もし仮にこの自体は故無いならば「この正義論は後ろ暗い」ということは成り立つ fact16: 何らかの物は生活し易くないかあるいは間接話法であるかまたはどちらもである fact17: 仮に何らかの物が間接話法だとすれば故無い fact18: 何らかの物は乳臭いし更に快い fact19: 何らかの物は乳臭いということはないがしかし快い fact20: 「何らかのものは逃れ出ないしそれにそれは乳臭くない」ということは誤っているなら「乳臭い」ということは成り立つ fact21: 何かは意義深いならば出社出来る fact22: 「何かは逃れ出る一方で等しいということはない」ということは事実と異なるとすれば生活し易くない fact23: 「もし穀類が後ろ暗くないとしたら快くない」ということは事実である fact24: 「快い」ものはある fact25: もし仮にそのＩＣタグは逃れ出ないなら「この伸長は興じるけどそれは生活し易くない」ということは誤っている fact26: とあるものは等しい fact27: この自体は現当主である ; $hypothesis$ = 等しくないものはある ; $proof$ = 
fact19 & fact3 -> int1: そのＩＣタグは穀類だ; void -> assump1: 以下のように仮定する。そのＩＣタグは逃れ出る; int1 & assump1 -> int2: そのＩＣタグは穀類であるしまたそれは逃れ出る; int2 & fact4 -> int3: この正義論は後ろ暗くない; fact17 -> int4: もし仮にこの自体は間接話法だとすると「故無い」ということは事実である; fact13 -> int5: この自体は間接話法である; int4 & int5 -> int6: この自体は故無い; int6 & fact15 -> int7: 「この正義論は後ろ暗い」ということは嘘でない; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: そのＩＣタグは逃れ出ない; int9 & fact25 -> int10: 「「この伸長は興じる一方で生活し易いということはない」ということは成り立つ」ということは誤っている; fact9 -> int11: 「「この伸長は興じるが生活し易いということはない」ということは事実と異なるとすればこの伸長は等しいということはない」ということは正しい; int10 & int11 -> int12: この伸長は等しくない; int12 -> 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: 「もし穀類が後ろ暗くないとしたら快くない」ということは事実である
事実24: 「快い」ものはある
事実25: もし仮にそのＩＣタグは逃れ出ないなら「この伸長は興じるけどそれは生活し易くない」ということは誤っている
事実26: とあるものは等しい
事実27: この自体は現当主である

仮説: 等しくないものはある
1. 事実19と事実3から、推論1: "そのＩＣタグは穀類だ"が導かれる
2. 仮定1: 以下のように仮定する。そのＩＣタグは逃れ出る
3. 推論1と仮定1から、推論2: "そのＩＣタグは穀類であるしまたそれは逃れ出る"が導かれる
4. 推論2と事実4から、推論3: "この正義論は後ろ暗くない"が導かれる
5. 事実17から、推論4: "もし仮にこの自体は間接話法だとすると「故無い」ということは事実である"が導かれる
6. 事実13から、推論5: "この自体は間接話法である"が導かれる
7. 推論4と推論5から、推論6: "この自体は故無い"が導かれる
8. 推論6と事実15から、推論7: "「この正義論は後ろ暗い」ということは嘘でない"が導かれる
9. 推論3と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "そのＩＣタグは逃れ出ない"が導かれる
11. 推論9と事実25から、推論10: "「「この伸長は興じる一方で生活し易いということはない」ということは成り立つ」ということは誤っている"が導かれる
12. 事実9から、推論11: "「「この伸長は興じるが生活し易いということはない」ということは事実と異なるとすればこの伸長は等しいということはない」ということは正しい"が導かれる
13. 推論10と推論11から、推論12: "この伸長は等しくない"が導かれる
14. 推論12から、仮説が導かれる

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