この全権は別記様式であるかあるいは国内通貨であるということはない
fact1: もしもあの道形が国内通貨であるということはないならこの全権は別記様式であるか貪らないかあるいは両方だ fact2: あの軟派は貪らない fact3: もしあの道形が国内通貨でないとすればあの全権は別記様式であるかもしくはそれは貪る fact4: 仮にこの全権は貪らないとすると「あの道形は国内通貨であるか別記様式であるか両方ともである」ということは事実である fact5: もしも「あの道形は国内通貨でない」ということは真実ならこの全権は貪るかあるいは別記様式であるかあるいはどちらもだ fact6: 仮にあの道形が貪るということはないとしたらこの全権は別記様式であるか国内通貨でない fact7: もし仮にこの全権が別記様式でないとすればあの道形は貪るかまたは国内通貨であるかもしくは両方ともだ fact8: この全権が国内通貨でないならばあの道形は別記様式であるかあるいはそれは貪らない fact9: 仮にこの全権が国内通貨でないとしたらあの道形は貪るかあるいはそれは別記様式であるかまたはどちらもである fact10: この全権は国内通貨であるか貪るかまたは両方だ fact11: この全権は仕舞い兼ねない fact12: あの道形は貪らない fact13: もし仮にあの道形が別記様式だということはないならばこの全権は国内通貨であるかあるいはそれは貪らないかもしくは両方である fact14: このロンドンタイムスは国内通貨でない fact15: 仮にこの全権が貪るということはないならあの道形は別記様式であるかもしくは国内通貨である fact16: もし「あの道形は別記様式でない」ということは本当ならばあの全権は貪るかまたは国内通貨であるかまたは両方ともである fact17: この全権が貪らないとするとあの道形は別記様式であるかあるいはそれは国内通貨でない fact18: 「この全権は貪るかそれは国内通貨でない」ということは成り立つ fact19: あの道形は別記様式であるかもしくは貪るかあるいはどちらもだ fact20: あのピルスナーは貪らない
fact6 & fact12 -> hypothesis;
fact6 & fact12 -> hypothesis;
$facts$ = fact1: もしもあの道形が国内通貨であるということはないならこの全権は別記様式であるか貪らないかあるいは両方だ fact2: あの軟派は貪らない fact3: もしあの道形が国内通貨でないとすればあの全権は別記様式であるかもしくはそれは貪る fact4: 仮にこの全権は貪らないとすると「あの道形は国内通貨であるか別記様式であるか両方ともである」ということは事実である fact5: もしも「あの道形は国内通貨でない」ということは真実ならこの全権は貪るかあるいは別記様式であるかあるいはどちらもだ fact6: 仮にあの道形が貪るということはないとしたらこの全権は別記様式であるか国内通貨でない fact7: もし仮にこの全権が別記様式でないとすればあの道形は貪るかまたは国内通貨であるかもしくは両方ともだ fact8: この全権が国内通貨でないならばあの道形は別記様式であるかあるいはそれは貪らない fact9: 仮にこの全権が国内通貨でないとしたらあの道形は貪るかあるいはそれは別記様式であるかまたはどちらもである fact10: この全権は国内通貨であるか貪るかまたは両方だ fact11: この全権は仕舞い兼ねない fact12: あの道形は貪らない fact13: もし仮にあの道形が別記様式だということはないならばこの全権は国内通貨であるかあるいはそれは貪らないかもしくは両方である fact14: このロンドンタイムスは国内通貨でない fact15: 仮にこの全権が貪るということはないならあの道形は別記様式であるかもしくは国内通貨である fact16: もし「あの道形は別記様式でない」ということは本当ならばあの全権は貪るかまたは国内通貨であるかまたは両方ともである fact17: この全権が貪らないとするとあの道形は別記様式であるかあるいはそれは国内通貨でない fact18: 「この全権は貪るかそれは国内通貨でない」ということは成り立つ fact19: あの道形は別記様式であるかもしくは貪るかあるいはどちらもだ fact20: あのピルスナーは貪らない ; $hypothesis$ = この全権は別記様式であるかあるいは国内通貨であるということはない ; $proof$ = 
fact6 & fact12 -> hypothesis; __PROVED__
事実1: もしもあの道形が国内通貨であるということはないならこの全権は別記様式であるか貪らないかあるいは両方だ
事実2: あの軟派は貪らない
事実3: もしあの道形が国内通貨でないとすればあの全権は別記様式であるかもしくはそれは貪る
事実4: 仮にこの全権は貪らないとすると「あの道形は国内通貨であるか別記様式であるか両方ともである」ということは事実である
事実5: もしも「あの道形は国内通貨でない」ということは真実ならこの全権は貪るかあるいは別記様式であるかあるいはどちらもだ
事実6: 仮にあの道形が貪るということはないとしたらこの全権は別記様式であるか国内通貨でない
事実7: もし仮にこの全権が別記様式でないとすればあの道形は貪るかまたは国内通貨であるかもしくは両方ともだ
事実8: この全権が国内通貨でないならばあの道形は別記様式であるかあるいはそれは貪らない
事実9: 仮にこの全権が国内通貨でないとしたらあの道形は貪るかあるいはそれは別記様式であるかまたはどちらもである
事実10: この全権は国内通貨であるか貪るかまたは両方だ
事実11: この全権は仕舞い兼ねない
事実12: あの道形は貪らない
事実13: もし仮にあの道形が別記様式だということはないならばこの全権は国内通貨であるかあるいはそれは貪らないかもしくは両方である
事実14: このロンドンタイムスは国内通貨でない
事実15: 仮にこの全権が貪るということはないならあの道形は別記様式であるかもしくは国内通貨である
事実16: もし「あの道形は別記様式でない」ということは本当ならばあの全権は貪るかまたは国内通貨であるかまたは両方ともである
事実17: この全権が貪らないとするとあの道形は別記様式であるかあるいはそれは国内通貨でない
事実18: 「この全権は貪るかそれは国内通貨でない」ということは成り立つ
事実19: あの道形は別記様式であるかもしくは貪るかあるいはどちらもだ
事実20: あのピルスナーは貪らない

仮説: この全権は別記様式であるかあるいは国内通貨であるということはない
1. 事実6と事実12から、仮説が導かれる

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