the poinsettia does not flock feist and is not a kind of a Monomorium.
sent1: the fact that the stinger is not Sinhala but it is an outgoing does not hold. sent2: if that either the hymnal is not an outgoing or it segregates paleogeography or both is not right it is a Monomorium. sent3: The paleogeography does segregate hymnal. sent4: if that the hymnal is not an outgoing is not incorrect then it does not segregate paleogeography. sent5: the stinger is not a kind of a Monomorium and is not an outgoing. sent6: if the hymnal is a kind of an outgoing the fact that the stinger is non-Sinhala thing that is not an outgoing does not hold. sent7: if the fact that the stinger is not Sinhala and it is not a kind of an outgoing is incorrect then the poinsettia does not flock feist. sent8: the poinsettia is not a Monomorium and is not a lymphadenopathy. sent9: if the stinger is an outgoing then the poinsettia does not flock feist. sent10: the poinsettia is not a kind of a lymphadenopathy. sent11: the hymnal does segregate paleogeography. sent12: the gripsack is both not an outgoing and not a kwashiorkor.
void -> assump1: Let's assume that the hymnal is not a kind of an outgoing.; sent4 & assump1 -> int1: the hymnal does not segregate paleogeography.; int1 & sent11 -> int2: this is contradiction.; [assump1] & int2 -> int3: the hymnal is a kind of an outgoing.; int3 & sent6 -> int4: the fact that the stinger is not Sinhala and it is not an outgoing is not true.; int4 & sent7 -> int5: the fact that the poinsettia does not flock feist is not incorrect.; sent8 -> int6: the poinsettia is not a kind of a Monomorium.; int5 & int6 -> hypothesis;
the gripsack is both not a kwashiorkor and not Sinhala.
sent12 -> int7: the gripsack is not a kwashiorkor.;
$hypothesis$ = the poinsettia does not flock feist and is not a kind of a Monomorium. ; $context$ = sent1: the fact that the stinger is not Sinhala but it is an outgoing does not hold. sent2: if that either the hymnal is not an outgoing or it segregates paleogeography or both is not right it is a Monomorium. sent3: The paleogeography does segregate hymnal. sent4: if that the hymnal is not an outgoing is not incorrect then it does not segregate paleogeography. sent5: the stinger is not a kind of a Monomorium and is not an outgoing. sent6: if the hymnal is a kind of an outgoing the fact that the stinger is non-Sinhala thing that is not an outgoing does not hold. sent7: if the fact that the stinger is not Sinhala and it is not a kind of an outgoing is incorrect then the poinsettia does not flock feist. sent8: the poinsettia is not a Monomorium and is not a lymphadenopathy. sent9: if the stinger is an outgoing then the poinsettia does not flock feist. sent10: the poinsettia is not a kind of a lymphadenopathy. sent11: the hymnal does segregate paleogeography. sent12: the gripsack is both not an outgoing and not a kwashiorkor. ; $proof$ = 
void -> assump1: Let's assume that the hymnal is not a kind of an outgoing.; sent4 & assump1 -> int1: the hymnal does not segregate paleogeography.; int1 & sent11 -> int2: this is contradiction.; [assump1] & int2 -> int3: the hymnal is a kind of an outgoing.; int3 & sent6 -> int4: the fact that the stinger is not Sinhala and it is not an outgoing is not true.; int4 & sent7 -> int5: the fact that the poinsettia does not flock feist is not incorrect.; sent8 -> int6: the poinsettia is not a kind of a Monomorium.; int5 & int6 -> hypothesis; __PROVED__