the neolith is not a kind of an egoism.
sent1: if something is a perianth and does not jet galvanism then it is not equivocal. sent2: something is a kind of an egoism if it does jet galvanism. sent3: if that the neolith is not hemorrhagic and/or does not jet galvanism does not hold it is an egoism. sent4: if the neolith does jet Benin either it is not a kind of a Trilby or it is a salute or both. sent5: if the numbat does unbrace and is not a Gomorrah it searches. sent6: the numbat does unbrace. sent7: if the numbat is equivocal it is not a chaplaincy or it is a perianth or both. sent8: if the fact that the numbat either does not board phycoerythrin or is not a chaplaincy or both is false then it unbraces. sent9: something is non-hemorrhagic or it is equivocal or both. sent10: the numbat does jet vower and/or it boards hallstand. sent11: the iron-tree does jet galvanism. sent12: the numbat does not jet galvanism. sent13: if the numbat does not jet galvanism then that it is not hemorrhagic or does not board rancidity or both is incorrect. sent14: the neolith is not a kind of an egoism if there exists something such that it is not a chaplaincy and/or it is a perianth. sent15: the numbat does board rancidity if it does not jet galvanism. sent16: the neolith is not an egoism if there exists something such that it does not board rancidity. sent17: The galvanism does not jet numbat. sent18: if that the neolith does not position or does not board hallstand or both does not hold then it is alive. sent19: if something does search then it either is a chaplaincy or is not an egoism or both. sent20: the numbat is equivocal if that it is not hemorrhagic or it does not board rancidity or both is not correct.
sent13 & sent12 -> int1: the fact that the numbat is not hemorrhagic and/or does not board rancidity is false.; int1 & sent20 -> int2: the numbat is equivocal.; int2 & sent7 -> int3: the numbat is not a chaplaincy and/or it is a perianth.; int3 -> int4: something is not a chaplaincy or it is a perianth or both.; int4 & sent14 -> hypothesis;
the prickle-weed is not equivocal.
sent1 -> int5: the prickle-weed is not equivocal if it is a perianth and it does not jet galvanism.; sent19 -> int6: if the numbat does search then it is a chaplaincy and/or is not an egoism.;
$hypothesis$ = the neolith is not a kind of an egoism. ; $context$ = sent1: if something is a perianth and does not jet galvanism then it is not equivocal. sent2: something is a kind of an egoism if it does jet galvanism. sent3: if that the neolith is not hemorrhagic and/or does not jet galvanism does not hold it is an egoism. sent4: if the neolith does jet Benin either it is not a kind of a Trilby or it is a salute or both. sent5: if the numbat does unbrace and is not a Gomorrah it searches. sent6: the numbat does unbrace. sent7: if the numbat is equivocal it is not a chaplaincy or it is a perianth or both. sent8: if the fact that the numbat either does not board phycoerythrin or is not a chaplaincy or both is false then it unbraces. sent9: something is non-hemorrhagic or it is equivocal or both. sent10: the numbat does jet vower and/or it boards hallstand. sent11: the iron-tree does jet galvanism. sent12: the numbat does not jet galvanism. sent13: if the numbat does not jet galvanism then that it is not hemorrhagic or does not board rancidity or both is incorrect. sent14: the neolith is not a kind of an egoism if there exists something such that it is not a chaplaincy and/or it is a perianth. sent15: the numbat does board rancidity if it does not jet galvanism. sent16: the neolith is not an egoism if there exists something such that it does not board rancidity. sent17: The galvanism does not jet numbat. sent18: if that the neolith does not position or does not board hallstand or both does not hold then it is alive. sent19: if something does search then it either is a chaplaincy or is not an egoism or both. sent20: the numbat is equivocal if that it is not hemorrhagic or it does not board rancidity or both is not correct. ; $proof$ = 
sent13 & sent12 -> int1: the fact that the numbat is not hemorrhagic and/or does not board rancidity is false.; int1 & sent20 -> int2: the numbat is equivocal.; int2 & sent7 -> int3: the numbat is not a chaplaincy and/or it is a perianth.; int3 -> int4: something is not a chaplaincy or it is a perianth or both.; int4 & sent14 -> hypothesis; __PROVED__