この装甲巡洋艦は御詳しいということはないかあるいはそれは港口だということはない
fact1: この装甲巡洋艦は大安寺であるということはないとしたら「それは御詳しいということはないかもしくはそれは港口であるということはない」ということは偽だ fact2: この装甲巡洋艦は大安寺でない
fact1 & fact2 -> hypothesis;
fact1 & fact2 -> hypothesis;
$facts$ = fact1: この装甲巡洋艦は大安寺であるということはないとしたら「それは御詳しいということはないかもしくはそれは港口であるということはない」ということは偽だ fact2: この装甲巡洋艦は大安寺でない ; $hypothesis$ = この装甲巡洋艦は御詳しいということはないかあるいはそれは港口だということはない ; $proof$ = 
fact1 & fact2 -> hypothesis; __DISPROVED__
事実1: この装甲巡洋艦は大安寺であるということはないとしたら「それは御詳しいということはないかもしくはそれは港口であるということはない」ということは偽だ
事実2: この装甲巡洋艦は大安寺でない

仮説: この装甲巡洋艦は御詳しいということはないかあるいはそれは港口だということはない
1. 事実1と事実2から、仮説が否定される

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