that if the waverer does not theme lash the bobbin does strike or it does not spectate or both does not hold.
sent1: the waverer is regenerate and it is not cryptogamic if it does not theme lash. sent2: if the waverer is not cryptogamic the bobbin does strike and/or it does not spectate. sent3: if the waverer does not spectate the bobbin does theme lash or it is a kind of a strike or both.
void -> assump1: Let's assume that the waverer does not theme lash.; sent1 & assump1 -> int1: the waverer is not unregenerate and is not cryptogamic.; int1 -> int2: the waverer is not cryptogamic.; sent2 & int2 -> int3: the bobbin is a strike or does not spectate or both.; [assump1] & int3 -> hypothesis;
$hypothesis$ = that if the waverer does not theme lash the bobbin does strike or it does not spectate or both does not hold. ; $context$ = sent1: the waverer is regenerate and it is not cryptogamic if it does not theme lash. sent2: if the waverer is not cryptogamic the bobbin does strike and/or it does not spectate. sent3: if the waverer does not spectate the bobbin does theme lash or it is a kind of a strike or both. ; $proof$ = 
void -> assump1: Let's assume that the waverer does not theme lash.; sent1 & assump1 -> int1: the waverer is not unregenerate and is not cryptogamic.; int1 -> int2: the waverer is not cryptogamic.; sent2 & int2 -> int3: the bobbin is a strike or does not spectate or both.; [assump1] & int3 -> hypothesis; __DISPROVED__