the wattmeter is not a autodidact.
sent1: the fetus either is boreal or is light-duty or both. sent2: the wattmeter is a autodidact if something that is not a Qum is associational. sent3: if something staggers chinaware and/or it is not a kind of an aerial then the limestone is not a kind of an aerial. sent4: if something is a Nativity it batches ISN and it is not floricultural. sent5: if the fact that the voider is a hooks but it is not a autodidact does not hold the chinaware is not a buddy. sent6: if either the voider hooks or it is not literary or both then it is a hooks. sent7: there is something such that that it is a kind of a Qum that is associational is not correct. sent8: if there is something such that that it is not a Qum and it is associational is not correct the voider does not hook. sent9: the tamarillo is not a autodidact. sent10: something staggers chinaware and/or is not an aerial. sent11: the punkie is a kind of a valetudinarian if the fetus is a valetudinarian. sent12: the voider is a hooks and/or it is not literary. sent13: there exists something such that the fact that it is both not literary and a hooks is not right. sent14: if something is a kind of a valetudinarian that is floricultural it is not literary. sent15: if the limestone is not an aerial and is a kind of a Nativity the convolvulus is a Nativity. sent16: the limestone is a kind of a Nativity. sent17: the punkie is floricultural if the convolvulus batches ISN but it is not floricultural. sent18: if something is light-duty it is a valetudinarian. sent19: if something is boreal it is valetudinarian. sent20: if something is not a Libra then the fact that it hooks and it is not a autodidact does not hold. sent21: if there is something such that it is not literary the voider is not a Libra.
void -> assump1: Let's assume that the fact that the horizon is not a Qum and is associational is not true.; assump1 -> int1: there exists something such that that it is not a kind of a Qum and is associational does not hold.; int1 & sent8 -> int2: the fact that the voider is not a hooks is right.; sent6 & sent12 -> int3: the voider hooks.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the horizon is both not a Qum and associational.; int5 -> int6: there exists something such that it is not a Qum and is associational.; int6 & sent2 -> hypothesis;
the chinaware is not a kind of a buddy.
sent20 -> int7: if the voider is not a Libra then that it is a hooks and is not a autodidact is not correct.;
$hypothesis$ = the wattmeter is not a autodidact. ; $context$ = sent1: the fetus either is boreal or is light-duty or both. sent2: the wattmeter is a autodidact if something that is not a Qum is associational. sent3: if something staggers chinaware and/or it is not a kind of an aerial then the limestone is not a kind of an aerial. sent4: if something is a Nativity it batches ISN and it is not floricultural. sent5: if the fact that the voider is a hooks but it is not a autodidact does not hold the chinaware is not a buddy. sent6: if either the voider hooks or it is not literary or both then it is a hooks. sent7: there is something such that that it is a kind of a Qum that is associational is not correct. sent8: if there is something such that that it is not a Qum and it is associational is not correct the voider does not hook. sent9: the tamarillo is not a autodidact. sent10: something staggers chinaware and/or is not an aerial. sent11: the punkie is a kind of a valetudinarian if the fetus is a valetudinarian. sent12: the voider is a hooks and/or it is not literary. sent13: there exists something such that the fact that it is both not literary and a hooks is not right. sent14: if something is a kind of a valetudinarian that is floricultural it is not literary. sent15: if the limestone is not an aerial and is a kind of a Nativity the convolvulus is a Nativity. sent16: the limestone is a kind of a Nativity. sent17: the punkie is floricultural if the convolvulus batches ISN but it is not floricultural. sent18: if something is light-duty it is a valetudinarian. sent19: if something is boreal it is valetudinarian. sent20: if something is not a Libra then the fact that it hooks and it is not a autodidact does not hold. sent21: if there is something such that it is not literary the voider is not a Libra. ; $proof$ = 
void -> assump1: Let's assume that the fact that the horizon is not a Qum and is associational is not true.; assump1 -> int1: there exists something such that that it is not a kind of a Qum and is associational does not hold.; int1 & sent8 -> int2: the fact that the voider is not a hooks is right.; sent6 & sent12 -> int3: the voider hooks.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the horizon is both not a Qum and associational.; int5 -> int6: there exists something such that it is not a Qum and is associational.; int6 & sent2 -> hypothesis; __DISPROVED__