that if the cigar is not euphonic then the dependant vacates and is a toilet is not true.
sent1: if the swordtail is a toilet the cigar is a toilet. sent2: if the fact that something is not fetal but it is unorthodox is not correct then it is a infarct. sent3: the dependant is unorthodox. sent4: if the cigar is not euphonic then that the swordtail is not fetal but unorthodox does not hold. sent5: the fleapit is unorthodox. sent6: something is a kind of a toilet and it is euphonic if that it is not a infarct is correct. sent7: the fact that the swordtail is not non-fetal but unorthodox is false. sent8: the dependant is euphonic. sent9: if the swordtail is a kind of a infarct the dependant does vacate. sent10: that the dependant is not a toilet but it is not non-fetal does not hold. sent11: the ATM is a toilet if the cigar is a kind of a toilet. sent12: something is nonclassical if it does not judge. sent13: the Cambrian does interpolate homogeneity if it is polygonal. sent14: if the cigar is euphonic that the swordtail is not fetal but it is unorthodox does not hold. sent15: the dependant scents. sent16: something is a kind of a infarct if it is fetal. sent17: the dependant is protozoal. sent18: the cigar does not vacate. sent19: something is a toilet if the fact that it is protozoal is right. sent20: the fact that the swordtail is a infarct hold if it is fetal. sent21: if the cigar is not euphonic then the fact that the swordtail is both fetal and unorthodox does not hold. sent22: if the cigar is euphonic then it is a toilet. sent23: a non-likable thing does not vacate and is protozoal.
void -> assump1: Let's assume that the cigar is not euphonic.; sent4 & assump1 -> int1: the fact that the swordtail is not fetal and is unorthodox is not true.; sent2 -> int2: if the fact that the swordtail is not fetal but it is unorthodox is not right then it is a infarct.; int1 & int2 -> int3: the swordtail is a infarct.; int3 & sent9 -> int4: the dependant does vacate.; sent19 -> int5: if the dependant is protozoal then it is a toilet.; int5 & sent17 -> int6: the dependant is a toilet.; int4 & int6 -> int7: the dependant vacates and it is a kind of a toilet.; [assump1] & int7 -> hypothesis;
the ATM is a kind of a toilet.
sent6 -> int8: the swordtail is both a toilet and euphonic if it is not a infarct.; sent23 -> int9: the dependant does not vacate and is protozoal if it is not likable.;
$hypothesis$ = that if the cigar is not euphonic then the dependant vacates and is a toilet is not true. ; $context$ = sent1: if the swordtail is a toilet the cigar is a toilet. sent2: if the fact that something is not fetal but it is unorthodox is not correct then it is a infarct. sent3: the dependant is unorthodox. sent4: if the cigar is not euphonic then that the swordtail is not fetal but unorthodox does not hold. sent5: the fleapit is unorthodox. sent6: something is a kind of a toilet and it is euphonic if that it is not a infarct is correct. sent7: the fact that the swordtail is not non-fetal but unorthodox is false. sent8: the dependant is euphonic. sent9: if the swordtail is a kind of a infarct the dependant does vacate. sent10: that the dependant is not a toilet but it is not non-fetal does not hold. sent11: the ATM is a toilet if the cigar is a kind of a toilet. sent12: something is nonclassical if it does not judge. sent13: the Cambrian does interpolate homogeneity if it is polygonal. sent14: if the cigar is euphonic that the swordtail is not fetal but it is unorthodox does not hold. sent15: the dependant scents. sent16: something is a kind of a infarct if it is fetal. sent17: the dependant is protozoal. sent18: the cigar does not vacate. sent19: something is a toilet if the fact that it is protozoal is right. sent20: the fact that the swordtail is a infarct hold if it is fetal. sent21: if the cigar is not euphonic then the fact that the swordtail is both fetal and unorthodox does not hold. sent22: if the cigar is euphonic then it is a toilet. sent23: a non-likable thing does not vacate and is protozoal. ; $proof$ = 
void -> assump1: Let's assume that the cigar is not euphonic.; sent4 & assump1 -> int1: the fact that the swordtail is not fetal and is unorthodox is not true.; sent2 -> int2: if the fact that the swordtail is not fetal but it is unorthodox is not right then it is a infarct.; int1 & int2 -> int3: the swordtail is a infarct.; int3 & sent9 -> int4: the dependant does vacate.; sent19 -> int5: if the dependant is protozoal then it is a toilet.; int5 & sent17 -> int6: the dependant is a toilet.; int4 & int6 -> int7: the dependant vacates and it is a kind of a toilet.; [assump1] & int7 -> hypothesis; __DISPROVED__