the fact that the cannabin is a vertical if the NIMBY is emphysematous does not hold.
sent1: the cannabin is a vertical if there is something such that either it is a lysine or it is seedy or both. sent2: the NIMBY is not emphysematous if the fact that it is not a lysine is not false.
void -> assump2: Let's assume that the NIMBY is emphysematous.; void -> assump1: Let's assume that the NIMBY is not a kind of a lysine.; sent2 & assump1 -> int1: the NIMBY is not emphysematous.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the NIMBY is a lysine.; int3 -> int4: the NIMBY is a lysine and/or is seedy.; int4 -> int5: there is something such that it is a lysine and/or it is seedy.; int5 & sent1 -> int6: that the cannabin is a vertical hold.; [assump2] & int6 -> hypothesis;
$hypothesis$ = the fact that the cannabin is a vertical if the NIMBY is emphysematous does not hold. ; $context$ = sent1: the cannabin is a vertical if there is something such that either it is a lysine or it is seedy or both. sent2: the NIMBY is not emphysematous if the fact that it is not a lysine is not false. ; $proof$ = 
void -> assump2: Let's assume that the NIMBY is emphysematous.; void -> assump1: Let's assume that the NIMBY is not a kind of a lysine.; sent2 & assump1 -> int1: the NIMBY is not emphysematous.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the NIMBY is a lysine.; int3 -> int4: the NIMBY is a lysine and/or is seedy.; int4 -> int5: there is something such that it is a lysine and/or it is seedy.; int5 & sent1 -> int6: that the cannabin is a vertical hold.; [assump2] & int6 -> hypothesis; __DISPROVED__