短縮擬似連赤までいけば強ロング以上確定でロング止まりなら矛盾当確なんだけど