the nephelinite is a ELISA.
sent1: if the nephelinite is sugarless then it is a kind of a ELISA. sent2: that that the anachronism is both not a cyme and parotid does not hold hold. sent3: the fact that the virgin is a kind of parietal thing that is a turmeric is not correct. sent4: if that the anachronism is a ELISA and it stinks does not hold it is not a ELISA. sent5: the virgin is a ELISA. sent6: that the virgin is parietal is correct if either it is tidal or it does not stink or both. sent7: if the anachronism stinks the virgin is tidal and/or does not stinks. sent8: the fact that the nephelinite is a kind of sugarless thing that stinks is incorrect. sent9: if the anachronism is not a cyme but it is parotid the nephelinite is sugarless. sent10: that that the anachronism is a kind of a cyme that is not parotid is not false is wrong. sent11: the virgin is a kind of a roadster. sent12: the virgin is not tidal and it is not palatial. sent13: the nephelinite is sugarless if the anachronism is not a kind of a cyme and it is not parotid. sent14: something is sugarless if the fact that it is not a ELISA and not tidal is incorrect. sent15: the nephelinite is not a kind of a turmeric. sent16: the virgin does not blaspheme salol and it is not mutable. sent17: if the anachronism is a turmeric then it is parotid. sent18: the nephelinite is sugarless if the anachronism is a kind of a cyme but it is not parotid. sent19: that the virgin is parietal hold if it is tidal. sent20: something does stink if the fact that it is not a cyme and is not parotid is false.
sent20 -> int1: the anachronism stinks if the fact that it is not a cyme and is not parotid is not right.; void -> assump1: Let's assume that that the anachronism is not a cyme and it is not parotid is not true.; int1 & assump1 -> int2: the anachronism stinks.; int2 & sent7 -> int3: the virgin is tidal and/or does not stink.; int3 & sent6 -> int4: the virgin is parietal.;
$hypothesis$ = the nephelinite is a ELISA. ; $context$ = sent1: if the nephelinite is sugarless then it is a kind of a ELISA. sent2: that that the anachronism is both not a cyme and parotid does not hold hold. sent3: the fact that the virgin is a kind of parietal thing that is a turmeric is not correct. sent4: if that the anachronism is a ELISA and it stinks does not hold it is not a ELISA. sent5: the virgin is a ELISA. sent6: that the virgin is parietal is correct if either it is tidal or it does not stink or both. sent7: if the anachronism stinks the virgin is tidal and/or does not stinks. sent8: the fact that the nephelinite is a kind of sugarless thing that stinks is incorrect. sent9: if the anachronism is not a cyme but it is parotid the nephelinite is sugarless. sent10: that that the anachronism is a kind of a cyme that is not parotid is not false is wrong. sent11: the virgin is a kind of a roadster. sent12: the virgin is not tidal and it is not palatial. sent13: the nephelinite is sugarless if the anachronism is not a kind of a cyme and it is not parotid. sent14: something is sugarless if the fact that it is not a ELISA and not tidal is incorrect. sent15: the nephelinite is not a kind of a turmeric. sent16: the virgin does not blaspheme salol and it is not mutable. sent17: if the anachronism is a turmeric then it is parotid. sent18: the nephelinite is sugarless if the anachronism is a kind of a cyme but it is not parotid. sent19: that the virgin is parietal hold if it is tidal. sent20: something does stink if the fact that it is not a cyme and is not parotid is false. ; $proof$ = 
sent20 -> int1: the anachronism stinks if the fact that it is not a cyme and is not parotid is not right.; void -> assump1: Let's assume that that the anachronism is not a cyme and it is not parotid is not true.; int1 & assump1 -> int2: the anachronism stinks.; int2 & sent7 -> int3: the virgin is tidal and/or does not stink.; int3 & sent6 -> int4: the virgin is parietal.; __UNKNOWN__