「もし「その刺し身屋はえぐいということはないししかもそれは変形メニューでない」ということは成り立たないならその刺し身屋は御狩り場だということはない」ということは成り立たない
fact1: もし仮に「なんらかの物はえぐいということはないししかもそれは変形メニューでない」ということは成り立たないとしたら御狩り場でない
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: もし仮に「なんらかの物はえぐいということはないししかもそれは変形メニューでない」ということは成り立たないとしたら御狩り場でない ; $hypothesis$ = 「もし「その刺し身屋はえぐいということはないししかもそれは変形メニューでない」ということは成り立たないならその刺し身屋は御狩り場だということはない」ということは成り立たない ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: もし仮に「なんらかの物はえぐいということはないししかもそれは変形メニューでない」ということは成り立たないとしたら御狩り場でない

仮説: 「もし「その刺し身屋はえぐいということはないししかもそれは変形メニューでない」ということは成り立たないならその刺し身屋は御狩り場だということはない」ということは成り立たない
1. 事実1から、仮説が否定される

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