Where a logical proposition has a main . ⊃ . we may infer the right hand side from the left.