この下位目標は事後的ライセンスだということはない
fact1: もしとある物は通信開放でなくておまけにセルアニメーションでないとすれば事後的ライセンスだ fact2: もしもあのハードディスク上はセルアニメーションでないが狭しならば「この下位目標は事後的ライセンスだ」ということは正しい fact3: 「通信開放である」ものはある fact4: 通信開放があるとするとあのハードディスク上はセルアニメーションでない一方でそれは狭し
fact3 & fact4 -> int1: あのハードディスク上はセルアニメーションでない一方で狭し; int1 & fact2 -> hypothesis;
その減価償却累計額は事後的ライセンスだ
fact5 -> int2: もしもその減価償却累計額が通信開放でなくておまけにセルアニメーションでないとしたら「それは事後的ライセンスである」ということは事実である;
$facts$ = fact1: もしとある物は通信開放でなくておまけにセルアニメーションでないとすれば事後的ライセンスだ fact2: もしもあのハードディスク上はセルアニメーションでないが狭しならば「この下位目標は事後的ライセンスだ」ということは正しい fact3: 「通信開放である」ものはある fact4: 通信開放があるとするとあのハードディスク上はセルアニメーションでない一方でそれは狭し ; $hypothesis$ = この下位目標は事後的ライセンスだということはない ; $proof$ = 
fact3 & fact4 -> int1: あのハードディスク上はセルアニメーションでない一方で狭し; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: もしとある物は通信開放でなくておまけにセルアニメーションでないとすれば事後的ライセンスだ
事実2: もしもあのハードディスク上はセルアニメーションでないが狭しならば「この下位目標は事後的ライセンスだ」ということは正しい
事実3: 「通信開放である」ものはある
事実4: 通信開放があるとするとあのハードディスク上はセルアニメーションでない一方でそれは狭し

仮説: この下位目標は事後的ライセンスだということはない
1. 事実3と事実4から、推論1: "あのハードディスク上はセルアニメーションでない一方で狭し"が導かれる
2. 推論1と事実2から、仮説が否定される

よって、仮説が否定されました。