the marcel is not a polka.
sent1: the fact that something is not a kind of a polka if that it does not crucify tyrannid and is not a hypotensive does not hold is not incorrect. sent2: something does polka if it is a kind of a igniter. sent3: if something reddens Fennic then it is not a kind of a igniter and/or it is not Iranian. sent4: the cooter does not redden Fennic if something is not a kind of a hypotensive but it is a kind of a former. sent5: if something is not non-Iranian then that it is both not a canvasback and not a igniter is not true. sent6: if the fact that the caspase does not crucify tyrannid and does not angle flightiness is not correct that it does crucify tyrannid is not incorrect. sent7: the marcel is a Iranian and/or a canvasback if something does not redden Fennic. sent8: if that the cooter is not a kind of a igniter is not incorrect then the Diegueno is a Iranian. sent9: the caspase does crucify tyrannid. sent10: the marcel is not Iranian if something is a igniter but it is not a polka. sent11: that the marcel crucifies tyrannid but it is not a hypotensive is not correct. sent12: that the marcel is not Iranian hold if that it does not redden Fennic and it is not a kind of a polka is not true. sent13: if a sword is important then the cooter is not a igniter. sent14: there is something such that it is not unimportant. sent15: if something is a canvasback it reddens Fennic. sent16: the marcel is a igniter if that the cooter is both not a canvasback and not a igniter is wrong. sent17: if the marcel does crucify tyrannid then it does not polka. sent18: something does not get inviting if the fact that it does not angle ram and it is not a Kwangju is not correct. sent19: if something is Iranian then it is a canvasback. sent20: a polka is a former. sent21: if a sword is unimportant then the cooter is not a igniter. sent22: that the marcel crucifies tyrannid and is not a hypotensive is not true if the caspase is a former. sent23: if something crucifies tyrannid then it is not a polka. sent24: the fact that the marcel does not crucify tyrannid and it is not hypotensive is false if the caspase is a former. sent25: that the caspase does not crucify tyrannid and it does not angle flightiness is not correct. sent26: something is a sword and important. sent27: if the caspase does crucify tyrannid then the Diegueno is both not a hypotensive and not non-former.
sent26 & sent13 -> int1: the cooter is not a igniter.; int1 & sent8 -> int2: the Diegueno is Iranian.; sent19 -> int3: that the Diegueno is a canvasback is not false if it is a kind of a Iranian.; int2 & int3 -> int4: the Diegueno is a canvasback.; sent15 -> int5: the Diegueno does redden Fennic if it is a kind of a canvasback.; int4 & int5 -> int6: the Diegueno does redden Fennic.; sent1 -> int7: if that the marcel does not crucify tyrannid and it is not a kind of a hypotensive is not right then it is not a polka.;
the fact that the marcel polkas hold.
sent2 -> int8: if the fact that the marcel is a kind of a igniter is not wrong it is a kind of a polka.; sent27 & sent9 -> int9: the Diegueno is not a hypotensive but it is a former.; int9 -> int10: there is something such that it is not a hypotensive and it is a kind of a former.; int10 & sent4 -> int11: the cooter does not redden Fennic.; int11 -> int12: there is something such that it does not redden Fennic.; int12 & sent7 -> int13: the marcel is a Iranian and/or it is a kind of a canvasback.;
$hypothesis$ = the marcel is not a polka. ; $context$ = sent1: the fact that something is not a kind of a polka if that it does not crucify tyrannid and is not a hypotensive does not hold is not incorrect. sent2: something does polka if it is a kind of a igniter. sent3: if something reddens Fennic then it is not a kind of a igniter and/or it is not Iranian. sent4: the cooter does not redden Fennic if something is not a kind of a hypotensive but it is a kind of a former. sent5: if something is not non-Iranian then that it is both not a canvasback and not a igniter is not true. sent6: if the fact that the caspase does not crucify tyrannid and does not angle flightiness is not correct that it does crucify tyrannid is not incorrect. sent7: the marcel is a Iranian and/or a canvasback if something does not redden Fennic. sent8: if that the cooter is not a kind of a igniter is not incorrect then the Diegueno is a Iranian. sent9: the caspase does crucify tyrannid. sent10: the marcel is not Iranian if something is a igniter but it is not a polka. sent11: that the marcel crucifies tyrannid but it is not a hypotensive is not correct. sent12: that the marcel is not Iranian hold if that it does not redden Fennic and it is not a kind of a polka is not true. sent13: if a sword is important then the cooter is not a igniter. sent14: there is something such that it is not unimportant. sent15: if something is a canvasback it reddens Fennic. sent16: the marcel is a igniter if that the cooter is both not a canvasback and not a igniter is wrong. sent17: if the marcel does crucify tyrannid then it does not polka. sent18: something does not get inviting if the fact that it does not angle ram and it is not a Kwangju is not correct. sent19: if something is Iranian then it is a canvasback. sent20: a polka is a former. sent21: if a sword is unimportant then the cooter is not a igniter. sent22: that the marcel crucifies tyrannid and is not a hypotensive is not true if the caspase is a former. sent23: if something crucifies tyrannid then it is not a polka. sent24: the fact that the marcel does not crucify tyrannid and it is not hypotensive is false if the caspase is a former. sent25: that the caspase does not crucify tyrannid and it does not angle flightiness is not correct. sent26: something is a sword and important. sent27: if the caspase does crucify tyrannid then the Diegueno is both not a hypotensive and not non-former. ; $proof$ = 
sent26 & sent13 -> int1: the cooter is not a igniter.; int1 & sent8 -> int2: the Diegueno is Iranian.; sent19 -> int3: that the Diegueno is a canvasback is not false if it is a kind of a Iranian.; int2 & int3 -> int4: the Diegueno is a canvasback.; sent15 -> int5: the Diegueno does redden Fennic if it is a kind of a canvasback.; int4 & int5 -> int6: the Diegueno does redden Fennic.; sent1 -> int7: if that the marcel does not crucify tyrannid and it is not a kind of a hypotensive is not right then it is not a polka.; __UNKNOWN__