if that the Ayrshire is a primary is not incorrect that the Junkers prices underboss is not incorrect.
sent1: if there exists something such that the fact that it is not a noncandidate and it is not a kind of a businessman is not true the Ayrshire does not swear. sent2: there exists something such that it is a salon. sent3: the Junkers does price underboss if a primary thing is a salon. sent4: there are primary things. sent5: if something does not despair that it is not a noncandidate and not a businessman is wrong. sent6: the nonresident is a salon. sent7: something prices underboss and does insinuate if it does not swear. sent8: the fact that the Benny prices underboss and it does mummify is not wrong. sent9: the Ayrshire is a salon. sent10: something that is not a salon is not non-primary. sent11: if something is not tertian then the Junkers is not a kind of a despair and it is not a disqualification. sent12: the somewhere is not a salon if the Ayrshire prices underboss. sent13: there is something such that that it is not tertian hold.
void -> assump1: Let's assume that the Ayrshire is primary.; assump1 & sent9 -> int1: the Ayrshire is a primary that is a salon.; int1 -> int2: that something is a primary and is a kind of a salon hold.; int2 & sent3 -> int3: the Junkers prices underboss.; [assump1] & int3 -> hypothesis;
the somewhere is a kind of a primary.
sent10 -> int4: the somewhere is a primary if it is not a salon.; sent7 -> int5: if the Ayrshire does not swear it does price underboss and it insinuates.; sent5 -> int6: that the Junkers is not a kind of a noncandidate and it is not a businessman does not hold if it is not a despair.; sent13 & sent11 -> int7: the Junkers does not despair and is not a kind of a disqualification.; int7 -> int8: the Junkers is not a kind of a despair.; int6 & int8 -> int9: the fact that the Junkers is not a noncandidate and is not a businessman is incorrect.; int9 -> int10: there exists something such that that it is not a noncandidate and not a businessman is wrong.; int10 & sent1 -> int11: the Ayrshire does not swear.; int5 & int11 -> int12: the Ayrshire prices underboss and insinuates.; int12 -> int13: the Ayrshire does price underboss.; sent12 & int13 -> int14: the somewhere is not a salon.; int4 & int14 -> hypothesis;
$hypothesis$ = if that the Ayrshire is a primary is not incorrect that the Junkers prices underboss is not incorrect. ; $context$ = sent1: if there exists something such that the fact that it is not a noncandidate and it is not a kind of a businessman is not true the Ayrshire does not swear. sent2: there exists something such that it is a salon. sent3: the Junkers does price underboss if a primary thing is a salon. sent4: there are primary things. sent5: if something does not despair that it is not a noncandidate and not a businessman is wrong. sent6: the nonresident is a salon. sent7: something prices underboss and does insinuate if it does not swear. sent8: the fact that the Benny prices underboss and it does mummify is not wrong. sent9: the Ayrshire is a salon. sent10: something that is not a salon is not non-primary. sent11: if something is not tertian then the Junkers is not a kind of a despair and it is not a disqualification. sent12: the somewhere is not a salon if the Ayrshire prices underboss. sent13: there is something such that that it is not tertian hold. ; $proof$ = 
void -> assump1: Let's assume that the Ayrshire is primary.; assump1 & sent9 -> int1: the Ayrshire is a primary that is a salon.; int1 -> int2: that something is a primary and is a kind of a salon hold.; int2 & sent3 -> int3: the Junkers prices underboss.; [assump1] & int3 -> hypothesis; __PROVED__