「プレスティージュでないとしたら「宜しがしかし温かくない」ということは成り立たない」物はある
fact1: 「老中達だということはないなら「俺俺詐欺でまた五等親でない」ということは間違いである」ものはある fact2: 「もし仮にプレスティージュでないとしたら宜しし温かくない」ものはある fact3: もしその外来植物はプレスティージュでないとしたら「宜ししまた温かい」ということは事実と異なる fact4: 「仮に耽溺しないとしたら「労労じけど水切りネットでない」ということは偽な」ものはある fact5: 仮に何かは寄る辺でないとすると「それがプレスティージュだし更にそれは病院機能評価でない」ということは間違いだ fact6: 「その外来植物はプレスティージュでない」ということは嘘でないとすればそれは宜しがしかし温かくない fact7: その外来植物は逗留するということはないなら「宜しし更にそれは美々しかない」ということは偽である fact8: 「もし晴れ姿でないならば「小難しくてかつ嫌味っぽくない」ということは事実でない」物はある fact9: 「どぎついということはないならば「真新しいし側副路でない」ということは誤っている」物はある fact10: もしその外来植物はプレスティージュであるとしたら「宜ししさらにそれは温かくない」ということは成り立たない fact11: 「もし伝わり難くないとすれば「潔ししさらに為出かさない」ということは成り立たない」物はある fact12: 「もしも寄る辺でないとしたら「堕落するけど噛み締めるということはない」ということは偽である」物はある fact13: もしもその外来植物はプレスティージュでないなら「それは宜しし加えてそれは温かくない」ということは成り立たない fact14: 「プレスティージュであるとすると「宜しし温かくない」ということは成り立たない」物はある fact15: もし「その外来植物は宜しない」ということは真実であるならば「平底であるけれど受け辛くない」ということは嘘だ fact16: もし仮にその外来植物は暑くないとしたら「温かいけど菓子店でない」ということは間違いである fact17: 「もしプレスティージュでないとすると「「宜しし温かい」ということは成り立つ」ということは成り立たない」物はある fact18: 「睨めないなら「規則正しくて菓子店でない」ということは成り立たない」ものはある fact19: もしもそのＢＵＮは勝ち残らないとしたら「宜しが生臭くない」ということは間違いである fact20: 「もし「心憎くない」ということは嘘でないならば「無いがしかし勝ち残らない」ということは間違っている」ものはある
fact13 -> hypothesis;
もし仮にその外来植物は寄る辺でないとしたら「プレスティージュだけど病院機能評価でない」ということは事実と異なる
fact21 -> hypothesis;
$facts$ = fact1: 「老中達だということはないなら「俺俺詐欺でまた五等親でない」ということは間違いである」ものはある fact2: 「もし仮にプレスティージュでないとしたら宜しし温かくない」ものはある fact3: もしその外来植物はプレスティージュでないとしたら「宜ししまた温かい」ということは事実と異なる fact4: 「仮に耽溺しないとしたら「労労じけど水切りネットでない」ということは偽な」ものはある fact5: 仮に何かは寄る辺でないとすると「それがプレスティージュだし更にそれは病院機能評価でない」ということは間違いだ fact6: 「その外来植物はプレスティージュでない」ということは嘘でないとすればそれは宜しがしかし温かくない fact7: その外来植物は逗留するということはないなら「宜しし更にそれは美々しかない」ということは偽である fact8: 「もし晴れ姿でないならば「小難しくてかつ嫌味っぽくない」ということは事実でない」物はある fact9: 「どぎついということはないならば「真新しいし側副路でない」ということは誤っている」物はある fact10: もしその外来植物はプレスティージュであるとしたら「宜ししさらにそれは温かくない」ということは成り立たない fact11: 「もし伝わり難くないとすれば「潔ししさらに為出かさない」ということは成り立たない」物はある fact12: 「もしも寄る辺でないとしたら「堕落するけど噛み締めるということはない」ということは偽である」物はある fact13: もしもその外来植物はプレスティージュでないなら「それは宜しし加えてそれは温かくない」ということは成り立たない fact14: 「プレスティージュであるとすると「宜しし温かくない」ということは成り立たない」物はある fact15: もし「その外来植物は宜しない」ということは真実であるならば「平底であるけれど受け辛くない」ということは嘘だ fact16: もし仮にその外来植物は暑くないとしたら「温かいけど菓子店でない」ということは間違いである fact17: 「もしプレスティージュでないとすると「「宜しし温かい」ということは成り立つ」ということは成り立たない」物はある fact18: 「睨めないなら「規則正しくて菓子店でない」ということは成り立たない」ものはある fact19: もしもそのＢＵＮは勝ち残らないとしたら「宜しが生臭くない」ということは間違いである fact20: 「もし「心憎くない」ということは嘘でないならば「無いがしかし勝ち残らない」ということは間違っている」ものはある ; $hypothesis$ = 「プレスティージュでないとしたら「宜しがしかし温かくない」ということは成り立たない」物はある ; $proof$ = 
fact13 -> hypothesis; __PROVED__
事実1: 「老中達だということはないなら「俺俺詐欺でまた五等親でない」ということは間違いである」ものはある
事実2: 「もし仮にプレスティージュでないとしたら宜しし温かくない」ものはある
事実3: もしその外来植物はプレスティージュでないとしたら「宜ししまた温かい」ということは事実と異なる
事実4: 「仮に耽溺しないとしたら「労労じけど水切りネットでない」ということは偽な」ものはある
事実5: 仮に何かは寄る辺でないとすると「それがプレスティージュだし更にそれは病院機能評価でない」ということは間違いだ
事実6: 「その外来植物はプレスティージュでない」ということは嘘でないとすればそれは宜しがしかし温かくない
事実7: その外来植物は逗留するということはないなら「宜しし更にそれは美々しかない」ということは偽である
事実8: 「もし晴れ姿でないならば「小難しくてかつ嫌味っぽくない」ということは事実でない」物はある
事実9: 「どぎついということはないならば「真新しいし側副路でない」ということは誤っている」物はある
事実10: もしその外来植物はプレスティージュであるとしたら「宜ししさらにそれは温かくない」ということは成り立たない
事実11: 「もし伝わり難くないとすれば「潔ししさらに為出かさない」ということは成り立たない」物はある
事実12: 「もしも寄る辺でないとしたら「堕落するけど噛み締めるということはない」ということは偽である」物はある
事実13: もしもその外来植物はプレスティージュでないなら「それは宜しし加えてそれは温かくない」ということは成り立たない
事実14: 「プレスティージュであるとすると「宜しし温かくない」ということは成り立たない」物はある
事実15: もし「その外来植物は宜しない」ということは真実であるならば「平底であるけれど受け辛くない」ということは嘘だ
事実16: もし仮にその外来植物は暑くないとしたら「温かいけど菓子店でない」ということは間違いである
事実17: 「もしプレスティージュでないとすると「「宜しし温かい」ということは成り立つ」ということは成り立たない」物はある
事実18: 「睨めないなら「規則正しくて菓子店でない」ということは成り立たない」ものはある
事実19: もしもそのＢＵＮは勝ち残らないとしたら「宜しが生臭くない」ということは間違いである
事実20: 「もし「心憎くない」ということは嘘でないならば「無いがしかし勝ち残らない」ということは間違っている」ものはある

仮説: 「プレスティージュでないとしたら「宜しがしかし温かくない」ということは成り立たない」物はある
1. 事実13から、仮説が導かれる

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