この棚卸し資産原価配分は当直医でない
fact1: もし仮にこの狼青年が薄暗いとすればこの棚卸し資産原価配分は当直医だ fact2: この狼青年は薄暗いし賑々しい
fact2 -> int1: この狼青年は薄暗い; int1 & fact1 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact1 -> hypothesis;
$facts$ = fact1: もし仮にこの狼青年が薄暗いとすればこの棚卸し資産原価配分は当直医だ fact2: この狼青年は薄暗いし賑々しい ; $hypothesis$ = この棚卸し資産原価配分は当直医でない ; $proof$ = 
fact2 -> int1: この狼青年は薄暗い; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: もし仮にこの狼青年が薄暗いとすればこの棚卸し資産原価配分は当直医だ
事実2: この狼青年は薄暗いし賑々しい

仮説: この棚卸し資産原価配分は当直医でない
1. 事実2から、推論1: "この狼青年は薄暗い"が導かれる
2. 推論1と事実1から、仮説が否定される

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