that there exists something such that if that it is a monoclonal and it is not a areaway does not hold it is a diameter is not true.
sent1: that that something is a diameter hold if it is not cervine is not incorrect. sent2: the memory is not calcicolous if that it is a monoclonal and is not a areaway is wrong. sent3: there exists something such that if that it does disown Toyonaki and does not transition is wrong it is municipal. sent4: something is not cervine if it is not calcicolous.
void -> assump1: Let's assume that the fact that the memory is monoclonal and not a areaway is incorrect.; sent2 & assump1 -> int1: the memory is not calcicolous.; sent4 -> int2: if the memory is not calcicolous it is not cervine.; int1 & int2 -> int3: the memory is not cervine.; sent1 -> int4: the memory is a diameter if it is not cervine.; int3 & int4 -> int5: the memory is a diameter.; [assump1] & int5 -> int6: if the fact that the memory is a kind of a monoclonal that is not a areaway is not correct the fact that it is a diameter is not false.; int6 -> hypothesis;
$hypothesis$ = that there exists something such that if that it is a monoclonal and it is not a areaway does not hold it is a diameter is not true. ; $context$ = sent1: that that something is a diameter hold if it is not cervine is not incorrect. sent2: the memory is not calcicolous if that it is a monoclonal and is not a areaway is wrong. sent3: there exists something such that if that it does disown Toyonaki and does not transition is wrong it is municipal. sent4: something is not cervine if it is not calcicolous. ; $proof$ = 
void -> assump1: Let's assume that the fact that the memory is monoclonal and not a areaway is incorrect.; sent2 & assump1 -> int1: the memory is not calcicolous.; sent4 -> int2: if the memory is not calcicolous it is not cervine.; int1 & int2 -> int3: the memory is not cervine.; sent1 -> int4: the memory is a diameter if it is not cervine.; int3 & int4 -> int5: the memory is a diameter.; [assump1] & int5 -> int6: if the fact that the memory is a kind of a monoclonal that is not a areaway is not correct the fact that it is a diameter is not false.; int6 -> hypothesis; __DISPROVED__