the booker does not depopulate and is technophobic.
sent1: that the ironworks is a kind of a Neolentinus if the Telugu is a kind of a ammoniac hold. sent2: if the oosphere is Bogartian the dissenter is non-short but it is nonretractile. sent3: the oosphere is Bogartian. sent4: if the Telugu is not a kind of a ammoniac then it is not a short. sent5: that something is not technophobic hold if it is adrenal. sent6: if the Telugu is non-short then the fact that the dissenter is both non-short and not retractile is not correct. sent7: the fact that the booker does not depopulate and is technophobic is wrong if the ironworks is not technophobic. sent8: something is a kind of an adrenal if it is a kind of a Neolentinus.
void -> assump1: Let's assume that that the Telugu is not ammoniac is true.; sent4 & assump1 -> int1: the Telugu is not a short.; int1 & sent6 -> int2: the fact that the dissenter is not a short and is nonretractile is false.; sent2 & sent3 -> int3: the dissenter is not a kind of a short but it is nonretractile.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the Telugu is a ammoniac.; int5 & sent1 -> int6: the ironworks is a Neolentinus.; sent8 -> int7: if the ironworks is a kind of a Neolentinus it is a kind of an adrenal.; int6 & int7 -> int8: the ironworks is adrenal.; sent5 -> int9: if the ironworks is adrenal it is not technophobic.; int8 & int9 -> int10: the ironworks is not technophobic.; int10 & sent7 -> hypothesis;
$hypothesis$ = the booker does not depopulate and is technophobic. ; $context$ = sent1: that the ironworks is a kind of a Neolentinus if the Telugu is a kind of a ammoniac hold. sent2: if the oosphere is Bogartian the dissenter is non-short but it is nonretractile. sent3: the oosphere is Bogartian. sent4: if the Telugu is not a kind of a ammoniac then it is not a short. sent5: that something is not technophobic hold if it is adrenal. sent6: if the Telugu is non-short then the fact that the dissenter is both non-short and not retractile is not correct. sent7: the fact that the booker does not depopulate and is technophobic is wrong if the ironworks is not technophobic. sent8: something is a kind of an adrenal if it is a kind of a Neolentinus. ; $proof$ = 
void -> assump1: Let's assume that that the Telugu is not ammoniac is true.; sent4 & assump1 -> int1: the Telugu is not a short.; int1 & sent6 -> int2: the fact that the dissenter is not a short and is nonretractile is false.; sent2 & sent3 -> int3: the dissenter is not a kind of a short but it is nonretractile.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the Telugu is a ammoniac.; int5 & sent1 -> int6: the ironworks is a Neolentinus.; sent8 -> int7: if the ironworks is a kind of a Neolentinus it is a kind of an adrenal.; int6 & int7 -> int8: the ironworks is adrenal.; sent5 -> int9: if the ironworks is adrenal it is not technophobic.; int8 & int9 -> int10: the ironworks is not technophobic.; int10 & sent7 -> hypothesis; __DISPROVED__