「その運転兵はダスターコートだし落札する」ということは成り立たない
fact1: もし仮にあの事実等は助言するということはないならば「その運転兵はダスターコートであるし落札する」ということは事実と異なる fact2: その運転兵はダスターコートだ fact3: その運転兵は落札する
fact2 & fact3 -> hypothesis;
fact2 & fact3 -> hypothesis;
「その運転兵はダスターコートだしその上落札する」ということは偽だ
$facts$ = fact1: もし仮にあの事実等は助言するということはないならば「その運転兵はダスターコートであるし落札する」ということは事実と異なる fact2: その運転兵はダスターコートだ fact3: その運転兵は落札する ; $hypothesis$ = 「その運転兵はダスターコートだし落札する」ということは成り立たない ; $proof$ = 
fact2 & fact3 -> hypothesis; __DISPROVED__
事実1: もし仮にあの事実等は助言するということはないならば「その運転兵はダスターコートであるし落札する」ということは事実と異なる
事実2: その運転兵はダスターコートだ
事実3: その運転兵は落札する

仮説: 「その運転兵はダスターコートだし落札する」ということは成り立たない
1. 事実2と事実3から、仮説が否定される

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