その野戦は落選でない
fact1: その野戦は落選である fact2: 「もしも「とあるものは落選だがしかし肺静脈でない」ということは成り立たないとすればそれは落選であるということはない」ということは本当である fact3: 「その数人は落選だ」ということは成り立つ
fact1 -> hypothesis;
fact1 -> hypothesis;
「その野戦は落選でない」ということは事実だ
fact4 -> int1: 仮に「「その野戦は落選であるけれど肺静脈であるということはない」ということは成り立たない」ということは本当であるならば落選でない;
$facts$ = fact1: その野戦は落選である fact2: 「もしも「とあるものは落選だがしかし肺静脈でない」ということは成り立たないとすればそれは落選であるということはない」ということは本当である fact3: 「その数人は落選だ」ということは成り立つ ; $hypothesis$ = その野戦は落選でない ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: その野戦は落選である
事実2: 「もしも「とあるものは落選だがしかし肺静脈でない」ということは成り立たないとすればそれは落選であるということはない」ということは本当である
事実3: 「その数人は落選だ」ということは成り立つ

仮説: その野戦は落選でない
1. 事実1から、仮説が否定される

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