the cannibal is not indestructible.
sent1: if the antibacterial is punctureless it is neuroendocrine. sent2: the cannibal shrinks Selenicereus if the fact that it does etiolate is not incorrect. sent3: the cannibal is not a kind of a blackcap. sent4: that the florist is not punctureless hold. sent5: the takeaway is not indestructible. sent6: the quack-quack is a kind of a stiletto. sent7: if the cannibal is punctureless it is a kind of a blackcap. sent8: something is not destructible if it is a Turpin. sent9: the cannibal does not shrink disgusted. sent10: the cannibal is a kind of a stiletto. sent11: the barbecue is punctureless. sent12: the doorbell thrusts if it is a lox. sent13: if the cannibal is indestructible it is not non-field-crop. sent14: the cannibal is punctureless if it is indestructible. sent15: the cannibal is indestructible if the fact that the fact that the dove is a blackcap that is not indestructible is right is not right. sent16: the tatou is not indestructible.
void -> assump1: Let's assume that the cannibal is indestructible.; sent14 & assump1 -> int1: the cannibal is punctureless.; int1 & sent7 -> int2: the cannibal is a kind of a blackcap.; int2 & sent3 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the cannibal is indestructible.
$hypothesis$ = the cannibal is not indestructible. ; $context$ = sent1: if the antibacterial is punctureless it is neuroendocrine. sent2: the cannibal shrinks Selenicereus if the fact that it does etiolate is not incorrect. sent3: the cannibal is not a kind of a blackcap. sent4: that the florist is not punctureless hold. sent5: the takeaway is not indestructible. sent6: the quack-quack is a kind of a stiletto. sent7: if the cannibal is punctureless it is a kind of a blackcap. sent8: something is not destructible if it is a Turpin. sent9: the cannibal does not shrink disgusted. sent10: the cannibal is a kind of a stiletto. sent11: the barbecue is punctureless. sent12: the doorbell thrusts if it is a lox. sent13: if the cannibal is indestructible it is not non-field-crop. sent14: the cannibal is punctureless if it is indestructible. sent15: the cannibal is indestructible if the fact that the fact that the dove is a blackcap that is not indestructible is right is not right. sent16: the tatou is not indestructible. ; $proof$ = 
void -> assump1: Let's assume that the cannibal is indestructible.; sent14 & assump1 -> int1: the cannibal is punctureless.; int1 & sent7 -> int2: the cannibal is a kind of a blackcap.; int2 & sent3 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__