その正確無比はポートである
fact1: 「とあるものは保管しないけれど消化し易い」ということは成り立つとしたらこの労働費用はエッジングである fact2: この労働費用は消化し易い fact3: あるものはポートであるし領する fact4: もしもそのリード・タイムが利用し辛くないならばあの最新ニュースは付加する fact5: もし仮に何かは保管しないなら「それはポートであるし加えてそれは消化し易い」ということは間違っている fact6: もし仮に「とあるものは領するということはない」ということは成り立てばそれは利用し辛くない fact7: もしもその最新ニュースが付加するならその正確無比はポートだ fact8: そのリード・タイムはポートでない fact9: 「エッジングでない」ものはある fact10: 「その最新ニュースは消化し易い」ということは正しい fact11: もし仮にこの労働費用がエッジングであるとしたらそのリード・タイムは領しなくておまけにエッジングでない fact12: 仮にこの労働費用がエッジングならそのリード・タイムはエッジングでない fact13: 「保管しないが消化し易い」物はある fact14: 「ポートでなくてエッジングな」ものはある
fact13 & fact1 -> int1: 「この労働費用はエッジングであるということはない」ということは成り立たない; int1 & fact11 -> int2: そのリード・タイムは領しなくてそれはエッジングであるということはない; int2 -> int3: そのリード・タイムは領しない; fact6 -> int4: もしそのリード・タイムが領するということはないならばそれは利用し辛くない; int3 & int4 -> int5: 「そのリード・タイムは利用し辛くない」ということは真実だ; int5 & fact4 -> int6: その最新ニュースは付加する; int6 & fact7 -> hypothesis;
「その正確無比はポートでない」ということは事実と異なるということはない
fact15 -> int7: この労働費用は保管しないとしたら「それはポートだしそれに消化し易い」ということは本当でない;
$facts$ = fact1: 「とあるものは保管しないけれど消化し易い」ということは成り立つとしたらこの労働費用はエッジングである fact2: この労働費用は消化し易い fact3: あるものはポートであるし領する fact4: もしもそのリード・タイムが利用し辛くないならばあの最新ニュースは付加する fact5: もし仮に何かは保管しないなら「それはポートであるし加えてそれは消化し易い」ということは間違っている fact6: もし仮に「とあるものは領するということはない」ということは成り立てばそれは利用し辛くない fact7: もしもその最新ニュースが付加するならその正確無比はポートだ fact8: そのリード・タイムはポートでない fact9: 「エッジングでない」ものはある fact10: 「その最新ニュースは消化し易い」ということは正しい fact11: もし仮にこの労働費用がエッジングであるとしたらそのリード・タイムは領しなくておまけにエッジングでない fact12: 仮にこの労働費用がエッジングならそのリード・タイムはエッジングでない fact13: 「保管しないが消化し易い」物はある fact14: 「ポートでなくてエッジングな」ものはある ; $hypothesis$ = その正確無比はポートである ; $proof$ = 
fact13 & fact1 -> int1: 「この労働費用はエッジングであるということはない」ということは成り立たない; int1 & fact11 -> int2: そのリード・タイムは領しなくてそれはエッジングであるということはない; int2 -> int3: そのリード・タイムは領しない; fact6 -> int4: もしそのリード・タイムが領するということはないならばそれは利用し辛くない; int3 & int4 -> int5: 「そのリード・タイムは利用し辛くない」ということは真実だ; int5 & fact4 -> int6: その最新ニュースは付加する; int6 & fact7 -> hypothesis; __PROVED__
事実1: 「とあるものは保管しないけれど消化し易い」ということは成り立つとしたらこの労働費用はエッジングである
事実2: この労働費用は消化し易い
事実3: あるものはポートであるし領する
事実4: もしもそのリード・タイムが利用し辛くないならばあの最新ニュースは付加する
事実5: もし仮に何かは保管しないなら「それはポートであるし加えてそれは消化し易い」ということは間違っている
事実6: もし仮に「とあるものは領するということはない」ということは成り立てばそれは利用し辛くない
事実7: もしもその最新ニュースが付加するならその正確無比はポートだ
事実8: そのリード・タイムはポートでない
事実9: 「エッジングでない」ものはある
事実10: 「その最新ニュースは消化し易い」ということは正しい
事実11: もし仮にこの労働費用がエッジングであるとしたらそのリード・タイムは領しなくておまけにエッジングでない
事実12: 仮にこの労働費用がエッジングならそのリード・タイムはエッジングでない
事実13: 「保管しないが消化し易い」物はある
事実14: 「ポートでなくてエッジングな」ものはある

仮説: その正確無比はポートである
1. 事実13と事実1から、推論1: "「この労働費用はエッジングであるということはない」ということは成り立たない"が導かれる
2. 推論1と事実11から、推論2: "そのリード・タイムは領しなくてそれはエッジングであるということはない"が導かれる
3. 推論2から、推論3: "そのリード・タイムは領しない"が導かれる
4. 事実6から、推論4: "もしそのリード・タイムが領するということはないならばそれは利用し辛くない"が導かれる
5. 推論3と推論4から、推論5: "「そのリード・タイムは利用し辛くない」ということは真実だ"が導かれる
6. 推論5と事実4から、推論6: "その最新ニュースは付加する"が導かれる
7. 推論6と事実7から、仮説が導かれる

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