the paleontologist is welcome.
sent1: if something is a Cyclophorus the fact that it is not a beneficiary and it is not renewable is not right. sent2: that the auriculare is not Anglophilic if that the mithramycin either is not a Cyclophorus or is not renewable or both is wrong is not wrong. sent3: if the fresco is a Lao then the peneplain is Anglophilic. sent4: if the alizarin is not renewable then the fact that the fact that either the mithramycin is not a kind of a Cyclophorus or it is not renewable or both is not wrong is not true. sent5: the fact that something is unwelcome but it is not Lao does not hold if it does not distinguish prurience. sent6: if that the paleontologist is not Aeolian and it does not wire Stoppard is not true it does not distinguish prurience. sent7: something is Anglophilic and distinguishes prurience if it does not wire Stoppard. sent8: the fact that the alizarin is not renewable is correct if that the paleontologist is non-streptococcal thing that wires boneset is false. sent9: that something is not a Lao and/or it is a Cyclophorus is wrong if it is not non-Anglophilic. sent10: if the fresco does distinguish prurience it is Lao. sent11: something is unwelcome if it is both not renewable and not a beneficiary. sent12: The fact that the prurience does distinguish fresco is not false. sent13: that the paleontologist is non-streptococcal thing that does wire boneset is wrong if it is beneficiary. sent14: the fact that the auriculare is Anglophilic if the peneplain is Anglophilic is not incorrect. sent15: if the fact that the mithramycin is non-Lao or is a Cyclophorus or both is not correct the alizarin is a kind of a Cyclophorus. sent16: if the alizarin is a Cyclophorus then the paleontologist is not renewable and it is not beneficiary. sent17: if the paleontologist is not a beneficiary then it is not unwelcome. sent18: if that something is both not beneficiary and not renewable is not right then it is not Anglophilic.
void -> assump1: Let's assume that the paleontologist is a beneficiary.; sent13 & assump1 -> int1: that the paleontologist is not streptococcal and wires boneset does not hold.; int1 & sent8 -> int2: that the alizarin is unrenewable is right.; int2 & sent4 -> int3: that the mithramycin is not a Cyclophorus and/or it is not renewable is not right.; int3 & sent2 -> int4: the auriculare is not Anglophilic.;
the paleontologist is unwelcome.
sent11 -> int5: the paleontologist is unwelcome if it is both unrenewable and non-beneficiary.; sent9 -> int6: if the mithramycin is Anglophilic then the fact that it is not a kind of a Lao and/or it is a Cyclophorus does not hold.; sent7 -> int7: the mithramycin is Anglophilic and it distinguishes prurience if it does not wire Stoppard.;
$hypothesis$ = the paleontologist is welcome. ; $context$ = sent1: if something is a Cyclophorus the fact that it is not a beneficiary and it is not renewable is not right. sent2: that the auriculare is not Anglophilic if that the mithramycin either is not a Cyclophorus or is not renewable or both is wrong is not wrong. sent3: if the fresco is a Lao then the peneplain is Anglophilic. sent4: if the alizarin is not renewable then the fact that the fact that either the mithramycin is not a kind of a Cyclophorus or it is not renewable or both is not wrong is not true. sent5: the fact that something is unwelcome but it is not Lao does not hold if it does not distinguish prurience. sent6: if that the paleontologist is not Aeolian and it does not wire Stoppard is not true it does not distinguish prurience. sent7: something is Anglophilic and distinguishes prurience if it does not wire Stoppard. sent8: the fact that the alizarin is not renewable is correct if that the paleontologist is non-streptococcal thing that wires boneset is false. sent9: that something is not a Lao and/or it is a Cyclophorus is wrong if it is not non-Anglophilic. sent10: if the fresco does distinguish prurience it is Lao. sent11: something is unwelcome if it is both not renewable and not a beneficiary. sent12: The fact that the prurience does distinguish fresco is not false. sent13: that the paleontologist is non-streptococcal thing that does wire boneset is wrong if it is beneficiary. sent14: the fact that the auriculare is Anglophilic if the peneplain is Anglophilic is not incorrect. sent15: if the fact that the mithramycin is non-Lao or is a Cyclophorus or both is not correct the alizarin is a kind of a Cyclophorus. sent16: if the alizarin is a Cyclophorus then the paleontologist is not renewable and it is not beneficiary. sent17: if the paleontologist is not a beneficiary then it is not unwelcome. sent18: if that something is both not beneficiary and not renewable is not right then it is not Anglophilic. ; $proof$ = 
void -> assump1: Let's assume that the paleontologist is a beneficiary.; sent13 & assump1 -> int1: that the paleontologist is not streptococcal and wires boneset does not hold.; int1 & sent8 -> int2: that the alizarin is unrenewable is right.; int2 & sent4 -> int3: that the mithramycin is not a Cyclophorus and/or it is not renewable is not right.; int3 & sent2 -> int4: the auriculare is not Anglophilic.; __UNKNOWN__