the notary is not a kind of a Cacajao.
sent1: the notary moistens. sent2: an able thing is a kind of a meadowlark that is a Cacajao. sent3: the prod is a Cacajao. sent4: the notary is both a meadowlark and unable. sent5: if the notary is a shekel and integrates rectangularity then it does not mystify crested. sent6: if the notary does integrate fare-stage it is an agglomerate. sent7: the notary does acquaint. sent8: if something is either not a loophole or not unable or both then the cyst is not unable. sent9: something is a kind of a loophole if the fact that it is not a loophole and not incommensurate is incorrect. sent10: the snuff is a meadowlark. sent11: if the purification is anamnestic it is not nonlinguistic. sent12: The crested does mystify notary. sent13: the purification is anamnestic. sent14: the notary is a meadowlark. sent15: the gallbladder does mystify crested and integrates cylinder if something is a kind of a loophole. sent16: something does mystify biteplate if the fact that it does mystify Metternich is not false. sent17: if there is something such that that it is not unable is correct then the notary is not unable and/or it is not an agglomerate. sent18: if the gallbladder does mystify crested and does integrate cylinder then the midwife does not mystify crested. sent19: something does agglomerate if it is unable. sent20: if the midwife does mystify crested it is not a loophole and/or it is able. sent21: if the purification is not nonlinguistic the Mansi does mystify Metternich and it is a Colette. sent22: that the notary does not mystify crested if the notary is a kind of a Cacajao and it agglomerates hold. sent23: that something is not a kind of a loophole and is not incommensurate is wrong if it does mystify biteplate. sent24: if the fact that the cyst is unable and it agglomerates does not hold then that the notary is not unable hold.
sent4 -> int1: the notary is unable.; sent19 -> int2: the notary agglomerates if it is unable.; int1 & int2 -> int3: the notary is an agglomerate.; void -> assump1: Let's assume that the notary is a Cacajao.; int3 & assump1 -> int4: the notary is a Cacajao and does agglomerate.; int4 & sent22 -> int5: the notary does not mystify crested.;
the notary is a Cacajao.
sent2 -> int6: if the notary is not unable it is a meadowlark and a Cacajao.; sent9 -> int7: the Mansi is a kind of a loophole if the fact that it is both not a loophole and not incommensurate is not true.; sent23 -> int8: if the Mansi mystifies biteplate then the fact that it is not a loophole and not incommensurate is not right.; sent16 -> int9: the Mansi does mystify biteplate if it mystifies Metternich.; sent11 & sent13 -> int10: the purification is not nonlinguistic.; sent21 & int10 -> int11: the Mansi does mystify Metternich and it is a Colette.; int11 -> int12: the Mansi does mystify Metternich.; int9 & int12 -> int13: the Mansi does mystify biteplate.; int8 & int13 -> int14: that the Mansi is not a kind of a loophole and it is not incommensurate is wrong.; int7 & int14 -> int15: the Mansi is a kind of a loophole.; int15 -> int16: there is something such that it is a loophole.; int16 & sent15 -> int17: the gallbladder mystifies crested and it integrates cylinder.; sent18 & int17 -> int18: the midwife does not mystify crested.; int18 -> int19: something does not mystify crested.;
$hypothesis$ = the notary is not a kind of a Cacajao. ; $context$ = sent1: the notary moistens. sent2: an able thing is a kind of a meadowlark that is a Cacajao. sent3: the prod is a Cacajao. sent4: the notary is both a meadowlark and unable. sent5: if the notary is a shekel and integrates rectangularity then it does not mystify crested. sent6: if the notary does integrate fare-stage it is an agglomerate. sent7: the notary does acquaint. sent8: if something is either not a loophole or not unable or both then the cyst is not unable. sent9: something is a kind of a loophole if the fact that it is not a loophole and not incommensurate is incorrect. sent10: the snuff is a meadowlark. sent11: if the purification is anamnestic it is not nonlinguistic. sent12: The crested does mystify notary. sent13: the purification is anamnestic. sent14: the notary is a meadowlark. sent15: the gallbladder does mystify crested and integrates cylinder if something is a kind of a loophole. sent16: something does mystify biteplate if the fact that it does mystify Metternich is not false. sent17: if there is something such that that it is not unable is correct then the notary is not unable and/or it is not an agglomerate. sent18: if the gallbladder does mystify crested and does integrate cylinder then the midwife does not mystify crested. sent19: something does agglomerate if it is unable. sent20: if the midwife does mystify crested it is not a loophole and/or it is able. sent21: if the purification is not nonlinguistic the Mansi does mystify Metternich and it is a Colette. sent22: that the notary does not mystify crested if the notary is a kind of a Cacajao and it agglomerates hold. sent23: that something is not a kind of a loophole and is not incommensurate is wrong if it does mystify biteplate. sent24: if the fact that the cyst is unable and it agglomerates does not hold then that the notary is not unable hold. ; $proof$ = 
sent4 -> int1: the notary is unable.; sent19 -> int2: the notary agglomerates if it is unable.; int1 & int2 -> int3: the notary is an agglomerate.; void -> assump1: Let's assume that the notary is a Cacajao.; int3 & assump1 -> int4: the notary is a Cacajao and does agglomerate.; int4 & sent22 -> int5: the notary does not mystify crested.; __UNKNOWN__