あの当該特許は回り込まない
fact1: 「何らかのものはビジネスデータだということはないかまたは入れ為さるか両方だ」ということは正しいということはないとすれば「起き易い」ということは確かである fact2: もし仮にその取り消し権が後払い取り引きで招集手続きだとしたら「あの当該特許は回り込まない」ということは成り立つ fact3: 起き易い物は後払い取り引きである fact4: その取り消し権は国籍選択である fact5: もし仮にその取り消し権が立て難いならばそれは招集手続きだ fact6: 「その取り消し権は立て難い」ということは真実である fact7: 仮にその取り消し権は国籍選択だとしたら「ビジネスデータでないかもしくはそれは入れ為さるかあるいはどちらもだ」ということは誤っている
fact7 & fact4 -> int1: 「「その取り消し権はビジネスデータでないか入れ為さるかもしくはどちらもである」ということは成り立つ」ということは間違っている; fact1 -> int2: 「その取り消し権はビジネスデータでないか入れ為さる」ということは成り立たないなら「それは起き易い」ということは確かだ; int1 & int2 -> int3: その取り消し権は起き易い; fact3 -> int4: もし仮にその取り消し権が起き易いとすればそれは後払い取り引きだ; int3 & int4 -> int5: その取り消し権は後払い取り引きだ; fact6 & fact5 -> int6: その取り消し権は招集手続きだ; int5 & int6 -> int7: その取り消し権は後払い取り引きでおまけに招集手続きだ; int7 & fact2 -> hypothesis;
$facts$ = fact1: 「何らかのものはビジネスデータだということはないかまたは入れ為さるか両方だ」ということは正しいということはないとすれば「起き易い」ということは確かである fact2: もし仮にその取り消し権が後払い取り引きで招集手続きだとしたら「あの当該特許は回り込まない」ということは成り立つ fact3: 起き易い物は後払い取り引きである fact4: その取り消し権は国籍選択である fact5: もし仮にその取り消し権が立て難いならばそれは招集手続きだ fact6: 「その取り消し権は立て難い」ということは真実である fact7: 仮にその取り消し権は国籍選択だとしたら「ビジネスデータでないかもしくはそれは入れ為さるかあるいはどちらもだ」ということは誤っている ; $hypothesis$ = あの当該特許は回り込まない ; $proof$ = 
fact7 & fact4 -> int1: 「「その取り消し権はビジネスデータでないか入れ為さるかもしくはどちらもである」ということは成り立つ」ということは間違っている; fact1 -> int2: 「その取り消し権はビジネスデータでないか入れ為さる」ということは成り立たないなら「それは起き易い」ということは確かだ; int1 & int2 -> int3: その取り消し権は起き易い; fact3 -> int4: もし仮にその取り消し権が起き易いとすればそれは後払い取り引きだ; int3 & int4 -> int5: その取り消し権は後払い取り引きだ; fact6 & fact5 -> int6: その取り消し権は招集手続きだ; int5 & int6 -> int7: その取り消し権は後払い取り引きでおまけに招集手続きだ; int7 & fact2 -> hypothesis; __PROVED__
事実1: 「何らかのものはビジネスデータだということはないかまたは入れ為さるか両方だ」ということは正しいということはないとすれば「起き易い」ということは確かである
事実2: もし仮にその取り消し権が後払い取り引きで招集手続きだとしたら「あの当該特許は回り込まない」ということは成り立つ
事実3: 起き易い物は後払い取り引きである
事実4: その取り消し権は国籍選択である
事実5: もし仮にその取り消し権が立て難いならばそれは招集手続きだ
事実6: 「その取り消し権は立て難い」ということは真実である
事実7: 仮にその取り消し権は国籍選択だとしたら「ビジネスデータでないかもしくはそれは入れ為さるかあるいはどちらもだ」ということは誤っている

仮説: あの当該特許は回り込まない
1. 事実7と事実4から、推論1: "「「その取り消し権はビジネスデータでないか入れ為さるかもしくはどちらもである」ということは成り立つ」ということは間違っている"が導かれる
2. 事実1から、推論2: "「その取り消し権はビジネスデータでないか入れ為さる」ということは成り立たないなら「それは起き易い」ということは確かだ"が導かれる
3. 推論1と推論2から、推論3: "その取り消し権は起き易い"が導かれる
4. 事実3から、推論4: "もし仮にその取り消し権が起き易いとすればそれは後払い取り引きだ"が導かれる
5. 推論3と推論4から、推論5: "その取り消し権は後払い取り引きだ"が導かれる
6. 事実6と事実5から、推論6: "その取り消し権は招集手続きだ"が導かれる
7. 推論5と推論6から、推論7: "その取り消し権は後払い取り引きでおまけに招集手続きだ"が導かれる
8. 推論7と事実2から、仮説が導かれる

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