「「仮に「予測し難くないし更に診療記録でない」ということは嘘だとしたら許し難し」物はある」ということは成り立たない
fact1: 仮に「なにがしかのものは予測し難くないしかつ診療記録であるということはない」ということは誤っているとするとそれは許し難し fact2: もし「何らかの物は第一平和市場でないしまたそれは取り引き経過でない」ということは間違っているとしたら河口堰だ
fact1 -> int1: もしも「あの年次報告は予測し難くないしその上それは診療記録であるということはない」ということは嘘だとするとそれは許し難し; int1 -> hypothesis;
「もし「第一平和市場だということはないしその上取り引き経過でない」ということは事実でないなら河口堰である」物はある
fact3 -> int2: もしも「あの成長産業は第一平和市場でなくておまけに取り引き経過であるということはない」ということは成り立たないならそれは河口堰である; int2 -> hypothesis;
$facts$ = fact1: 仮に「なにがしかのものは予測し難くないしかつ診療記録であるということはない」ということは誤っているとするとそれは許し難し fact2: もし「何らかの物は第一平和市場でないしまたそれは取り引き経過でない」ということは間違っているとしたら河口堰だ ; $hypothesis$ = 「「仮に「予測し難くないし更に診療記録でない」ということは嘘だとしたら許し難し」物はある」ということは成り立たない ; $proof$ = 
fact1 -> int1: もしも「あの年次報告は予測し難くないしその上それは診療記録であるということはない」ということは嘘だとするとそれは許し難し; int1 -> hypothesis; __DISPROVED__
事実1: 仮に「なにがしかのものは予測し難くないしかつ診療記録であるということはない」ということは誤っているとするとそれは許し難し
事実2: もし「何らかの物は第一平和市場でないしまたそれは取り引き経過でない」ということは間違っているとしたら河口堰だ

仮説: 「「仮に「予測し難くないし更に診療記録でない」ということは嘘だとしたら許し難し」物はある」ということは成り立たない
1. 事実1から、推論1: "もしも「あの年次報告は予測し難くないしその上それは診療記録であるということはない」ということは嘘だとするとそれは許し難し"が導かれる
2. 推論1から、仮説が否定される

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