「「コンソール・ルームでないかあるいは屹立しないかあるいは両方ともな」物はある」ということは真実でない
fact1: あるものはコンソール・ルームでないかあるいはそれは屹立する fact2: その地雷除去はコンソール・ルームだということはないか屹立するかまたは両方だ fact3: その地雷除去はコンソール・ルームでないかまたは屹立しないかまたはどちらもである
fact3 -> hypothesis;
fact3 -> hypothesis;
$facts$ = fact1: あるものはコンソール・ルームでないかあるいはそれは屹立する fact2: その地雷除去はコンソール・ルームだということはないか屹立するかまたは両方だ fact3: その地雷除去はコンソール・ルームでないかまたは屹立しないかまたはどちらもである ; $hypothesis$ = 「「コンソール・ルームでないかあるいは屹立しないかあるいは両方ともな」物はある」ということは真実でない ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: あるものはコンソール・ルームでないかあるいはそれは屹立する
事実2: その地雷除去はコンソール・ルームだということはないか屹立するかまたは両方だ
事実3: その地雷除去はコンソール・ルームでないかまたは屹立しないかまたはどちらもである

仮説: 「「コンソール・ルームでないかあるいは屹立しないかあるいは両方ともな」物はある」ということは真実でない
1. 事実3から、仮説が否定される

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