「あの熱伝導率は作付けしない」ということは真実だ
fact1: この無尽蔵は工場でない fact2: あの薬用植物はむくれない fact3: 仮にあの娼家がむくれないならばあの熱伝導率はむくれないけど戦時捕虜だ fact4: 仮にあの娼家はむくれないなら「あの熱伝導率はむくれない」ということは確かだ fact5: もし仮にあの娼家はむくれるということはない一方で作付けするとすると「生え易くない」ということは正しい fact6: あの薬用植物は依拠する fact7: もし仮に「とある物は依拠するしかつ戦時捕虜である」ということは嘘であるとしたらそれは戦時捕虜でない fact8: もしもあの熱伝導率が生え易いならこの無尽蔵は作付けしないがそれはむくれる fact9: もし仮にあるものがむくれるし加えて戦時捕虜であるとすればそれは作付けしない fact10: もし仮にあの熱伝導率はむくれるし戦時捕虜ならばそれは作付けしない fact11: もしもこの無尽蔵が移送するとすればあの薬用植物は工場だ fact12: もし仮にこの無尽蔵が生え易くないならあの娼家はむくれない fact13: あの娼家は事前求償権でない fact14: もしもこの無尽蔵が移送しないとしたらそれは生え易くない fact15: 仮にこの無尽蔵が移送するならばあの薬用植物は事前求償権でないがしかし工場だ fact16: あの薬用植物は移送しない一方で事前求償権ならばそれはむくれない fact17: もし何かはむくれないけれど戦時捕虜だとすれば作付けしない fact18: この無尽蔵は作付けする fact19: あの薬用植物は工場だ fact20: この避難場所は工場でない fact21: もしもあの熱伝導率が戦時捕虜でないけど工場ならばそれは作付けしない fact22: 「あの熱伝導率はむくれない」ということは事実だ fact23: この日以外は依拠する fact24: あの薬用植物が事前求償権でないけれど工場だとすれば依拠しない fact25: もしあの娼家が戦時捕虜だということはないとしたらあの熱伝導率は戦時捕虜でないがむくれる
void -> assump1: 以下のように仮定する。この無尽蔵は移送する; fact15 & assump1 -> int1: あの薬用植物は事前求償権でないが工場だ; int1 & fact24 -> int2: あの薬用植物は依拠するということはない; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> int4: この無尽蔵は移送しない; int4 & fact14 -> int5: この無尽蔵は生え易くない; int5 & fact12 -> int6: あの娼家はむくれない; int6 & fact3 -> int7: あの熱伝導率はむくれないけど戦時捕虜である; fact17 -> int8: もしもあの熱伝導率がむくれるということはないがしかし戦時捕虜だとするとそれは作付けしない; int7 & int8 -> hypothesis;
この図書館員は戦時捕虜であるということはない
fact26 -> int9: もしも「この図書館員は依拠するしそれは戦時捕虜だ」ということは間違っていれば戦時捕虜であるということはない;
$facts$ = fact1: この無尽蔵は工場でない fact2: あの薬用植物はむくれない fact3: 仮にあの娼家がむくれないならばあの熱伝導率はむくれないけど戦時捕虜だ fact4: 仮にあの娼家はむくれないなら「あの熱伝導率はむくれない」ということは確かだ fact5: もし仮にあの娼家はむくれるということはない一方で作付けするとすると「生え易くない」ということは正しい fact6: あの薬用植物は依拠する fact7: もし仮に「とある物は依拠するしかつ戦時捕虜である」ということは嘘であるとしたらそれは戦時捕虜でない fact8: もしもあの熱伝導率が生え易いならこの無尽蔵は作付けしないがそれはむくれる fact9: もし仮にあるものがむくれるし加えて戦時捕虜であるとすればそれは作付けしない fact10: もし仮にあの熱伝導率はむくれるし戦時捕虜ならばそれは作付けしない fact11: もしもこの無尽蔵が移送するとすればあの薬用植物は工場だ fact12: もし仮にこの無尽蔵が生え易くないならあの娼家はむくれない fact13: あの娼家は事前求償権でない fact14: もしもこの無尽蔵が移送しないとしたらそれは生え易くない fact15: 仮にこの無尽蔵が移送するならばあの薬用植物は事前求償権でないがしかし工場だ fact16: あの薬用植物は移送しない一方で事前求償権ならばそれはむくれない fact17: もし何かはむくれないけれど戦時捕虜だとすれば作付けしない fact18: この無尽蔵は作付けする fact19: あの薬用植物は工場だ fact20: この避難場所は工場でない fact21: もしもあの熱伝導率が戦時捕虜でないけど工場ならばそれは作付けしない fact22: 「あの熱伝導率はむくれない」ということは事実だ fact23: この日以外は依拠する fact24: あの薬用植物が事前求償権でないけれど工場だとすれば依拠しない fact25: もしあの娼家が戦時捕虜だということはないとしたらあの熱伝導率は戦時捕虜でないがむくれる ; $hypothesis$ = 「あの熱伝導率は作付けしない」ということは真実だ ; $proof$ = 
void -> assump1: 以下のように仮定する。この無尽蔵は移送する; fact15 & assump1 -> int1: あの薬用植物は事前求償権でないが工場だ; int1 & fact24 -> int2: あの薬用植物は依拠するということはない; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> int4: この無尽蔵は移送しない; int4 & fact14 -> int5: この無尽蔵は生え易くない; int5 & fact12 -> int6: あの娼家はむくれない; int6 & fact3 -> int7: あの熱伝導率はむくれないけど戦時捕虜である; fact17 -> int8: もしもあの熱伝導率がむくれるということはないがしかし戦時捕虜だとするとそれは作付けしない; int7 & int8 -> hypothesis; __PROVED__
事実1: この無尽蔵は工場でない
事実2: あの薬用植物はむくれない
事実3: 仮にあの娼家がむくれないならばあの熱伝導率はむくれないけど戦時捕虜だ
事実4: 仮にあの娼家はむくれないなら「あの熱伝導率はむくれない」ということは確かだ
事実5: もし仮にあの娼家はむくれるということはない一方で作付けするとすると「生え易くない」ということは正しい
事実6: あの薬用植物は依拠する
事実7: もし仮に「とある物は依拠するしかつ戦時捕虜である」ということは嘘であるとしたらそれは戦時捕虜でない
事実8: もしもあの熱伝導率が生え易いならこの無尽蔵は作付けしないがそれはむくれる
事実9: もし仮にあるものがむくれるし加えて戦時捕虜であるとすればそれは作付けしない
事実10: もし仮にあの熱伝導率はむくれるし戦時捕虜ならばそれは作付けしない
事実11: もしもこの無尽蔵が移送するとすればあの薬用植物は工場だ
事実12: もし仮にこの無尽蔵が生え易くないならあの娼家はむくれない
事実13: あの娼家は事前求償権でない
事実14: もしもこの無尽蔵が移送しないとしたらそれは生え易くない
事実15: 仮にこの無尽蔵が移送するならばあの薬用植物は事前求償権でないがしかし工場だ
事実16: あの薬用植物は移送しない一方で事前求償権ならばそれはむくれない
事実17: もし何かはむくれないけれど戦時捕虜だとすれば作付けしない
事実18: この無尽蔵は作付けする
事実19: あの薬用植物は工場だ
事実20: この避難場所は工場でない
事実21: もしもあの熱伝導率が戦時捕虜でないけど工場ならばそれは作付けしない
事実22: 「あの熱伝導率はむくれない」ということは事実だ
事実23: この日以外は依拠する
事実24: あの薬用植物が事前求償権でないけれど工場だとすれば依拠しない
事実25: もしあの娼家が戦時捕虜だということはないとしたらあの熱伝導率は戦時捕虜でないがむくれる

仮説: 「あの熱伝導率は作付けしない」ということは真実だ
1. 仮定1: 以下のように仮定する。この無尽蔵は移送する
2. 事実15と仮定1から、推論1: "あの薬用植物は事前求償権でないが工場だ"が導かれる
3. 推論1と事実24から、推論2: "あの薬用植物は依拠するということはない"が導かれる
4. 推論2と事実6から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この無尽蔵は移送しない"が導かれる
6. 推論4と事実14から、推論5: "この無尽蔵は生え易くない"が導かれる
7. 推論5と事実12から、推論6: "あの娼家はむくれない"が導かれる
8. 推論6と事実3から、推論7: "あの熱伝導率はむくれないけど戦時捕虜である"が導かれる
9. 事実17から、推論8: "もしもあの熱伝導率がむくれるということはないがしかし戦時捕虜だとするとそれは作付けしない"が導かれる
10. 推論7と推論8から、仮説が導かれる

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