there is something such that if that it is cubital and it does not pattern mebibit does not hold then it strokes wingback.
sent1: if the lipstick is not cubital it does stroke wingback. sent2: if that something is a kind of a cellarage and is not a Spender is wrong it is a baggage. sent3: if the fact that something is not non-cubital and does not pattern mebibit does not hold it strokes wingback. sent4: there exists something such that if it patterns mebibit it strokes wingback.
sent3 -> int1: the lipstick does stroke wingback if the fact that it is cubital and does not pattern mebibit is incorrect.; int1 -> hypothesis;
there is something such that if that it is a cellarage that is not a Spender is not true then that it is a kind of a baggage hold.
sent2 -> int2: the donna is a baggage if the fact that it is a cellarage and is not a kind of a Spender does not hold.; int2 -> hypothesis;
$hypothesis$ = there is something such that if that it is cubital and it does not pattern mebibit does not hold then it strokes wingback. ; $context$ = sent1: if the lipstick is not cubital it does stroke wingback. sent2: if that something is a kind of a cellarage and is not a Spender is wrong it is a baggage. sent3: if the fact that something is not non-cubital and does not pattern mebibit does not hold it strokes wingback. sent4: there exists something such that if it patterns mebibit it strokes wingback. ; $proof$ = 
sent3 -> int1: the lipstick does stroke wingback if the fact that it is cubital and does not pattern mebibit is incorrect.; int1 -> hypothesis; __PROVED__