そのタルタル人は圧倒しない
fact1: 「そのタルタル人は国守様でない」ということは成り立てば「その別当は大人しくてさらに抜き取れる」ということは事実でない fact2: 何らかの物が抜き取れるとすれば大人しくないしかつそれは国守様でない fact3: もし仮に「その別当はコンビネーションメーターであるかそれは桶でない」ということは成り立たないなら「抜き取れる」ということは成り立つ fact4: 「その別当はコンビネーションメーターであるかあるいは桶でないかあるいは両方ともである」ということは間違っている fact5: 「その別当は中断するかまたはそれは成り果てないかあるいは両方ともだ」ということは成り立たない fact6: 仮に「あるものは大人しいしそれに抜き取れる」ということは間違いであるとすると「大人しくない」ということは成り立つ fact7: 「あの法政令は造営するかあるいはそれは反映され易くないかまたは両方だ」ということは成り立たない fact8: もし仮にその別当が空振りでないとすればそのタルタル人は圧倒しない fact9: 仮に大人しくないものは国守様でないとしたら空振りでない fact10: その別当が抜き取れればそれは大人しくない fact11: もしそのタルタル人が大人しい一方で抜き取れないならばそれは圧倒する
fact3 & fact4 -> int1: その別当は抜き取れる; fact2 -> int2: もしもその別当が抜き取れるとしたらそれは大人しくないしまた国守様だということはない; int1 & int2 -> int3: その別当は大人しいということはないし国守様でない; fact9 -> int4: もし仮にその別当が大人しくないしまた国守様でないとするとそれは空振りでない; int3 & int4 -> int5: その別当は空振りでない; int5 & fact8 -> hypothesis;
そのタルタル人は圧倒する
$facts$ = fact1: 「そのタルタル人は国守様でない」ということは成り立てば「その別当は大人しくてさらに抜き取れる」ということは事実でない fact2: 何らかの物が抜き取れるとすれば大人しくないしかつそれは国守様でない fact3: もし仮に「その別当はコンビネーションメーターであるかそれは桶でない」ということは成り立たないなら「抜き取れる」ということは成り立つ fact4: 「その別当はコンビネーションメーターであるかあるいは桶でないかあるいは両方ともである」ということは間違っている fact5: 「その別当は中断するかまたはそれは成り果てないかあるいは両方ともだ」ということは成り立たない fact6: 仮に「あるものは大人しいしそれに抜き取れる」ということは間違いであるとすると「大人しくない」ということは成り立つ fact7: 「あの法政令は造営するかあるいはそれは反映され易くないかまたは両方だ」ということは成り立たない fact8: もし仮にその別当が空振りでないとすればそのタルタル人は圧倒しない fact9: 仮に大人しくないものは国守様でないとしたら空振りでない fact10: その別当が抜き取れればそれは大人しくない fact11: もしそのタルタル人が大人しい一方で抜き取れないならばそれは圧倒する ; $hypothesis$ = そのタルタル人は圧倒しない ; $proof$ = 
fact3 & fact4 -> int1: その別当は抜き取れる; fact2 -> int2: もしもその別当が抜き取れるとしたらそれは大人しくないしまた国守様だということはない; int1 & int2 -> int3: その別当は大人しいということはないし国守様でない; fact9 -> int4: もし仮にその別当が大人しくないしまた国守様でないとするとそれは空振りでない; int3 & int4 -> int5: その別当は空振りでない; int5 & fact8 -> hypothesis; __PROVED__
事実1: 「そのタルタル人は国守様でない」ということは成り立てば「その別当は大人しくてさらに抜き取れる」ということは事実でない
事実2: 何らかの物が抜き取れるとすれば大人しくないしかつそれは国守様でない
事実3: もし仮に「その別当はコンビネーションメーターであるかそれは桶でない」ということは成り立たないなら「抜き取れる」ということは成り立つ
事実4: 「その別当はコンビネーションメーターであるかあるいは桶でないかあるいは両方ともである」ということは間違っている
事実5: 「その別当は中断するかまたはそれは成り果てないかあるいは両方ともだ」ということは成り立たない
事実6: 仮に「あるものは大人しいしそれに抜き取れる」ということは間違いであるとすると「大人しくない」ということは成り立つ
事実7: 「あの法政令は造営するかあるいはそれは反映され易くないかまたは両方だ」ということは成り立たない
事実8: もし仮にその別当が空振りでないとすればそのタルタル人は圧倒しない
事実9: 仮に大人しくないものは国守様でないとしたら空振りでない
事実10: その別当が抜き取れればそれは大人しくない
事実11: もしそのタルタル人が大人しい一方で抜き取れないならばそれは圧倒する

仮説: そのタルタル人は圧倒しない
1. 事実3と事実4から、推論1: "その別当は抜き取れる"が導かれる
2. 事実2から、推論2: "もしもその別当が抜き取れるとしたらそれは大人しくないしまた国守様だということはない"が導かれる
3. 推論1と推論2から、推論3: "その別当は大人しいということはないし国守様でない"が導かれる
4. 事実9から、推論4: "もし仮にその別当が大人しくないしまた国守様でないとするとそれは空振りでない"が導かれる
5. 推論3と推論4から、推論5: "その別当は空振りでない"が導かれる
6. 推論5と事実8から、仮説が導かれる

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