the zip does remonstrate vaulter.
sent1: something does measure Horne if the fact that it does bottom is not false. sent2: the baffle is an herb and/or it is Ionic. sent3: the Assamese does not bottom if there is something such that it is indexical. sent4: something is frozen if it is not a bottomed. sent5: the maid syllogizes Dionysius if the geometrid is unfrozen. sent6: the fact that something does syllogize Dionysius and is a kind of a bottomed is wrong if it does not measure Horne. sent7: the deletion syllogizes Dionysius if the fact that it is both not unfrozen and an herb is not right. sent8: the maid is Ionic if the baffle is an herb. sent9: the geometrid is a wheedler. sent10: if the geometrid is a wheedler then that it is both not a perjurer and social is not right. sent11: if the fact that something is not a perjurer but it is social is incorrect then it is unfrozen. sent12: if the fact that something does syllogize Dionysius and it does bottom does not hold then it does not syllogize Dionysius. sent13: if the maid is Ionic then the fact that the polymastigote is bottomed but it does not measure Horne is not right. sent14: if something does not syllogize Dionysius the fact that it is unfrozen and does not remonstrate vaulter does not hold. sent15: the zip does not remonstrate vaulter if that the maid is unfrozen and does not remonstrate vaulter is wrong. sent16: there exists nothing that is an herb and not an inevitable. sent17: if there is something such that that it is a kind of an herb and it is not an inevitable is not correct the fact that the baffle is not Ionic hold. sent18: the baffle is a kind of a bottomed if the maid syllogizes Dionysius.
sent11 -> int1: if that the geometrid is not a perjurer and is social does not hold it is unfrozen.; sent10 & sent9 -> int2: the fact that the geometrid is not a kind of a perjurer but it is not unsocial is incorrect.; int1 & int2 -> int3: the geometrid is unfrozen.; int3 & sent5 -> int4: the maid syllogizes Dionysius.; int4 & sent18 -> int5: the baffle bottoms.; sent1 -> int6: the baffle measures Horne if it bottoms.; int5 & int6 -> int7: the baffle measures Horne.; sent16 -> int8: the fact that the deletion is an herb and is not an inevitable is incorrect.; int8 -> int9: there exists something such that that it is a kind of an herb and it is not inevitable is incorrect.; int9 & sent17 -> int10: the fact that the baffle is not Ionic is not wrong.; int7 & int10 -> int11: the baffle measures Horne and is not Ionic.;
the polymastigote is a kind of a wheedler.
sent4 -> int12: the polymastigote is not unfrozen if it does not bottom.;
$hypothesis$ = the zip does remonstrate vaulter. ; $context$ = sent1: something does measure Horne if the fact that it does bottom is not false. sent2: the baffle is an herb and/or it is Ionic. sent3: the Assamese does not bottom if there is something such that it is indexical. sent4: something is frozen if it is not a bottomed. sent5: the maid syllogizes Dionysius if the geometrid is unfrozen. sent6: the fact that something does syllogize Dionysius and is a kind of a bottomed is wrong if it does not measure Horne. sent7: the deletion syllogizes Dionysius if the fact that it is both not unfrozen and an herb is not right. sent8: the maid is Ionic if the baffle is an herb. sent9: the geometrid is a wheedler. sent10: if the geometrid is a wheedler then that it is both not a perjurer and social is not right. sent11: if the fact that something is not a perjurer but it is social is incorrect then it is unfrozen. sent12: if the fact that something does syllogize Dionysius and it does bottom does not hold then it does not syllogize Dionysius. sent13: if the maid is Ionic then the fact that the polymastigote is bottomed but it does not measure Horne is not right. sent14: if something does not syllogize Dionysius the fact that it is unfrozen and does not remonstrate vaulter does not hold. sent15: the zip does not remonstrate vaulter if that the maid is unfrozen and does not remonstrate vaulter is wrong. sent16: there exists nothing that is an herb and not an inevitable. sent17: if there is something such that that it is a kind of an herb and it is not an inevitable is not correct the fact that the baffle is not Ionic hold. sent18: the baffle is a kind of a bottomed if the maid syllogizes Dionysius. ; $proof$ = 
sent11 -> int1: if that the geometrid is not a perjurer and is social does not hold it is unfrozen.; sent10 & sent9 -> int2: the fact that the geometrid is not a kind of a perjurer but it is not unsocial is incorrect.; int1 & int2 -> int3: the geometrid is unfrozen.; int3 & sent5 -> int4: the maid syllogizes Dionysius.; int4 & sent18 -> int5: the baffle bottoms.; sent1 -> int6: the baffle measures Horne if it bottoms.; int5 & int6 -> int7: the baffle measures Horne.; sent16 -> int8: the fact that the deletion is an herb and is not an inevitable is incorrect.; int8 -> int9: there exists something such that that it is a kind of an herb and it is not inevitable is incorrect.; int9 & sent17 -> int10: the fact that the baffle is not Ionic is not wrong.; int7 & int10 -> int11: the baffle measures Horne and is not Ionic.; __UNKNOWN__