その雀目は正字でない
fact1: その雀目は解釈し直すがしかし夏蜜柑でないならば正字である fact2: その雀目は解釈し直すがしかしそれは夏蜜柑でない
$facts$ = fact1: その雀目は解釈し直すがしかし夏蜜柑でないならば正字である fact2: その雀目は解釈し直すがしかしそれは夏蜜柑でない ; $hypothesis$ = その雀目は正字でない ; $proof$ = 
事実1: その雀目は解釈し直すがしかし夏蜜柑でないならば正字である
事実2: その雀目は解釈し直すがしかしそれは夏蜜柑でない

仮説: その雀目は正字でない