「「その同桂は攻め滅ぼさないけどそれは値引きする」ということは成り立たない」ということは真実だ
fact1: この野手は無声化しない fact2: そのスペースシャトルは無声化しない fact3: その同桂は値引きする fact4: もし仮にこの野手が無声化するということはないならその同桂は攻め滅ぼさないけれどそれは値引きする
fact4 & fact1 -> hypothesis;
fact4 & fact1 -> hypothesis;
$facts$ = fact1: この野手は無声化しない fact2: そのスペースシャトルは無声化しない fact3: その同桂は値引きする fact4: もし仮にこの野手が無声化するということはないならその同桂は攻め滅ぼさないけれどそれは値引きする ; $hypothesis$ = 「「その同桂は攻め滅ぼさないけどそれは値引きする」ということは成り立たない」ということは真実だ ; $proof$ = 
fact4 & fact1 -> hypothesis; __DISPROVED__
事実1: この野手は無声化しない
事実2: そのスペースシャトルは無声化しない
事実3: その同桂は値引きする
事実4: もし仮にこの野手が無声化するということはないならその同桂は攻め滅ぼさないけれどそれは値引きする

仮説: 「「その同桂は攻め滅ぼさないけどそれは値引きする」ということは成り立たない」ということは真実だ
1. 事実4と事実1から、仮説が否定される

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