その軌道情報は御積りである
fact1: 何もかもは突入しないかもしくは一部負担金でない fact2: もしも「納車しない」物はあるとすると「その軌道情報は御積りである」ということは本当である fact3: とある物が突入しないかもしくは一部負担金でないか両方だとしたらそれは納車しない
fact1 -> int1: このデリバリーは突入しないかまたは一部負担金だということはない; fact3 -> int2: もしもこのデリバリーは突入するということはないかもしくは一部負担金でないかまたは両方ともだとするとそれは納車するということはない; int1 & int2 -> int3: このデリバリーは納車しない; int3 -> int4: 「納車するということはない」物はある; int4 & fact2 -> hypothesis;
$facts$ = fact1: 何もかもは突入しないかもしくは一部負担金でない fact2: もしも「納車しない」物はあるとすると「その軌道情報は御積りである」ということは本当である fact3: とある物が突入しないかもしくは一部負担金でないか両方だとしたらそれは納車しない ; $hypothesis$ = その軌道情報は御積りである ; $proof$ = 
fact1 -> int1: このデリバリーは突入しないかまたは一部負担金だということはない; fact3 -> int2: もしもこのデリバリーは突入するということはないかもしくは一部負担金でないかまたは両方ともだとするとそれは納車するということはない; int1 & int2 -> int3: このデリバリーは納車しない; int3 -> int4: 「納車するということはない」物はある; int4 & fact2 -> hypothesis; __PROVED__
事実1: 何もかもは突入しないかもしくは一部負担金でない
事実2: もしも「納車しない」物はあるとすると「その軌道情報は御積りである」ということは本当である
事実3: とある物が突入しないかもしくは一部負担金でないか両方だとしたらそれは納車しない

仮説: その軌道情報は御積りである
1. 事実1から、推論1: "このデリバリーは突入しないかまたは一部負担金だということはない"が導かれる
2. 事実3から、推論2: "もしもこのデリバリーは突入するということはないかもしくは一部負担金でないかまたは両方ともだとするとそれは納車するということはない"が導かれる
3. 推論1と推論2から、推論3: "このデリバリーは納車しない"が導かれる
4. 推論3から、推論4: "「納車するということはない」物はある"が導かれる
5. 推論4と事実2から、仮説が導かれる

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