あの島船は素っ気なくなくてしかもいがらっぽくない
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: もし仮になにがしかの物は老人会であるとするとそれはふてぶてしい
void -> assump1: 以下のように仮定する。「あの島船は素っ気ないということはなくてそれにいがらっぽくない」ということは本当でない; fact25 & assump1 -> int1: あの島船はふてぶてしい; int1 & fact1 -> int2: この具体的生活は惨い; int2 & fact23 -> int3: その先駆的意義は平たい; int3 & fact17 -> int4: 「あの白色申告は老人会でなくて平たくない」ということは成り立たない; int4 & fact18 -> int5: あの白色申告は攻撃し易いということはない; int5 & fact6 -> int6: 「その入手法は攻撃し易くないしまた情けなくない」ということは成り立たない; fact20 -> int7: 何らかのものは程無いということはない; fact5 & int7 -> int8: その入手法は攻撃し易くないしそれに情けなくない; int6 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
「「あの島船は素っ気なくなくていがらっぽくない」ということは偽でない」ということは偽だ
fact30 -> int10: もし「あの島船は惨い」ということは正しいとすると「「素っ気なくないしそれはいがらっぽくない」ということは成り立つ」ということは成り立たない; fact29 -> int11: 仮にこの具体的生活はふてぶてしいとすれば「惨くないがしかし平たい」ということは成り立たない; fact28 -> int12: もし仮にこの具体的生活は老人会であるとしたらふてぶてしい;
$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$ = 
void -> assump1: 以下のように仮定する。「あの島船は素っ気ないということはなくてそれにいがらっぽくない」ということは本当でない; fact25 & assump1 -> int1: あの島船はふてぶてしい; int1 & fact1 -> int2: この具体的生活は惨い; int2 & fact23 -> int3: その先駆的意義は平たい; int3 & fact17 -> int4: 「あの白色申告は老人会でなくて平たくない」ということは成り立たない; int4 & fact18 -> int5: あの白色申告は攻撃し易いということはない; int5 & fact6 -> int6: 「その入手法は攻撃し易くないしまた情けなくない」ということは成り立たない; fact20 -> int7: 何らかのものは程無いということはない; fact5 & int7 -> int8: その入手法は攻撃し易くないしそれに情けなくない; int6 & int8 -> int9: これは矛盾である; [assump1] & int9 -> 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. 仮定1: 以下のように仮定する。「あの島船は素っ気ないということはなくてそれにいがらっぽくない」ということは本当でない
2. 事実25と仮定1から、推論1: "あの島船はふてぶてしい"が導かれる
3. 推論1と事実1から、推論2: "この具体的生活は惨い"が導かれる
4. 推論2と事実23から、推論3: "その先駆的意義は平たい"が導かれる
5. 推論3と事実17から、推論4: "「あの白色申告は老人会でなくて平たくない」ということは成り立たない"が導かれる
6. 推論4と事実18から、推論5: "あの白色申告は攻撃し易いということはない"が導かれる
7. 推論5と事実6から、推論6: "「その入手法は攻撃し易くないしまた情けなくない」ということは成り立たない"が導かれる
8. 事実20から、推論7: "何らかのものは程無いということはない"が導かれる
9. 事実5と推論7から、推論8: "その入手法は攻撃し易くないしそれに情けなくない"が導かれる
10. 推論6と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が導かれる

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