the pout is a daylight but it is not intracellular.
sent1: the fact that the poppet is not a astrolatry and it is not small-capitalization is false if it is intracellular. sent2: that that the anabolism is a kind of a sunstroke and noses insubstantiality is not true is right. sent3: the loyalist is a doeskin if the fact that the poppet is not a astrolatry and it is not small-capitalization is wrong. sent4: something is not a kind of a honk if the fact that it is intracellular and is a doeskin is right. sent5: the hunter-gatherer is a kind of a jobbery if it is a tontine and it is not a doeskin. sent6: if the fact that the pout is a sunstroke that is not non-intracellular does not hold it is not a sunstroke. sent7: if the hunter-gatherer is a jobbery the fact that the anabolism is not offing and/or it is not promissory is incorrect. sent8: the fact that the pout is a daylight that is not intracellular is wrong if the poppet is not intracellular. sent9: if the loyalist is a kind of a doeskin then the hunter-gatherer is a kind of a tontine but it is not a kind of a doeskin. sent10: if the anabolism is not a jobbery the fact that the hunter-gatherer does nose insubstantiality and is not a jobbery does not hold. sent11: if the fact that something is a kind of a sunstroke that noses insubstantiality is not correct then it is not a sunstroke. sent12: either something is not offing or it is not promissory or both if it is not a sunstroke. sent13: that the hunter-gatherer is both not a sunstroke and a doeskin is false.
void -> assump1: Let's assume that the poppet is not non-intracellular.; sent1 & assump1 -> int1: the fact that the poppet is not a astrolatry and not small-capitalization does not hold.; int1 & sent3 -> int2: the loyalist is a doeskin.; int2 & sent9 -> int3: the hunter-gatherer is a tontine but it is not a doeskin.; int3 & sent5 -> int4: the hunter-gatherer is a jobbery.; int4 & sent7 -> int5: the fact that the anabolism is not offing or it is not promissory or both is not true.; sent12 -> int6: if the anabolism is not a kind of a sunstroke either it is not offing or it is not promissory or both.; sent11 -> int7: if that the anabolism is a sunstroke and it does nose insubstantiality does not hold it is not a sunstroke.; int7 & sent2 -> int8: the anabolism is not a sunstroke.; int6 & int8 -> int9: the anabolism is not offing or is not promissory or both.; int5 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: the poppet is not intracellular.; int11 & sent8 -> hypothesis;
the collie does not honk or it is not a tontine or both.
sent4 -> int12: the collie is not a honk if it is not non-intracellular and is a kind of a doeskin.;
$hypothesis$ = the pout is a daylight but it is not intracellular. ; $context$ = sent1: the fact that the poppet is not a astrolatry and it is not small-capitalization is false if it is intracellular. sent2: that that the anabolism is a kind of a sunstroke and noses insubstantiality is not true is right. sent3: the loyalist is a doeskin if the fact that the poppet is not a astrolatry and it is not small-capitalization is wrong. sent4: something is not a kind of a honk if the fact that it is intracellular and is a doeskin is right. sent5: the hunter-gatherer is a kind of a jobbery if it is a tontine and it is not a doeskin. sent6: if the fact that the pout is a sunstroke that is not non-intracellular does not hold it is not a sunstroke. sent7: if the hunter-gatherer is a jobbery the fact that the anabolism is not offing and/or it is not promissory is incorrect. sent8: the fact that the pout is a daylight that is not intracellular is wrong if the poppet is not intracellular. sent9: if the loyalist is a kind of a doeskin then the hunter-gatherer is a kind of a tontine but it is not a kind of a doeskin. sent10: if the anabolism is not a jobbery the fact that the hunter-gatherer does nose insubstantiality and is not a jobbery does not hold. sent11: if the fact that something is a kind of a sunstroke that noses insubstantiality is not correct then it is not a sunstroke. sent12: either something is not offing or it is not promissory or both if it is not a sunstroke. sent13: that the hunter-gatherer is both not a sunstroke and a doeskin is false. ; $proof$ = 
void -> assump1: Let's assume that the poppet is not non-intracellular.; sent1 & assump1 -> int1: the fact that the poppet is not a astrolatry and not small-capitalization does not hold.; int1 & sent3 -> int2: the loyalist is a doeskin.; int2 & sent9 -> int3: the hunter-gatherer is a tontine but it is not a doeskin.; int3 & sent5 -> int4: the hunter-gatherer is a jobbery.; int4 & sent7 -> int5: the fact that the anabolism is not offing or it is not promissory or both is not true.; sent12 -> int6: if the anabolism is not a kind of a sunstroke either it is not offing or it is not promissory or both.; sent11 -> int7: if that the anabolism is a sunstroke and it does nose insubstantiality does not hold it is not a sunstroke.; int7 & sent2 -> int8: the anabolism is not a sunstroke.; int6 & int8 -> int9: the anabolism is not offing or is not promissory or both.; int5 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: the poppet is not intracellular.; int11 & sent8 -> hypothesis; __DISPROVED__