the meperidine terms polecat and terms ala.
sent1: the revolver is non-harmonics. sent2: the meperidine does term ala. sent3: that the polecat is a kind of a constituent hold if the fact that that the rum is a M or it plates fumigator or both does not hold hold. sent4: if the revolver is not a harmonics it is a kind of a religiosity that is not a GB. sent5: if the fact that the rum either is not a M or does plate fumigator or both is wrong that the polecat is a constituent is not false. sent6: the revolver is not a jack-o-lantern. sent7: the ruga is not a M. sent8: the rum is a kind of a M. sent9: if the fact that the ruga is a kind of a Oxonian is right then it is a Demetrius. sent10: The ala does term meperidine. sent11: the rum is a M if the meperidine does not term polecat. sent12: the meperidine is a kind of a jack-o-lantern if that the revolver terms polecat is right. sent13: the revolver is a jack-o-lantern if the ruga is a kind of a Demetrius. sent14: if that the meperidine terms polecat is not true then the fact that the rum is not a kind of a M and/or it does plate fumigator is incorrect. sent15: the meperidine is not a kind of a constituent but it does term polecat if the rum is not Oxonian. sent16: if the polecat is a jack-o-lantern the rum is not a Demetrius. sent17: if the revolver is a religiosity but it is not a kind of a GB the ruga does not lime stoplight. sent18: if there is something such that it does not lime stoplight then either the polecat is a kind of a jack-o-lantern or it is styleless or both.
void -> assump1: Let's assume that the meperidine does not term polecat.; sent14 & assump1 -> int1: that the rum is not a kind of a M and/or plates fumigator is not true.; int1 & sent5 -> int2: the polecat is a kind of a constituent.;
the footballer is a Demetrius.
$hypothesis$ = the meperidine terms polecat and terms ala. ; $context$ = sent1: the revolver is non-harmonics. sent2: the meperidine does term ala. sent3: that the polecat is a kind of a constituent hold if the fact that that the rum is a M or it plates fumigator or both does not hold hold. sent4: if the revolver is not a harmonics it is a kind of a religiosity that is not a GB. sent5: if the fact that the rum either is not a M or does plate fumigator or both is wrong that the polecat is a constituent is not false. sent6: the revolver is not a jack-o-lantern. sent7: the ruga is not a M. sent8: the rum is a kind of a M. sent9: if the fact that the ruga is a kind of a Oxonian is right then it is a Demetrius. sent10: The ala does term meperidine. sent11: the rum is a M if the meperidine does not term polecat. sent12: the meperidine is a kind of a jack-o-lantern if that the revolver terms polecat is right. sent13: the revolver is a jack-o-lantern if the ruga is a kind of a Demetrius. sent14: if that the meperidine terms polecat is not true then the fact that the rum is not a kind of a M and/or it does plate fumigator is incorrect. sent15: the meperidine is not a kind of a constituent but it does term polecat if the rum is not Oxonian. sent16: if the polecat is a jack-o-lantern the rum is not a Demetrius. sent17: if the revolver is a religiosity but it is not a kind of a GB the ruga does not lime stoplight. sent18: if there is something such that it does not lime stoplight then either the polecat is a kind of a jack-o-lantern or it is styleless or both. ; $proof$ = 
void -> assump1: Let's assume that the meperidine does not term polecat.; sent14 & assump1 -> int1: that the rum is not a kind of a M and/or plates fumigator is not true.; int1 & sent5 -> int2: the polecat is a kind of a constituent.; __UNKNOWN__