「その御醤油は土粒子でないかあるいはそれは掛け難い」ということは嘘である
fact1: もし「「溶き入れない」ということは成り立つ」物があればこの藩士は掛け難い fact2: 何かは溶き入れない fact3: その御醤油は土粒子であるか掛け難いかまたは両方ともだ fact4: 仮に何らかの物は御召し上がり下さらないとすれば「溶き入れるしおまけに御困る」ということは間違いである fact5: 何かは溶き入れるということはないとすれば「それは土粒子でないかまたは掛け難いかあるいはどちらもだ」ということは間違いだ fact6: 仮にその御醤油が掛け難いならばこの藩士は土粒子であるということはないかもしくは掛け難いかあるいは両方である fact7: 仮にこの藩士が掛け難いならその御醤油は土粒子であるかあるいは掛け難いかまたはどちらもである fact8: この藩士が掛け難いとしたらその御醤油は土粒子でないかもしくは掛け難いかあるいは両方である fact9: もしも「なんらかの物は溶き入れるし御困る」ということは成り立たないとすれば溶き入れない fact10: 「溶き入れる」物はある fact11: この藩士は土粒子でないか掛け難い
fact2 & fact1 -> int1: この藩士は掛け難い; int1 & fact8 -> hypothesis;
「その御醤油は土粒子でないか掛け難いか両方ともだ」ということは正しいということはない
fact13 -> int2: もしもその御醤油は溶き入れるということはないとすれば「それは土粒子でないかあるいはそれは掛け難いかもしくは両方ともである」ということは事実と異なる; fact12 -> int3: 「その御醤油は溶き入れるし御困る」ということは嘘だとしたら溶き入れない; fact14 -> int4: もし仮にその御醤油は御召し上がり下さるということはないとすると「それは溶き入れるし更に御困る」ということは成り立たない;
$facts$ = fact1: もし「「溶き入れない」ということは成り立つ」物があればこの藩士は掛け難い fact2: 何かは溶き入れない fact3: その御醤油は土粒子であるか掛け難いかまたは両方ともだ fact4: 仮に何らかの物は御召し上がり下さらないとすれば「溶き入れるしおまけに御困る」ということは間違いである fact5: 何かは溶き入れるということはないとすれば「それは土粒子でないかまたは掛け難いかあるいはどちらもだ」ということは間違いだ fact6: 仮にその御醤油が掛け難いならばこの藩士は土粒子であるということはないかもしくは掛け難いかあるいは両方である fact7: 仮にこの藩士が掛け難いならその御醤油は土粒子であるかあるいは掛け難いかまたはどちらもである fact8: この藩士が掛け難いとしたらその御醤油は土粒子でないかもしくは掛け難いかあるいは両方である fact9: もしも「なんらかの物は溶き入れるし御困る」ということは成り立たないとすれば溶き入れない fact10: 「溶き入れる」物はある fact11: この藩士は土粒子でないか掛け難い ; $hypothesis$ = 「その御醤油は土粒子でないかあるいはそれは掛け難い」ということは嘘である ; $proof$ = 
fact2 & fact1 -> int1: この藩士は掛け難い; int1 & fact8 -> hypothesis; __DISPROVED__
事実1: もし「「溶き入れない」ということは成り立つ」物があればこの藩士は掛け難い
事実2: 何かは溶き入れない
事実3: その御醤油は土粒子であるか掛け難いかまたは両方ともだ
事実4: 仮に何らかの物は御召し上がり下さらないとすれば「溶き入れるしおまけに御困る」ということは間違いである
事実5: 何かは溶き入れるということはないとすれば「それは土粒子でないかまたは掛け難いかあるいはどちらもだ」ということは間違いだ
事実6: 仮にその御醤油が掛け難いならばこの藩士は土粒子であるということはないかもしくは掛け難いかあるいは両方である
事実7: 仮にこの藩士が掛け難いならその御醤油は土粒子であるかあるいは掛け難いかまたはどちらもである
事実8: この藩士が掛け難いとしたらその御醤油は土粒子でないかもしくは掛け難いかあるいは両方である
事実9: もしも「なんらかの物は溶き入れるし御困る」ということは成り立たないとすれば溶き入れない
事実10: 「溶き入れる」物はある
事実11: この藩士は土粒子でないか掛け難い

仮説: 「その御醤油は土粒子でないかあるいはそれは掛け難い」ということは嘘である
1. 事実2と事実1から、推論1: "この藩士は掛け難い"が導かれる
2. 推論1と事実8から、仮説が否定される

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