あの豆鉄砲は第二陣だ
fact1: もしあの豆鉄砲が受け売りしないししかも解し難くないとしたらそれは第二陣だ fact2: すべては第二陣でない
fact2 -> hypothesis;
fact2 -> hypothesis;
あの豆鉄砲は第二陣である
$facts$ = fact1: もしあの豆鉄砲が受け売りしないししかも解し難くないとしたらそれは第二陣だ fact2: すべては第二陣でない ; $hypothesis$ = あの豆鉄砲は第二陣だ ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: もしあの豆鉄砲が受け売りしないししかも解し難くないとしたらそれは第二陣だ
事実2: すべては第二陣でない

仮説: あの豆鉄砲は第二陣だ
1. 事実2から、仮説が否定される

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