if the fact that the carrycot is not a shipwright is incorrect that the lyssavirus is not a batten but a flies does not hold.
sent1: the lyssavirus is not an assertiveness. sent2: that the lyssavirus is not a batten but a flies is not true if the chopsteak is not enzymatic. sent3: the milcher is a shipwright. sent4: the lyssavirus is not a kind of a shipwright if the carrycot does fly. sent5: the lyssavirus does not batten and flies if that the chopsteak is not enzymatic is not incorrect. sent6: if the carrycot is a kind of a shipwright then the lyssavirus is not a kind of a batten but it does fly. sent7: the fact that the lyssavirus is not a kind of a shipwright but it is a batten does not hold. sent8: that the fact that the lyssavirus is enzymatic and it is a kind of a shipwright is incorrect is not false if that the chopsteak does fly is not false. sent9: if the lyssavirus is a shipwright the carrycot does not batten. sent10: if the carrycot is not enzymatic then that the lyssavirus battens and it is a shipwright does not hold. sent11: the lyssavirus is both not a batten and a shipwright. sent12: the vivarium is a shipwright. sent13: if the carrycot is a shipwright the chopsteak is not enzymatic.
void -> assump1: Let's assume that the carrycot is a shipwright.; sent13 & assump1 -> int1: the chopsteak is not enzymatic.; int1 & sent2 -> int2: the fact that the lyssavirus is not a batten and is a flies is false.; [assump1] & int2 -> hypothesis;
$hypothesis$ = if the fact that the carrycot is not a shipwright is incorrect that the lyssavirus is not a batten but a flies does not hold. ; $context$ = sent1: the lyssavirus is not an assertiveness. sent2: that the lyssavirus is not a batten but a flies is not true if the chopsteak is not enzymatic. sent3: the milcher is a shipwright. sent4: the lyssavirus is not a kind of a shipwright if the carrycot does fly. sent5: the lyssavirus does not batten and flies if that the chopsteak is not enzymatic is not incorrect. sent6: if the carrycot is a kind of a shipwright then the lyssavirus is not a kind of a batten but it does fly. sent7: the fact that the lyssavirus is not a kind of a shipwright but it is a batten does not hold. sent8: that the fact that the lyssavirus is enzymatic and it is a kind of a shipwright is incorrect is not false if that the chopsteak does fly is not false. sent9: if the lyssavirus is a shipwright the carrycot does not batten. sent10: if the carrycot is not enzymatic then that the lyssavirus battens and it is a shipwright does not hold. sent11: the lyssavirus is both not a batten and a shipwright. sent12: the vivarium is a shipwright. sent13: if the carrycot is a shipwright the chopsteak is not enzymatic. ; $proof$ = 
void -> assump1: Let's assume that the carrycot is a shipwright.; sent13 & assump1 -> int1: the chopsteak is not enzymatic.; int1 & sent2 -> int2: the fact that the lyssavirus is not a batten and is a flies is false.; [assump1] & int2 -> hypothesis; __PROVED__