Nah, ha Question [How do I get the first premise and find it's proper conclusion?]
@amWhy I translated all of the premisses into Englebretsen/Sommers term functor logic via (abbreviated) propositional normalization, or something like that, and also found that [u] would make for the conclusion given all of the hypotheses. Then I introduced the tautology -[u] + [u] +[v], so that [u] and -[u] + [u] + [v] add up to [u] + [v] (it sure looks like addition after translation... how could I not have used a formula language modeled upon that of arithmetic for pure thought!). But, it is doubtful that …