この一局面は輪舞だ
fact1: もしこの一局面は突き掛からないし加えて柳でないとすれば「輪舞でない」ということは真実である fact2: この一局面は突き掛からないしそれに柳でない
$facts$ = fact1: もしこの一局面は突き掛からないし加えて柳でないとすれば「輪舞でない」ということは真実である fact2: この一局面は突き掛からないしそれに柳でない ; $hypothesis$ = この一局面は輪舞だ ; $proof$ = 
事実1: もしこの一局面は突き掛からないし加えて柳でないとすれば「輪舞でない」ということは真実である
事実2: この一局面は突き掛からないしそれに柳でない

仮説: この一局面は輪舞だ