この受精は抽出器具でない
fact1: この一柱が御寒いならこの受精は抽出器具だ fact2: この一柱は御寒い
$facts$ = fact1: この一柱が御寒いならこの受精は抽出器具だ fact2: この一柱は御寒い ; $hypothesis$ = この受精は抽出器具でない ; $proof$ = 
事実1: この一柱が御寒いならこの受精は抽出器具だ
事実2: この一柱は御寒い

仮説: この受精は抽出器具でない