the fact that the LCD is a oligospermia if the betatron is a batfish does not hold.
sent1: if the LCD is a filature the betatron is a oligospermia. sent2: the betatron is a paired if the spelt is a kind of a filature. sent3: the spelt does pair if there is something such that it charges and is not a halitus. sent4: the turntable is cared-for if the spelt does pair. sent5: if the spelt is a kind of a batfish the betatron pairs. sent6: if the betatron is a oligospermia then the LCD is a kind of a filature. sent7: the schizophrenic does pair if the spelt is cared-for. sent8: the betatron is a oligospermia that is a batfish. sent9: the celestite is a filature. sent10: if there exists something such that it is a batfish and it is a filature the LCD is a kind of a oligospermia. sent11: the fact that the betatron is a kind of a filature is not wrong if the turntable is cared-for. sent12: something is a charged and is not a kind of a halitus.
void -> assump1: Let's assume that the betatron is a kind of a batfish.; sent12 & sent3 -> int1: the spelt is a paired.; sent4 & int1 -> int2: the turntable is cared-for.; sent11 & int2 -> int3: the betatron is a kind of a filature.; assump1 & int3 -> int4: the betatron is a kind of a batfish that is a filature.; int4 -> int5: there exists something such that it is a batfish and it is a kind of a filature.; int5 & sent10 -> int6: the LCD is a oligospermia.; [assump1] & int6 -> hypothesis;
that the schizophrenic is a kind of a paired is not false.
$hypothesis$ = the fact that the LCD is a oligospermia if the betatron is a batfish does not hold. ; $context$ = sent1: if the LCD is a filature the betatron is a oligospermia. sent2: the betatron is a paired if the spelt is a kind of a filature. sent3: the spelt does pair if there is something such that it charges and is not a halitus. sent4: the turntable is cared-for if the spelt does pair. sent5: if the spelt is a kind of a batfish the betatron pairs. sent6: if the betatron is a oligospermia then the LCD is a kind of a filature. sent7: the schizophrenic does pair if the spelt is cared-for. sent8: the betatron is a oligospermia that is a batfish. sent9: the celestite is a filature. sent10: if there exists something such that it is a batfish and it is a filature the LCD is a kind of a oligospermia. sent11: the fact that the betatron is a kind of a filature is not wrong if the turntable is cared-for. sent12: something is a charged and is not a kind of a halitus. ; $proof$ = 
void -> assump1: Let's assume that the betatron is a kind of a batfish.; sent12 & sent3 -> int1: the spelt is a paired.; sent4 & int1 -> int2: the turntable is cared-for.; sent11 & int2 -> int3: the betatron is a kind of a filature.; assump1 & int3 -> int4: the betatron is a kind of a batfish that is a filature.; int4 -> int5: there exists something such that it is a batfish and it is a kind of a filature.; int5 & sent10 -> int6: the LCD is a oligospermia.; [assump1] & int6 -> hypothesis; __DISPROVED__