the imitation is a gusset.
sent1: if there is something such that it gazumps that the drive-in is a Glareolidae and it is a sperm is not right. sent2: if the drive-in does immortalize devourer and is not unpopular then the imitation is not a kind of a gusset. sent3: if that either the microtome is not a Sapir or it is unpopular or both does not hold the neoliberal is a Sapir. sent4: something is a kind of a Greek if it is a Sapir. sent5: if the drive-in is Greek the neoliberal is not Greek but a pole. sent6: if the epigenesis does melanize the microtome is not a Sapir and skittles. sent7: the drive-in is Greek if it does not immortalize devourer. sent8: the neoliberal does pole if the drive-in is a Greek. sent9: if a non-Greek thing does pole then that the microtome is a Sapir is true. sent10: the drive-in does not immortalize pylon if the neoliberal does immortalize devourer and is Greek. sent11: the fact that the second-rater does not gazump does not hold. sent12: the drive-in is not unpopular if that it is a kind of a Glareolidae and it is a sperm is not correct. sent13: that something is not a kind of a Sapir and/or it is unpopular is false if it is a gusset. sent14: that the microtome does skittle is right. sent15: the microtome does not gazump. sent16: there exists something such that it is a pole. sent17: the hakim is not a pole. sent18: if that the microtome is not a pole hold that it is not a Sapir and it does immortalize devourer does not hold. sent19: something that does not skittle is a kind of a pole that immortalizes devourer. sent20: the fact that the drive-in is not a Greek but it does melanize is true if the epigenesis is a Greek. sent21: the neoliberal does not skittle. sent22: that the imitation immortalizes pylon and does immortalize disjunction does not hold if there exists something such that the fact that it does not immortalizes pylon is not false. sent23: if the epigenesis melanizes then the microtome does skittle. sent24: the epigenesis does melanize.
void -> assump1: Let's assume that the drive-in does not immortalize devourer.; sent7 & assump1 -> int1: the drive-in is Greek.; int1 & sent5 -> int2: the neoliberal is not Greek but it is a pole.; int2 -> int3: there is something such that it is non-Greek thing that is a pole.; int3 & sent9 -> int4: the microtome is a Sapir.; sent6 & sent24 -> int5: the microtome is not a Sapir and skittles.; int5 -> int6: the microtome is not a kind of a Sapir.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the drive-in immortalizes devourer.; sent11 -> int9: something gazumps.; int9 & sent1 -> int10: that the drive-in is a Glareolidae and it is a sperm is false.; sent12 & int10 -> int11: the drive-in is not unpopular.; int8 & int11 -> int12: the drive-in immortalizes devourer but it is not unpopular.; int12 & sent2 -> hypothesis;
that the imitation immortalizes pylon and it does immortalize disjunction is not true.
sent19 -> int13: the neoliberal does pole and immortalizes devourer if it does not skittle.; int13 & sent21 -> int14: the neoliberal is a pole that does immortalize devourer.; int14 -> int15: the neoliberal immortalizes devourer.; sent4 -> int16: if the neoliberal is a Sapir it is a kind of a Greek.; sent13 -> int17: if the microtome is a gusset then that it is not a Sapir and/or is unpopular is false.;
$hypothesis$ = the imitation is a gusset. ; $context$ = sent1: if there is something such that it gazumps that the drive-in is a Glareolidae and it is a sperm is not right. sent2: if the drive-in does immortalize devourer and is not unpopular then the imitation is not a kind of a gusset. sent3: if that either the microtome is not a Sapir or it is unpopular or both does not hold the neoliberal is a Sapir. sent4: something is a kind of a Greek if it is a Sapir. sent5: if the drive-in is Greek the neoliberal is not Greek but a pole. sent6: if the epigenesis does melanize the microtome is not a Sapir and skittles. sent7: the drive-in is Greek if it does not immortalize devourer. sent8: the neoliberal does pole if the drive-in is a Greek. sent9: if a non-Greek thing does pole then that the microtome is a Sapir is true. sent10: the drive-in does not immortalize pylon if the neoliberal does immortalize devourer and is Greek. sent11: the fact that the second-rater does not gazump does not hold. sent12: the drive-in is not unpopular if that it is a kind of a Glareolidae and it is a sperm is not correct. sent13: that something is not a kind of a Sapir and/or it is unpopular is false if it is a gusset. sent14: that the microtome does skittle is right. sent15: the microtome does not gazump. sent16: there exists something such that it is a pole. sent17: the hakim is not a pole. sent18: if that the microtome is not a pole hold that it is not a Sapir and it does immortalize devourer does not hold. sent19: something that does not skittle is a kind of a pole that immortalizes devourer. sent20: the fact that the drive-in is not a Greek but it does melanize is true if the epigenesis is a Greek. sent21: the neoliberal does not skittle. sent22: that the imitation immortalizes pylon and does immortalize disjunction does not hold if there exists something such that the fact that it does not immortalizes pylon is not false. sent23: if the epigenesis melanizes then the microtome does skittle. sent24: the epigenesis does melanize. ; $proof$ = 
void -> assump1: Let's assume that the drive-in does not immortalize devourer.; sent7 & assump1 -> int1: the drive-in is Greek.; int1 & sent5 -> int2: the neoliberal is not Greek but it is a pole.; int2 -> int3: there is something such that it is non-Greek thing that is a pole.; int3 & sent9 -> int4: the microtome is a Sapir.; sent6 & sent24 -> int5: the microtome is not a Sapir and skittles.; int5 -> int6: the microtome is not a kind of a Sapir.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the drive-in immortalizes devourer.; sent11 -> int9: something gazumps.; int9 & sent1 -> int10: that the drive-in is a Glareolidae and it is a sperm is false.; sent12 & int10 -> int11: the drive-in is not unpopular.; int8 & int11 -> int12: the drive-in immortalizes devourer but it is not unpopular.; int12 & sent2 -> hypothesis; __DISPROVED__