if we take ... |
とすると /(conj) if we make .../if we take .../if we assume .../(P)/ ------- とすれば /(conj) if it happens that/if we make .../if we take .../if we assume .../(P)/ ------- としたら /(conj) if it happens that/if we make .../if we take .../if we assume .../ |