この口金は真二つであるしそれはオフセット印刷である
fact1: もし仮にこのぽんぽこりんはＢ債権だとすれば「あの巻タバコはＢ債権である一方で働き易くない」ということは間違いである fact2: なにがしかのものはオフセット印刷でない fact3: もし仮にあの巻タバコが働き易いならそれは操舵員である fact4: もし仮にその中心部分がぴったりするとすればこのぽんぽこりんはＢ債権である fact5: 「もしも「言い張らない」ものがあるとするとこの口金は真二つであるしおまけにそれはオフセット印刷である」ということは成り立つ fact6: 仮に「あの巻タバコはＢ債権だ一方で働き易くない」ということは成り立たないならばそれは操舵員である fact7: あの巻タバコは測り難い fact8: その中心部分は天日干しだしそれにぴったりする fact9: 「あの巻タバコはＢ債権でそれに働き易い」ということは間違っている fact10: もしもこのぽんぽこりんはＢ債権であるとすると「あの巻タバコはＢ債権であるしさらに働き易い」ということは偽である fact11: 「「言い張る」ということは正しい」物はある fact12: この口金は真二つである fact13: 何らかの物が言い張るということはないとしたらこの口金は真二つだ fact14: その中心部分は天日干しだ fact15: もしもあの巻タバコが操舵員で測り難いとするとあの軸角は言い張らない
fact8 -> int1: その中心部分はぴったりする; int1 & fact4 -> int2: このぽんぽこりんはＢ債権である; int2 & fact1 -> int3: 「あの巻タバコはＢ債権であるがしかし働き易くない」ということは嘘である; int3 & fact6 -> int4: あの巻タバコは操舵員である; int4 & fact7 -> int5: あの巻タバコが操舵員だしまたそれは測り難い; int5 & fact15 -> int6: あの軸角は言い張るということはない; int6 -> int7: 「言い張らない」ものはある; int7 & fact5 -> hypothesis;
$facts$ = fact1: もし仮にこのぽんぽこりんはＢ債権だとすれば「あの巻タバコはＢ債権である一方で働き易くない」ということは間違いである fact2: なにがしかのものはオフセット印刷でない fact3: もし仮にあの巻タバコが働き易いならそれは操舵員である fact4: もし仮にその中心部分がぴったりするとすればこのぽんぽこりんはＢ債権である fact5: 「もしも「言い張らない」ものがあるとするとこの口金は真二つであるしおまけにそれはオフセット印刷である」ということは成り立つ fact6: 仮に「あの巻タバコはＢ債権だ一方で働き易くない」ということは成り立たないならばそれは操舵員である fact7: あの巻タバコは測り難い fact8: その中心部分は天日干しだしそれにぴったりする fact9: 「あの巻タバコはＢ債権でそれに働き易い」ということは間違っている fact10: もしもこのぽんぽこりんはＢ債権であるとすると「あの巻タバコはＢ債権であるしさらに働き易い」ということは偽である fact11: 「「言い張る」ということは正しい」物はある fact12: この口金は真二つである fact13: 何らかの物が言い張るということはないとしたらこの口金は真二つだ fact14: その中心部分は天日干しだ fact15: もしもあの巻タバコが操舵員で測り難いとするとあの軸角は言い張らない ; $hypothesis$ = この口金は真二つであるしそれはオフセット印刷である ; $proof$ = 
fact8 -> int1: その中心部分はぴったりする; int1 & fact4 -> int2: このぽんぽこりんはＢ債権である; int2 & fact1 -> int3: 「あの巻タバコはＢ債権であるがしかし働き易くない」ということは嘘である; int3 & fact6 -> int4: あの巻タバコは操舵員である; int4 & fact7 -> int5: あの巻タバコが操舵員だしまたそれは測り難い; int5 & fact15 -> int6: あの軸角は言い張るということはない; int6 -> int7: 「言い張らない」ものはある; int7 & fact5 -> hypothesis; __PROVED__
事実1: もし仮にこのぽんぽこりんはＢ債権だとすれば「あの巻タバコはＢ債権である一方で働き易くない」ということは間違いである
事実2: なにがしかのものはオフセット印刷でない
事実3: もし仮にあの巻タバコが働き易いならそれは操舵員である
事実4: もし仮にその中心部分がぴったりするとすればこのぽんぽこりんはＢ債権である
事実5: 「もしも「言い張らない」ものがあるとするとこの口金は真二つであるしおまけにそれはオフセット印刷である」ということは成り立つ
事実6: 仮に「あの巻タバコはＢ債権だ一方で働き易くない」ということは成り立たないならばそれは操舵員である
事実7: あの巻タバコは測り難い
事実8: その中心部分は天日干しだしそれにぴったりする
事実9: 「あの巻タバコはＢ債権でそれに働き易い」ということは間違っている
事実10: もしもこのぽんぽこりんはＢ債権であるとすると「あの巻タバコはＢ債権であるしさらに働き易い」ということは偽である
事実11: 「「言い張る」ということは正しい」物はある
事実12: この口金は真二つである
事実13: 何らかの物が言い張るということはないとしたらこの口金は真二つだ
事実14: その中心部分は天日干しだ
事実15: もしもあの巻タバコが操舵員で測り難いとするとあの軸角は言い張らない

仮説: この口金は真二つであるしそれはオフセット印刷である
1. 事実8から、推論1: "その中心部分はぴったりする"が導かれる
2. 推論1と事実4から、推論2: "このぽんぽこりんはＢ債権である"が導かれる
3. 推論2と事実1から、推論3: "「あの巻タバコはＢ債権であるがしかし働き易くない」ということは嘘である"が導かれる
4. 推論3と事実6から、推論4: "あの巻タバコは操舵員である"が導かれる
5. 推論4と事実7から、推論5: "あの巻タバコが操舵員だしまたそれは測り難い"が導かれる
6. 推論5と事実15から、推論6: "あの軸角は言い張るということはない"が導かれる
7. 推論6から、推論7: "「言い張らない」ものはある"が導かれる
8. 推論7と事実5から、仮説が導かれる

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