あの鍔競り合いは三つ指であるしさらにそれはわりない
fact1: あの鍔競り合いは三つ指だ fact2: あの鍔競り合いはわりない
$facts$ = fact1: あの鍔競り合いは三つ指だ fact2: あの鍔競り合いはわりない ; $hypothesis$ = あの鍔競り合いは三つ指であるしさらにそれはわりない ; $proof$ = 
事実1: あの鍔競り合いは三つ指だ
事実2: あの鍔競り合いはわりない

仮説: あの鍔競り合いは三つ指であるしさらにそれはわりない