if the lodging does ebb the octoroon does discriminate.
sent1: if the lodging is not implacable the octoroon is nonindustrial. sent2: the lodging is a Cenozoic. sent3: the fact that the octoroon is not a kind of a marsupial is true. sent4: if the lodging is current and it is not a kind of a marsupial it is not an ebb. sent5: the lodging is an emporium. sent6: the octoroon is not noncurrent. sent7: the fact that the lodging is non-marsupial and it does not discriminate does not hold. sent8: something is not implacable if it is noncurrent. sent9: the lodging is not implacable if that it is noncurrent hold. sent10: the lodging ebbs if it is not noncurrent and it is non-marsupial. sent11: that the lodging is noncurrent but not a marsupial is not correct. sent12: the zymase does ebb. sent13: if the octoroon is a marsupial the lodging discriminates. sent14: the fact that the tusk is not indigestible and does not discriminate hold. sent15: the swathing is not a marsupial. sent16: the lodging is not an ebb if it is noncurrent and it is not a marsupial. sent17: the octoroon is nonindustrial and it is discriminate if the lodging is not implacable. sent18: that the lodging does not deflate self-discovery and is not a kind of a gross is not right. sent19: the lodging is not noncurrent. sent20: the lodging is a kind of non-noncurrent thing that is not a kind of a faithful.
void -> assump2: Let's assume that the lodging is both not noncurrent and not a marsupial.; sent4 & assump2 -> int1: the lodging is not an ebb.; void -> assump1: Let's assume that the lodging ebbs.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the lodging is not noncurrent and it is not marsupial is not correct.;
$hypothesis$ = if the lodging does ebb the octoroon does discriminate. ; $context$ = sent1: if the lodging is not implacable the octoroon is nonindustrial. sent2: the lodging is a Cenozoic. sent3: the fact that the octoroon is not a kind of a marsupial is true. sent4: if the lodging is current and it is not a kind of a marsupial it is not an ebb. sent5: the lodging is an emporium. sent6: the octoroon is not noncurrent. sent7: the fact that the lodging is non-marsupial and it does not discriminate does not hold. sent8: something is not implacable if it is noncurrent. sent9: the lodging is not implacable if that it is noncurrent hold. sent10: the lodging ebbs if it is not noncurrent and it is non-marsupial. sent11: that the lodging is noncurrent but not a marsupial is not correct. sent12: the zymase does ebb. sent13: if the octoroon is a marsupial the lodging discriminates. sent14: the fact that the tusk is not indigestible and does not discriminate hold. sent15: the swathing is not a marsupial. sent16: the lodging is not an ebb if it is noncurrent and it is not a marsupial. sent17: the octoroon is nonindustrial and it is discriminate if the lodging is not implacable. sent18: that the lodging does not deflate self-discovery and is not a kind of a gross is not right. sent19: the lodging is not noncurrent. sent20: the lodging is a kind of non-noncurrent thing that is not a kind of a faithful. ; $proof$ = 
void -> assump2: Let's assume that the lodging is both not noncurrent and not a marsupial.; sent4 & assump2 -> int1: the lodging is not an ebb.; void -> assump1: Let's assume that the lodging ebbs.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the lodging is not noncurrent and it is not marsupial is not correct.; __UNKNOWN__