the coupe does not tweet shipside.
sent1: if the coupe is not a touched then it does not tweet mesocarp and/or it is not a millenarian. sent2: the shipside is not cold. sent3: the shipside is a cold if the coupe is a touched. sent4: if something does not tweet mesocarp or is not a kind of a millenarian or both then it does not tweet shipside.
void -> assump1: Let's assume that the coupe touches.; sent3 & assump1 -> int1: that the shipside is a cold is true.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the coupe is not a touched.; int3 & sent1 -> int4: the coupe does not tweet mesocarp and/or is not a millenarian.; sent4 -> int5: if the coupe does not tweet mesocarp or it is not a millenarian or both it does not tweet shipside.; int4 & int5 -> hypothesis;
$hypothesis$ = the coupe does not tweet shipside. ; $context$ = sent1: if the coupe is not a touched then it does not tweet mesocarp and/or it is not a millenarian. sent2: the shipside is not cold. sent3: the shipside is a cold if the coupe is a touched. sent4: if something does not tweet mesocarp or is not a kind of a millenarian or both then it does not tweet shipside. ; $proof$ = 
void -> assump1: Let's assume that the coupe touches.; sent3 & assump1 -> int1: that the shipside is a cold is true.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the coupe is not a touched.; int3 & sent1 -> int4: the coupe does not tweet mesocarp and/or is not a millenarian.; sent4 -> int5: if the coupe does not tweet mesocarp or it is not a millenarian or both it does not tweet shipside.; int4 & int5 -> hypothesis; __PROVED__