the leotard is sound and/or it is not a kind of a selenium.
sent1: there exists something such that it is a network. sent2: if the uphill is not a raffle that that the recorder is a kind of a suicide and it is apiarian does not hold is right. sent3: the testcross is not a kind of a suicide and/or it is not apiarian. sent4: the pasta is a kind of apiarian thing that is a raffle. sent5: that the pasta is not a kind of a globe is true if something does network. sent6: if the hart's-tongue is a raffle the uphill does not raffle. sent7: the hart's-tongue does guarantee Mayan. sent8: if the copperware is not a selenium then the leotard is not unsound and/or it is not a selenium. sent9: the leotard is not unsound or it is a selenium or both if the copperware is not a selenium. sent10: that something is not unsound or is not a selenium or both is incorrect if it does not network. sent11: something is arundinaceous and it is a raffle if it is not a kind of a purpose. sent12: either the leotard is not unsound or it is a selenium or both. sent13: the hart's-tongue does not guarantee sufferer. sent14: if the hart's-tongue does guarantee Mayan but it does not guarantee sufferer then it is not a purpose. sent15: if the copperware is not a kind of a selenium then the leotard is unsound and/or not a selenium. sent16: if the pasta is a network then that the leotard is not unsound or it is not a kind of a selenium or both is false. sent17: if the testcross is not a kind of a suicide then the copperware is not a selenium. sent18: if there exists something such that the fact that it is a suicide that is apiarian is false then the copperware is not apiarian.
sent1 & sent5 -> int1: the pasta is not a globe.; sent4 -> int2: the pasta is apiarian.; int1 & int2 -> int3: the pasta is not a kind of a globe but it is apiarian.;
the fact that the leotard is not unsound and/or it is not a selenium is not true.
sent10 -> int4: the fact that the leotard is not unsound and/or is not a selenium does not hold if it is not a network.;
$hypothesis$ = the leotard is sound and/or it is not a kind of a selenium. ; $context$ = sent1: there exists something such that it is a network. sent2: if the uphill is not a raffle that that the recorder is a kind of a suicide and it is apiarian does not hold is right. sent3: the testcross is not a kind of a suicide and/or it is not apiarian. sent4: the pasta is a kind of apiarian thing that is a raffle. sent5: that the pasta is not a kind of a globe is true if something does network. sent6: if the hart's-tongue is a raffle the uphill does not raffle. sent7: the hart's-tongue does guarantee Mayan. sent8: if the copperware is not a selenium then the leotard is not unsound and/or it is not a selenium. sent9: the leotard is not unsound or it is a selenium or both if the copperware is not a selenium. sent10: that something is not unsound or is not a selenium or both is incorrect if it does not network. sent11: something is arundinaceous and it is a raffle if it is not a kind of a purpose. sent12: either the leotard is not unsound or it is a selenium or both. sent13: the hart's-tongue does not guarantee sufferer. sent14: if the hart's-tongue does guarantee Mayan but it does not guarantee sufferer then it is not a purpose. sent15: if the copperware is not a kind of a selenium then the leotard is unsound and/or not a selenium. sent16: if the pasta is a network then that the leotard is not unsound or it is not a kind of a selenium or both is false. sent17: if the testcross is not a kind of a suicide then the copperware is not a selenium. sent18: if there exists something such that the fact that it is a suicide that is apiarian is false then the copperware is not apiarian. ; $proof$ = 
sent1 & sent5 -> int1: the pasta is not a globe.; sent4 -> int2: the pasta is apiarian.; int1 & int2 -> int3: the pasta is not a kind of a globe but it is apiarian.; __UNKNOWN__