that the taffrail secedes is right if the fact that the licenser stales homospory is correct.
sent1: that the licenser is both a mathematician and sarcolemmal does not hold. sent2: the homospory is a kind of a mathematician if the licenser is a mathematician. sent3: if that the fact that the licenser is both a mathematician and not sarcolemmal is not false does not hold then the taffrail does grit. sent4: the licenser is a mathematician if the taffrail is a mathematician but it does not grit. sent5: the fact that if the licenser stales homospory then that the licenser is a mathematician but it is not sarcolemmal is not correct hold. sent6: the propeller is sarcolemmal.
void -> assump1: Let's assume that the licenser stales homospory.; sent5 & assump1 -> int1: that the licenser is a mathematician and is not sarcolemmal is not right.; int1 & sent3 -> int2: the taffrail is a grit.;
the homospory is a mathematician.
$hypothesis$ = that the taffrail secedes is right if the fact that the licenser stales homospory is correct. ; $context$ = sent1: that the licenser is both a mathematician and sarcolemmal does not hold. sent2: the homospory is a kind of a mathematician if the licenser is a mathematician. sent3: if that the fact that the licenser is both a mathematician and not sarcolemmal is not false does not hold then the taffrail does grit. sent4: the licenser is a mathematician if the taffrail is a mathematician but it does not grit. sent5: the fact that if the licenser stales homospory then that the licenser is a mathematician but it is not sarcolemmal is not correct hold. sent6: the propeller is sarcolemmal. ; $proof$ = 
void -> assump1: Let's assume that the licenser stales homospory.; sent5 & assump1 -> int1: that the licenser is a mathematician and is not sarcolemmal is not right.; int1 & sent3 -> int2: the taffrail is a grit.; __UNKNOWN__