この虐待対応は飲み干さない
fact1: 何かは信じ易いならば「この虐待対応が入るしその上ソリューションエクスプローラである」ということは嘘だ fact2: もしも「あのスイープは旨いし更に飲み干す」ということは成り立たないとするとそれは吹っ掛けるということはない fact3: もし仮にこの虐待対応がソリューションエクスプローラでないとすれば飲み干さない fact4: 「「信じ易い」ということは正しい」ものはある fact5: もし仮に「この虐待対応は受け合えるし見出だせる」ということは誤っているとすると「脱税事件でない」ということは真実である fact6: もしも「何らかの物は入るしかつソリューションエクスプローラである」ということは誤りであるとすると飲み干さない
fact6 -> int1: もし「この虐待対応は入るしおまけにそれはソリューションエクスプローラである」ということは正しくないなら飲み干さない; fact4 & fact1 -> int2: 「この虐待対応は入るしまたソリューションエクスプローラだ」ということは嘘だ; int1 & int2 -> hypothesis;
$facts$ = fact1: 何かは信じ易いならば「この虐待対応が入るしその上ソリューションエクスプローラである」ということは嘘だ fact2: もしも「あのスイープは旨いし更に飲み干す」ということは成り立たないとするとそれは吹っ掛けるということはない fact3: もし仮にこの虐待対応がソリューションエクスプローラでないとすれば飲み干さない fact4: 「「信じ易い」ということは正しい」ものはある fact5: もし仮に「この虐待対応は受け合えるし見出だせる」ということは誤っているとすると「脱税事件でない」ということは真実である fact6: もしも「何らかの物は入るしかつソリューションエクスプローラである」ということは誤りであるとすると飲み干さない ; $hypothesis$ = この虐待対応は飲み干さない ; $proof$ = 
fact6 -> int1: もし「この虐待対応は入るしおまけにそれはソリューションエクスプローラである」ということは正しくないなら飲み干さない; fact4 & fact1 -> int2: 「この虐待対応は入るしまたソリューションエクスプローラだ」ということは嘘だ; int1 & int2 -> hypothesis; __PROVED__
事実1: 何かは信じ易いならば「この虐待対応が入るしその上ソリューションエクスプローラである」ということは嘘だ
事実2: もしも「あのスイープは旨いし更に飲み干す」ということは成り立たないとするとそれは吹っ掛けるということはない
事実3: もし仮にこの虐待対応がソリューションエクスプローラでないとすれば飲み干さない
事実4: 「「信じ易い」ということは正しい」ものはある
事実5: もし仮に「この虐待対応は受け合えるし見出だせる」ということは誤っているとすると「脱税事件でない」ということは真実である
事実6: もしも「何らかの物は入るしかつソリューションエクスプローラである」ということは誤りであるとすると飲み干さない

仮説: この虐待対応は飲み干さない
1. 事実6から、推論1: "もし「この虐待対応は入るしおまけにそれはソリューションエクスプローラである」ということは正しくないなら飲み干さない"が導かれる
2. 事実4と事実1から、推論2: "「この虐待対応は入るしまたソリューションエクスプローラだ」ということは嘘だ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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