この何形は元気印でない
fact1: この何形は切り離し難いということはない fact2: もし仮にこの何形が切り離し難くないならそれは元気印である fact3: 切り離し難い物は蒸し鮑であるかまたは元気印でないかあるいは両方である fact4: 「この触媒はみっともなくないしさらに引きであるということはない」ということは成り立たないならばその残業代は切り離し難い
fact2 & fact1 -> hypothesis;
fact2 & fact1 -> hypothesis;
この何形は元気印であるということはない
fact6 -> int1: 仮に「その残業代は切り離し難い」ということは真実だとすれば蒸し鮑であるかそれは元気印でない;
$facts$ = fact1: この何形は切り離し難いということはない fact2: もし仮にこの何形が切り離し難くないならそれは元気印である fact3: 切り離し難い物は蒸し鮑であるかまたは元気印でないかあるいは両方である fact4: 「この触媒はみっともなくないしさらに引きであるということはない」ということは成り立たないならばその残業代は切り離し難い ; $hypothesis$ = この何形は元気印でない ; $proof$ = 
fact2 & fact1 -> hypothesis; __DISPROVED__
事実1: この何形は切り離し難いということはない
事実2: もし仮にこの何形が切り離し難くないならそれは元気印である
事実3: 切り離し難い物は蒸し鮑であるかまたは元気印でないかあるいは両方である
事実4: 「この触媒はみっともなくないしさらに引きであるということはない」ということは成り立たないならばその残業代は切り離し難い

仮説: この何形は元気印でない
1. 事実2と事実1から、仮説が否定される

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