あの女性器は北家家中でない
fact1: あの女性器は北家家中であるし加えて上陸だ fact2: 上陸は北家家中だ fact3: 何らかのものが聞き付けないがそれは上陸であるとするとそれは北家家中だということはない fact4: あの点在は北家家中だ
fact1 -> hypothesis;
fact1 -> hypothesis;
あの女性器は北家家中でない
fact5 -> int1: あの女性器は聞き付けないけど上陸であるとすれば北家家中でない;
$facts$ = fact1: あの女性器は北家家中であるし加えて上陸だ fact2: 上陸は北家家中だ fact3: 何らかのものが聞き付けないがそれは上陸であるとするとそれは北家家中だということはない fact4: あの点在は北家家中だ ; $hypothesis$ = あの女性器は北家家中でない ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: あの女性器は北家家中であるし加えて上陸だ
事実2: 上陸は北家家中だ
事実3: 何らかのものが聞き付けないがそれは上陸であるとするとそれは北家家中だということはない
事実4: あの点在は北家家中だ

仮説: あの女性器は北家家中でない
1. 事実1から、仮説が否定される

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