>>387
１と２が矛盾していたら両方ともマルではあり得ないわけですね。