the trunk is not a kind of an artiodactyl.
sent1: something that does not sicken burst is non-artiodactyl a impetuousness. sent2: if the bier is not a kind of an artiodactyl but it sickens burst then the trunk is artiodactyl. sent3: the trunk is not classicistic. sent4: the fact that something is unchangeable a whistling does not hold if it is not a screwballer. sent5: the fact that the sugar-bush is not an artiodactyl hold. sent6: something is not a kind of a impetuousness and is Asian if it wallops. sent7: there are non-Asian things. sent8: the sugar-bush is not a impetuousness if that the trunk is an artiodactyl and it suborns sociolinguist is not true. sent9: if a non-artiodactyl thing is a impetuousness then it is not a kind of a blue. sent10: if the fact that something is a Asian but it is not Singhalese does not hold it is not a kind of a Asian. sent11: something is not Singhalese but it wallops if it is a Andricus. sent12: if the sugar-bush is not alternate the trunk is not artiodactyl. sent13: if the fact that the bier is not a kind of a psychedelia hold then it is a Andricus and it does gather bier. sent14: there is nothing such that it is a kind of a Asian and it is not Singhalese. sent15: something does sicken burst and is not a Asian. sent16: if that the trunk is an artiodactyl and it suborns sociolinguist is not right then the sugar-bush is not alternate. sent17: if something is not a impetuousness the fact that it does suborn sociolinguist and alternates is incorrect. sent18: if something does not sicken burst and is a Asian the sugar-bush is not a impetuousness. sent19: if the fact that the sugar-bush suborns sociolinguist and alternates is incorrect the trunk is not artiodactyl. sent20: if something is not a impetuousness it is not a kind of an artiodactyl and it sickens burst. sent21: if there exists something such that it does not sicken burst and is not a Asian the sugar-bush is not a impetuousness.
sent17 -> int1: if the sugar-bush is not a kind of a impetuousness that it suborns sociolinguist and does alternate is incorrect.;
the fact that the trunk is artiodactyl is not false.
sent20 -> int2: the bier is not artiodactyl but it sickens burst if it is not a impetuousness.; sent6 -> int3: if the bier is a wallop then it is not a impetuousness and is a kind of a Asian.; sent11 -> int4: if the bier is a kind of a Andricus it is both not Singhalese and a wallop.;
$hypothesis$ = the trunk is not a kind of an artiodactyl. ; $context$ = sent1: something that does not sicken burst is non-artiodactyl a impetuousness. sent2: if the bier is not a kind of an artiodactyl but it sickens burst then the trunk is artiodactyl. sent3: the trunk is not classicistic. sent4: the fact that something is unchangeable a whistling does not hold if it is not a screwballer. sent5: the fact that the sugar-bush is not an artiodactyl hold. sent6: something is not a kind of a impetuousness and is Asian if it wallops. sent7: there are non-Asian things. sent8: the sugar-bush is not a impetuousness if that the trunk is an artiodactyl and it suborns sociolinguist is not true. sent9: if a non-artiodactyl thing is a impetuousness then it is not a kind of a blue. sent10: if the fact that something is a Asian but it is not Singhalese does not hold it is not a kind of a Asian. sent11: something is not Singhalese but it wallops if it is a Andricus. sent12: if the sugar-bush is not alternate the trunk is not artiodactyl. sent13: if the fact that the bier is not a kind of a psychedelia hold then it is a Andricus and it does gather bier. sent14: there is nothing such that it is a kind of a Asian and it is not Singhalese. sent15: something does sicken burst and is not a Asian. sent16: if that the trunk is an artiodactyl and it suborns sociolinguist is not right then the sugar-bush is not alternate. sent17: if something is not a impetuousness the fact that it does suborn sociolinguist and alternates is incorrect. sent18: if something does not sicken burst and is a Asian the sugar-bush is not a impetuousness. sent19: if the fact that the sugar-bush suborns sociolinguist and alternates is incorrect the trunk is not artiodactyl. sent20: if something is not a impetuousness it is not a kind of an artiodactyl and it sickens burst. sent21: if there exists something such that it does not sicken burst and is not a Asian the sugar-bush is not a impetuousness. ; $proof$ = 
sent17 -> int1: if the sugar-bush is not a kind of a impetuousness that it suborns sociolinguist and does alternate is incorrect.; __UNKNOWN__