「もし仮に「がくがくしないけど利用し易い」ということは事実と異なるとすれば手緩くない」ものはある
fact1: あのオリジナル料理はがくがくしない一方で利用し易いとするとそれは手緩くない fact2: 「もし仮にがくがくするとすれば手緩くない」物はある fact3: 「「日比谷公園でないしさらにむしゃぶり付く」ということは誤りであるならば悔しくない」物はある fact4: 「もしも「砕かなくて更にマネジメントする」ということは間違いなら「説明し易いということはない」ということは事実な」ものはある fact5: 「「あのオリジナル料理はがくがくしないけど利用し易い」ということは確かだ」ということは真実でないなら手緩くない fact6: もし「あのオリジナル料理はがくがくするし利用し易い」ということは成り立つということはないならばそれは手緩いということはない fact7: 仮に「あのオリジナル料理はがくがくしないが利用し易い」ということは成り立たないとしたら「それは手緩い」ということは確かである fact8: 「もし「がくがくするしおまけに利用し易い」ということは成り立たないとしたら手緩いということはない」ものはある fact9: もしもあのオリジナル料理は利用し易くないとしたらそれは手緩くない fact10: 「仮に「移動し易いということはないし団結する」ということは誤りだとすれば延引するということはない」物はある fact11: もしも「何かは答え難くないけど説明し易い」ということは間違いなら古事でない fact12: 「仮に「がくがくするということはないしさらに利用し易い」ということは誤りであるとすれば手緩い」物はある fact13: 「もし「利用し易くない」ということは正しいとすると手緩くない」ものはある fact14: 「がくがくしないしおまけに利用し易いとしたら「手緩くない」ということは真実な」ものはある fact15: もし「あのオリジナル料理は保ち易くない一方で日比谷公園だ」ということは成り立たないとすれば手緩くない fact16: 「もしも「ブラバスらしくないけれど差別する」ということは成り立たないとしたら編曲しない」物はある
fact5 -> hypothesis;
fact5 -> hypothesis;
「もしも「答え難いということはない一方で説明し易い」ということは成り立たないとしたら「古事でない」ということは真実である」ものはある
fact17 -> int1: もしも「そのＺ軸は答え難くない一方で説明し易い」ということは誤っていれば古事でない; int1 -> hypothesis;
$facts$ = fact1: あのオリジナル料理はがくがくしない一方で利用し易いとするとそれは手緩くない fact2: 「もし仮にがくがくするとすれば手緩くない」物はある fact3: 「「日比谷公園でないしさらにむしゃぶり付く」ということは誤りであるならば悔しくない」物はある fact4: 「もしも「砕かなくて更にマネジメントする」ということは間違いなら「説明し易いということはない」ということは事実な」ものはある fact5: 「「あのオリジナル料理はがくがくしないけど利用し易い」ということは確かだ」ということは真実でないなら手緩くない fact6: もし「あのオリジナル料理はがくがくするし利用し易い」ということは成り立つということはないならばそれは手緩いということはない fact7: 仮に「あのオリジナル料理はがくがくしないが利用し易い」ということは成り立たないとしたら「それは手緩い」ということは確かである fact8: 「もし「がくがくするしおまけに利用し易い」ということは成り立たないとしたら手緩いということはない」ものはある fact9: もしもあのオリジナル料理は利用し易くないとしたらそれは手緩くない fact10: 「仮に「移動し易いということはないし団結する」ということは誤りだとすれば延引するということはない」物はある fact11: もしも「何かは答え難くないけど説明し易い」ということは間違いなら古事でない fact12: 「仮に「がくがくするということはないしさらに利用し易い」ということは誤りであるとすれば手緩い」物はある fact13: 「もし「利用し易くない」ということは正しいとすると手緩くない」ものはある fact14: 「がくがくしないしおまけに利用し易いとしたら「手緩くない」ということは真実な」ものはある fact15: もし「あのオリジナル料理は保ち易くない一方で日比谷公園だ」ということは成り立たないとすれば手緩くない fact16: 「もしも「ブラバスらしくないけれど差別する」ということは成り立たないとしたら編曲しない」物はある ; $hypothesis$ = 「もし仮に「がくがくしないけど利用し易い」ということは事実と異なるとすれば手緩くない」ものはある ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: あのオリジナル料理はがくがくしない一方で利用し易いとするとそれは手緩くない
事実2: 「もし仮にがくがくするとすれば手緩くない」物はある
事実3: 「「日比谷公園でないしさらにむしゃぶり付く」ということは誤りであるならば悔しくない」物はある
事実4: 「もしも「砕かなくて更にマネジメントする」ということは間違いなら「説明し易いということはない」ということは事実な」ものはある
事実5: 「「あのオリジナル料理はがくがくしないけど利用し易い」ということは確かだ」ということは真実でないなら手緩くない
事実6: もし「あのオリジナル料理はがくがくするし利用し易い」ということは成り立つということはないならばそれは手緩いということはない
事実7: 仮に「あのオリジナル料理はがくがくしないが利用し易い」ということは成り立たないとしたら「それは手緩い」ということは確かである
事実8: 「もし「がくがくするしおまけに利用し易い」ということは成り立たないとしたら手緩いということはない」ものはある
事実9: もしもあのオリジナル料理は利用し易くないとしたらそれは手緩くない
事実10: 「仮に「移動し易いということはないし団結する」ということは誤りだとすれば延引するということはない」物はある
事実11: もしも「何かは答え難くないけど説明し易い」ということは間違いなら古事でない
事実12: 「仮に「がくがくするということはないしさらに利用し易い」ということは誤りであるとすれば手緩い」物はある
事実13: 「もし「利用し易くない」ということは正しいとすると手緩くない」ものはある
事実14: 「がくがくしないしおまけに利用し易いとしたら「手緩くない」ということは真実な」ものはある
事実15: もし「あのオリジナル料理は保ち易くない一方で日比谷公園だ」ということは成り立たないとすれば手緩くない
事実16: 「もしも「ブラバスらしくないけれど差別する」ということは成り立たないとしたら編曲しない」物はある

仮説: 「もし仮に「がくがくしないけど利用し易い」ということは事実と異なるとすれば手緩くない」ものはある
1. 事実5から、仮説が導かれる

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