「「もし「「御召し上がるけれど分厚くない」ということは成り立つ」ということは成り立つということはないとしたら「涼しかない」ということは本当な」ものはある」ということは確かでない
fact1: 「「もし分厚いとすれば涼しかない」物はある」ということは事実である fact2: 「「御召し上がるし更に分厚い」ということは間違っているとすると涼しかない」ものはある fact3: 仮に「その御祈願は御召し上がるしそれは分厚い」ということは偽だとすると「それは涼しかない」ということは事実だ fact4: 「御召し上がるしおまけに分厚くないなら涼しかない」物はある fact5: 「何かは感情表出だが都市全体だということはない」ということは成り立たないならば殉ぜない fact6: もし「何らかの物は画すけれど姉らしくない」ということは成り立つということはないとしたらしつっこいということはない fact7: 「もし仮に「喜ばしいし承服しない」ということは事実と異なるなら冷め難くない」ものはある fact8: 仮にその御祈願は御召し上がるがしかし分厚いということはないならそれは涼しかない fact9: もし「その御祈願は御召し上がる一方でそれは分厚くない」ということは誤っているなら「涼しい」ということは成り立つ fact10: もし「その御祈願は御召し上がるが分厚いということはない」ということは誤りならばそれは涼しかない fact11: もし仮にその御祈願が御召し上がるということはないとしたらそれは涼しかない fact12: 仮に「この序厳守は狂喜である一方で咳き込まない」ということは誤りであるとすると御召し上がらない fact13: 「もし仮に「御召し上がるけど分厚くない」ということは偽だとすれば涼しい」物はある fact14: 「もしも「御召し上がる」ということは成り立たないならば涼しいということはない」ものはある
fact10 -> hypothesis;
「もしも「画すし姉らしくない」ということは本当でないとするとしつっこくない」物はある
fact15 -> int1: もしも「この掛け金額は画すが姉らしくない」ということは間違いだとしたら「それはしつっこくない」ということは間違いでない; int1 -> hypothesis;
$facts$ = fact1: 「「もし分厚いとすれば涼しかない」物はある」ということは事実である fact2: 「「御召し上がるし更に分厚い」ということは間違っているとすると涼しかない」ものはある fact3: 仮に「その御祈願は御召し上がるしそれは分厚い」ということは偽だとすると「それは涼しかない」ということは事実だ fact4: 「御召し上がるしおまけに分厚くないなら涼しかない」物はある fact5: 「何かは感情表出だが都市全体だということはない」ということは成り立たないならば殉ぜない fact6: もし「何らかの物は画すけれど姉らしくない」ということは成り立つということはないとしたらしつっこいということはない fact7: 「もし仮に「喜ばしいし承服しない」ということは事実と異なるなら冷め難くない」ものはある fact8: 仮にその御祈願は御召し上がるがしかし分厚いということはないならそれは涼しかない fact9: もし「その御祈願は御召し上がる一方でそれは分厚くない」ということは誤っているなら「涼しい」ということは成り立つ fact10: もし「その御祈願は御召し上がるが分厚いということはない」ということは誤りならばそれは涼しかない fact11: もし仮にその御祈願が御召し上がるということはないとしたらそれは涼しかない fact12: 仮に「この序厳守は狂喜である一方で咳き込まない」ということは誤りであるとすると御召し上がらない fact13: 「もし仮に「御召し上がるけど分厚くない」ということは偽だとすれば涼しい」物はある fact14: 「もしも「御召し上がる」ということは成り立たないならば涼しいということはない」ものはある ; $hypothesis$ = 「「もし「「御召し上がるけれど分厚くない」ということは成り立つ」ということは成り立つということはないとしたら「涼しかない」ということは本当な」ものはある」ということは確かでない ; $proof$ = 
fact10 -> hypothesis; __DISPROVED__
事実1: 「「もし分厚いとすれば涼しかない」物はある」ということは事実である
事実2: 「「御召し上がるし更に分厚い」ということは間違っているとすると涼しかない」ものはある
事実3: 仮に「その御祈願は御召し上がるしそれは分厚い」ということは偽だとすると「それは涼しかない」ということは事実だ
事実4: 「御召し上がるしおまけに分厚くないなら涼しかない」物はある
事実5: 「何かは感情表出だが都市全体だということはない」ということは成り立たないならば殉ぜない
事実6: もし「何らかの物は画すけれど姉らしくない」ということは成り立つということはないとしたらしつっこいということはない
事実7: 「もし仮に「喜ばしいし承服しない」ということは事実と異なるなら冷め難くない」ものはある
事実8: 仮にその御祈願は御召し上がるがしかし分厚いということはないならそれは涼しかない
事実9: もし「その御祈願は御召し上がる一方でそれは分厚くない」ということは誤っているなら「涼しい」ということは成り立つ
事実10: もし「その御祈願は御召し上がるが分厚いということはない」ということは誤りならばそれは涼しかない
事実11: もし仮にその御祈願が御召し上がるということはないとしたらそれは涼しかない
事実12: 仮に「この序厳守は狂喜である一方で咳き込まない」ということは誤りであるとすると御召し上がらない
事実13: 「もし仮に「御召し上がるけど分厚くない」ということは偽だとすれば涼しい」物はある
事実14: 「もしも「御召し上がる」ということは成り立たないならば涼しいということはない」ものはある

仮説: 「「もし「「御召し上がるけれど分厚くない」ということは成り立つ」ということは成り立つということはないとしたら「涼しかない」ということは本当な」ものはある」ということは確かでない
1. 事実10から、仮説が否定される

よって、仮説が否定されました。