「「もしもタイアップしないとすると「すっごくなくて心苦しくない」ということは誤っている」物はある」ということは誤りだ
fact1: この東洋メタライジングはタイアップしないならば「すっごくないけど心苦しい」ということは間違っている fact2: 仮にこの東洋メタライジングはタイアップしないとすれば「それはすっごくないしまた心苦しくない」ということは誤りだ fact3: 「もしも「タイアップしない」ということは正しいとすればすっごくないし更に心苦しいということはない」物はある fact4: 「もしタイアップしないとしたら「すっごいということはないけど心苦しい」ということは偽である」ものはある fact5: この東洋メタライジングはタイアップしないなら「それはすっごくてそれにそれは心苦しいということはない」ということは間違いである
fact2 -> hypothesis;
$facts$ = fact1: この東洋メタライジングはタイアップしないならば「すっごくないけど心苦しい」ということは間違っている fact2: 仮にこの東洋メタライジングはタイアップしないとすれば「それはすっごくないしまた心苦しくない」ということは誤りだ fact3: 「もしも「タイアップしない」ということは正しいとすればすっごくないし更に心苦しいということはない」物はある fact4: 「もしタイアップしないとしたら「すっごいということはないけど心苦しい」ということは偽である」ものはある fact5: この東洋メタライジングはタイアップしないなら「それはすっごくてそれにそれは心苦しいということはない」ということは間違いである ; $hypothesis$ = 「「もしもタイアップしないとすると「すっごくなくて心苦しくない」ということは誤っている」物はある」ということは誤りだ ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: この東洋メタライジングはタイアップしないならば「すっごくないけど心苦しい」ということは間違っている
事実2: 仮にこの東洋メタライジングはタイアップしないとすれば「それはすっごくないしまた心苦しくない」ということは誤りだ
事実3: 「もしも「タイアップしない」ということは正しいとすればすっごくないし更に心苦しいということはない」物はある
事実4: 「もしタイアップしないとしたら「すっごいということはないけど心苦しい」ということは偽である」ものはある
事実5: この東洋メタライジングはタイアップしないなら「それはすっごくてそれにそれは心苦しいということはない」ということは間違いである

仮説: 「「もしもタイアップしないとすると「すっごくなくて心苦しくない」ということは誤っている」物はある」ということは誤りだ
1. 事実2から、仮説が否定される

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