この切り上げが説かないしおまけにそれはどうして行けるということはない
fact1: もしなにがしかのものがオフシーズンであるかもしくは酢酸カリウムであるか両方ともだとすると「説かない」ということは間違っていない fact2: この切り上げはオフシーズンでない fact3: あの空洞内はオフシーズンでない fact4: もしもこの切り上げが現状打破でないとしたらそれが説かないし更にそれは減損会計基準でない fact5: もし仮にこの切り上げがオフシーズンでないならば説くということはなくてかつそれはどうして行けない fact6: この二曲目は一変しないしオフシーズンでない
fact5 & fact2 -> hypothesis;
「この椀は説かない」ということは事実である
fact7 -> int1: 仮にこの椀がオフシーズンであるかまたはそれは酢酸カリウムであるか両方なら「それは説くということはない」ということは真実だ;
$facts$ = fact1: もしなにがしかのものがオフシーズンであるかもしくは酢酸カリウムであるか両方ともだとすると「説かない」ということは間違っていない fact2: この切り上げはオフシーズンでない fact3: あの空洞内はオフシーズンでない fact4: もしもこの切り上げが現状打破でないとしたらそれが説かないし更にそれは減損会計基準でない fact5: もし仮にこの切り上げがオフシーズンでないならば説くということはなくてかつそれはどうして行けない fact6: この二曲目は一変しないしオフシーズンでない ; $hypothesis$ = この切り上げが説かないしおまけにそれはどうして行けるということはない ; $proof$ = 
fact5 & fact2 -> hypothesis; __PROVED__
事実1: もしなにがしかのものがオフシーズンであるかもしくは酢酸カリウムであるか両方ともだとすると「説かない」ということは間違っていない
事実2: この切り上げはオフシーズンでない
事実3: あの空洞内はオフシーズンでない
事実4: もしもこの切り上げが現状打破でないとしたらそれが説かないし更にそれは減損会計基準でない
事実5: もし仮にこの切り上げがオフシーズンでないならば説くということはなくてかつそれはどうして行けない
事実6: この二曲目は一変しないしオフシーズンでない

仮説: この切り上げが説かないしおまけにそれはどうして行けるということはない
1. 事実5と事実2から、仮説が導かれる

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