「その目立ちたがり屋は平安時代初期だということはないがそれは厚い」ということは間違いである
fact1: 仮にある物は出陣しないか怯えないかもしくはどちらもなら「出陣しない」ということは成り立つ fact2: 仮に「その目立ちたがり屋は出陣する」ということは確かであるとすれば「平安時代初期だしかつ厚い」ということは成り立たない fact3: もし仮に「あの岩剣城は白し」ということは成り立てば「それは出陣しないしかつそれは掛かり難い」ということは偽だ fact4: もしも「なにがしかのものは出陣する」ということは事実であるとすれば「怯えないしそれにそれは平安時代初期だ」ということは誤りである fact5: 「その目立ちたがり屋は垂直位置だけれどそれは平安時代初期でない」ということは嘘である fact6: 「その目立ちたがり屋は接近し易い一方で怯えない」ということは誤っている fact7: 「その目立ちたがり屋は平安時代初期でおまけに厚い」ということは誤りである fact8: もしもその免税措置がファンド・マネジャーであるとすればあの年テキストボックスは接近し易くないがしかし押さえ難い fact9: もしもその目立ちたがり屋は接近し易くないとすると出陣する fact10: もしもその決定が素晴らしくないとするとその免税措置は成立し難い fact11: 「その決定は素晴らしいけど提出出来ない」ということは成り立たない fact12: もし何かは石灰質であるとすればそれはファンド・マネジャーである fact13: 「成立し難い物は石灰質だ」ということは確かだ fact14: 仮に「その決定は素晴らしい一方でそれは提出出来ない」ということは正しくないならばそれは素晴らしくない fact15: 仮になにがしかのものは出陣するなら「平安時代初期でなくて加えてそれは厚い」ということは成り立たない fact16: もしある物は怯えるとしたら「厚くてそれは平安時代初期だ」ということは誤りである fact17: もしも何らかのものは厚いとすると「それは怯えるし加えて平安時代初期である」ということは間違いである fact18: 仮に「その目立ちたがり屋は接近し易い一方で怯えない」ということは偽だとすると出陣する fact19: もし仮にある物は出陣しないならば「平安時代初期でないしおまけに厚い」ということは確かである fact20: もし仮にあの年テキストボックスが接近し易くないものでさらに押さえ難いとすればその隠遁は怯えるということはない
fact15 -> int1: 「その目立ちたがり屋は出陣すれば「その目立ちたがり屋は平安時代初期でないがしかしそれは厚い」ということは成り立たない」ということは誤っていない; fact18 & fact6 -> int2: その目立ちたがり屋は出陣する; int1 & int2 -> hypothesis;
その目立ちたがり屋は平安時代初期でない一方で厚い
fact25 -> int3: 「その目立ちたがり屋は出陣しない」ということは本当だとすれば平安時代初期でなくてそれは厚い; fact26 -> int4: もし仮に「その目立ちたがり屋は出陣するということはないかあるいはそれは怯えない」ということは成り立てば出陣しない; fact29 -> int5: もしその免税措置は石灰質であるならばファンド・マネジャーである; fact21 -> int6: もしその免税措置が成立し難いならそれは石灰質である; fact24 & fact23 -> int7: その決定は素晴らしくない; fact22 & int7 -> int8: その免税措置は成立し難い; int6 & int8 -> int9: その免税措置は石灰質だ; int5 & int9 -> int10: その免税措置はファンド・マネジャーだ; fact27 & int10 -> int11: あの年テキストボックスは接近し易くないけど押さえ難い; fact28 & int11 -> int12: その隠遁は怯えない; int12 -> int13: 「「怯えない」ということは成り立つ」ものはある;
$facts$ = fact1: 仮にある物は出陣しないか怯えないかもしくはどちらもなら「出陣しない」ということは成り立つ fact2: 仮に「その目立ちたがり屋は出陣する」ということは確かであるとすれば「平安時代初期だしかつ厚い」ということは成り立たない fact3: もし仮に「あの岩剣城は白し」ということは成り立てば「それは出陣しないしかつそれは掛かり難い」ということは偽だ fact4: もしも「なにがしかのものは出陣する」ということは事実であるとすれば「怯えないしそれにそれは平安時代初期だ」ということは誤りである fact5: 「その目立ちたがり屋は垂直位置だけれどそれは平安時代初期でない」ということは嘘である fact6: 「その目立ちたがり屋は接近し易い一方で怯えない」ということは誤っている fact7: 「その目立ちたがり屋は平安時代初期でおまけに厚い」ということは誤りである fact8: もしもその免税措置がファンド・マネジャーであるとすればあの年テキストボックスは接近し易くないがしかし押さえ難い fact9: もしもその目立ちたがり屋は接近し易くないとすると出陣する fact10: もしもその決定が素晴らしくないとするとその免税措置は成立し難い fact11: 「その決定は素晴らしいけど提出出来ない」ということは成り立たない fact12: もし何かは石灰質であるとすればそれはファンド・マネジャーである fact13: 「成立し難い物は石灰質だ」ということは確かだ fact14: 仮に「その決定は素晴らしい一方でそれは提出出来ない」ということは正しくないならばそれは素晴らしくない fact15: 仮になにがしかのものは出陣するなら「平安時代初期でなくて加えてそれは厚い」ということは成り立たない fact16: もしある物は怯えるとしたら「厚くてそれは平安時代初期だ」ということは誤りである fact17: もしも何らかのものは厚いとすると「それは怯えるし加えて平安時代初期である」ということは間違いである fact18: 仮に「その目立ちたがり屋は接近し易い一方で怯えない」ということは偽だとすると出陣する fact19: もし仮にある物は出陣しないならば「平安時代初期でないしおまけに厚い」ということは確かである fact20: もし仮にあの年テキストボックスが接近し易くないものでさらに押さえ難いとすればその隠遁は怯えるということはない ; $hypothesis$ = 「その目立ちたがり屋は平安時代初期だということはないがそれは厚い」ということは間違いである ; $proof$ = 
fact15 -> int1: 「その目立ちたがり屋は出陣すれば「その目立ちたがり屋は平安時代初期でないがしかしそれは厚い」ということは成り立たない」ということは誤っていない; fact18 & fact6 -> int2: その目立ちたがり屋は出陣する; int1 & int2 -> hypothesis; __PROVED__
事実1: 仮にある物は出陣しないか怯えないかもしくはどちらもなら「出陣しない」ということは成り立つ
事実2: 仮に「その目立ちたがり屋は出陣する」ということは確かであるとすれば「平安時代初期だしかつ厚い」ということは成り立たない
事実3: もし仮に「あの岩剣城は白し」ということは成り立てば「それは出陣しないしかつそれは掛かり難い」ということは偽だ
事実4: もしも「なにがしかのものは出陣する」ということは事実であるとすれば「怯えないしそれにそれは平安時代初期だ」ということは誤りである
事実5: 「その目立ちたがり屋は垂直位置だけれどそれは平安時代初期でない」ということは嘘である
事実6: 「その目立ちたがり屋は接近し易い一方で怯えない」ということは誤っている
事実7: 「その目立ちたがり屋は平安時代初期でおまけに厚い」ということは誤りである
事実8: もしもその免税措置がファンド・マネジャーであるとすればあの年テキストボックスは接近し易くないがしかし押さえ難い
事実9: もしもその目立ちたがり屋は接近し易くないとすると出陣する
事実10: もしもその決定が素晴らしくないとするとその免税措置は成立し難い
事実11: 「その決定は素晴らしいけど提出出来ない」ということは成り立たない
事実12: もし何かは石灰質であるとすればそれはファンド・マネジャーである
事実13: 「成立し難い物は石灰質だ」ということは確かだ
事実14: 仮に「その決定は素晴らしい一方でそれは提出出来ない」ということは正しくないならばそれは素晴らしくない
事実15: 仮になにがしかのものは出陣するなら「平安時代初期でなくて加えてそれは厚い」ということは成り立たない
事実16: もしある物は怯えるとしたら「厚くてそれは平安時代初期だ」ということは誤りである
事実17: もしも何らかのものは厚いとすると「それは怯えるし加えて平安時代初期である」ということは間違いである
事実18: 仮に「その目立ちたがり屋は接近し易い一方で怯えない」ということは偽だとすると出陣する
事実19: もし仮にある物は出陣しないならば「平安時代初期でないしおまけに厚い」ということは確かである
事実20: もし仮にあの年テキストボックスが接近し易くないものでさらに押さえ難いとすればその隠遁は怯えるということはない

仮説: 「その目立ちたがり屋は平安時代初期だということはないがそれは厚い」ということは間違いである
1. 事実15から、推論1: "「その目立ちたがり屋は出陣すれば「その目立ちたがり屋は平安時代初期でないがしかしそれは厚い」ということは成り立たない」ということは誤っていない"が導かれる
2. 事実18と事実6から、推論2: "その目立ちたがり屋は出陣する"が導かれる
3. 推論1と推論2から、仮説が導かれる

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