the lysin is not adventitial.
sent1: if something that does not suborn headman does fetter Asilidae then it is not a steradian. sent2: the fact that something is not a warmth or it is not light-duty or both is incorrect if it is not a giardia. sent3: something is not adventitial if the fact that it is a kind of a dissolve that stales is not right. sent4: if there exists something such that it is non-stale that the lysin is a kind of a dissolve that does non-stale is not true. sent5: if the fact that something is not a kind of a dedication and does not lob malversation is not correct it is not a giardia. sent6: that the niacin is not a dedication and it does not lob malversation does not hold. sent7: something does not lob Megadermatidae if the fact that that it is not a warmth and/or is non-light-duty is right is wrong. sent8: the mercury is not adventitial. sent9: if the fact that something emanates but it does not constellate is incorrect it is adventitial. sent10: there exists something such that it does not ban abundance. sent11: the seesaw is an embarrassment if the fact that the fact that the cumin is not a kind of an embarrassment and does suborn endearment is not true is not wrong. sent12: if that something does paper and it is not non-arenicolous is not true it is not a Parthia. sent13: the allegorizer does not suborn headman but it does fetter Asilidae if the seesaw is an embarrassment. sent14: something disembarks if the fact that it is not a kind of a steradian is true. sent15: if the niacin does not lob Megadermatidae the fact that that the cumin is not a kind of an embarrassment but it suborns endearment hold is incorrect.
sent3 -> int1: if that the lysin is a dissolve and does stale is wrong then it is not adventitial.;
the lysin is adventitial.
sent9 -> int2: if that the lysin does emanate and does not constellate does not hold then it is adventitial.; sent14 -> int3: if the allegorizer is not a kind of a steradian then it disembarks.; sent1 -> int4: if the allegorizer does not suborn headman and fetters Asilidae that it is not a kind of a steradian is true.; sent7 -> int5: if that the niacin is either not a warmth or not light-duty or both is incorrect it does not lob Megadermatidae.; sent2 -> int6: if the niacin is not a giardia the fact that it is not a warmth or not light-duty or both does not hold.; sent5 -> int7: if that the niacin is not a kind of a dedication and does not lob malversation is false then it is not a kind of a giardia.; int7 & sent6 -> int8: the niacin is not a kind of a giardia.; int6 & int8 -> int9: that the niacin is not a warmth or it is not light-duty or both is not correct.; int5 & int9 -> int10: the niacin does not lob Megadermatidae.; sent15 & int10 -> int11: the fact that the cumin is not an embarrassment and suborns endearment is incorrect.; sent11 & int11 -> int12: the seesaw is an embarrassment.; sent13 & int12 -> int13: the allegorizer does not suborn headman but it does fetter Asilidae.; int4 & int13 -> int14: the allegorizer is not a steradian.; int3 & int14 -> int15: the allegorizer does disembark.; int15 -> int16: there exists something such that it disembarks.;
$hypothesis$ = the lysin is not adventitial. ; $context$ = sent1: if something that does not suborn headman does fetter Asilidae then it is not a steradian. sent2: the fact that something is not a warmth or it is not light-duty or both is incorrect if it is not a giardia. sent3: something is not adventitial if the fact that it is a kind of a dissolve that stales is not right. sent4: if there exists something such that it is non-stale that the lysin is a kind of a dissolve that does non-stale is not true. sent5: if the fact that something is not a kind of a dedication and does not lob malversation is not correct it is not a giardia. sent6: that the niacin is not a dedication and it does not lob malversation does not hold. sent7: something does not lob Megadermatidae if the fact that that it is not a warmth and/or is non-light-duty is right is wrong. sent8: the mercury is not adventitial. sent9: if the fact that something emanates but it does not constellate is incorrect it is adventitial. sent10: there exists something such that it does not ban abundance. sent11: the seesaw is an embarrassment if the fact that the fact that the cumin is not a kind of an embarrassment and does suborn endearment is not true is not wrong. sent12: if that something does paper and it is not non-arenicolous is not true it is not a Parthia. sent13: the allegorizer does not suborn headman but it does fetter Asilidae if the seesaw is an embarrassment. sent14: something disembarks if the fact that it is not a kind of a steradian is true. sent15: if the niacin does not lob Megadermatidae the fact that that the cumin is not a kind of an embarrassment but it suborns endearment hold is incorrect. ; $proof$ = 
sent3 -> int1: if that the lysin is a dissolve and does stale is wrong then it is not adventitial.; __UNKNOWN__