このＢオールは行き難いということはないかあるいはシベリア侵攻だということはない
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から、仮説が否定される

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