the viomycin is a voicemail if the tool is a commensal.
sent1: the call-back reopens if it is a kind of a Ariidae. sent2: if the tool is a kind of a commensal it is statutory. sent3: if something is statutory that the burgrave reopens and is not a Netherlander is not true. sent4: if the fact that the burgrave does reopen but it is not a Netherlander is incorrect then it does communicate chert. sent5: something does reopen and is a commensal if it is not statutory. sent6: if the burgrave does communicate chert then it is statutory. sent7: that the burgrave is a kind of a Netherlander but it is not a kind of a commensal is false if there is something such that it does reopen. sent8: if the burgrave does communicate chert then the viomycin is a voicemail. sent9: if the fact that the burgrave does not reopen is not false then that it does communicate chert is right. sent10: the fact that the tool is a commensal but it is not a voicemail is not right if something is statutory.
void -> assump1: Let's assume that the tool is commensal.; sent2 & assump1 -> int1: that the tool is not non-statutory is true.; int1 -> int2: something is statutory.; int2 & sent3 -> int3: the fact that the burgrave reopens but it is not a Netherlander is not true.; int3 & sent4 -> int4: the burgrave communicates chert.; int4 & sent8 -> int5: the viomycin is a kind of a voicemail.; [assump1] & int5 -> hypothesis;
the citrate reopens.
sent5 -> int6: if the citrate is not statutory then it does reopen and it is a commensal.;
$hypothesis$ = the viomycin is a voicemail if the tool is a commensal. ; $context$ = sent1: the call-back reopens if it is a kind of a Ariidae. sent2: if the tool is a kind of a commensal it is statutory. sent3: if something is statutory that the burgrave reopens and is not a Netherlander is not true. sent4: if the fact that the burgrave does reopen but it is not a Netherlander is incorrect then it does communicate chert. sent5: something does reopen and is a commensal if it is not statutory. sent6: if the burgrave does communicate chert then it is statutory. sent7: that the burgrave is a kind of a Netherlander but it is not a kind of a commensal is false if there is something such that it does reopen. sent8: if the burgrave does communicate chert then the viomycin is a voicemail. sent9: if the fact that the burgrave does not reopen is not false then that it does communicate chert is right. sent10: the fact that the tool is a commensal but it is not a voicemail is not right if something is statutory. ; $proof$ = 
void -> assump1: Let's assume that the tool is commensal.; sent2 & assump1 -> int1: that the tool is not non-statutory is true.; int1 -> int2: something is statutory.; int2 & sent3 -> int3: the fact that the burgrave reopens but it is not a Netherlander is not true.; int3 & sent4 -> int4: the burgrave communicates chert.; int4 & sent8 -> int5: the viomycin is a kind of a voicemail.; [assump1] & int5 -> hypothesis; __PROVED__