the cudgel is a Petromyzontidae.
sent1: if something is not abasic the pentose is not a rotor. sent2: there exists something such that either it is a spackle or it is a kind of a Petromyzontidae or both. sent3: the cudgel is a Petromyzontidae or it is a kind of a nucleolus or both. sent4: if there exists something such that it is not abasic then the glassmaker is not a nucleolus. sent5: the burqa is not a kind of a gas if the fact that it is deep-sea and is a kind of a recidivist does not hold. sent6: if the burqa is not a nucleolus the cudgel is not a Petromyzontidae. sent7: if the pentose is a kind of a spackle and/or it is not a nucleolus the cudgel is a spackle. sent8: the burqa is a rotor. sent9: the burqa is not a rotor if the pentose is not a nucleolus. sent10: the cudgel is a anthophyllite. sent11: the pentose is a kind of a rotor. sent12: the fact that the burqa is not a Petromyzontidae is true. sent13: there is something such that it is not a Petromyzontidae. sent14: the pentose is a Petromyzontidae. sent15: the burqa is not a nucleolus if it is a kind of a spackle. sent16: the pentose is a spackle and/or not a nucleolus if the burqa is not a gas. sent17: the fact that the burqa is a spackle is true if there exists something such that it is autolytic. sent18: the glassmaker is a pupil. sent19: something is a rotor if it is not autolytic and it is a spackle. sent20: the fact that if there exists something such that that it is not a rotor is right the pentose is not a spackle is right. sent21: there is something such that it is not atonal. sent22: there exists something such that it is not a kind of a spackle. sent23: if something is autolytic or it is abasic or both the burqa is a spackle. sent24: the cudgel is not autolytic.
void -> assump1: Let's assume that the glassmaker is not abasic.; assump1 -> int1: there is something such that it is not abasic.; int1 & sent1 -> int2: the pentose is not a rotor.; int2 & sent11 -> int3: this is contradiction.; [assump1] & int3 -> int4: the glassmaker is abasic.; int4 -> int5: the glassmaker is either autolytic or abasic or both.; int5 -> int6: there exists something such that it is autolytic and/or it is abasic.; int6 & sent23 -> int7: the fact that the burqa is a spackle is not wrong.; int7 & sent15 -> int8: the burqa is not a nucleolus.; int8 & sent6 -> hypothesis;
the cudgel is a kind of a Petromyzontidae.
sent19 -> int9: the cudgel is a rotor if it is not autolytic and it is a kind of a spackle.;
$hypothesis$ = the cudgel is a Petromyzontidae. ; $context$ = sent1: if something is not abasic the pentose is not a rotor. sent2: there exists something such that either it is a spackle or it is a kind of a Petromyzontidae or both. sent3: the cudgel is a Petromyzontidae or it is a kind of a nucleolus or both. sent4: if there exists something such that it is not abasic then the glassmaker is not a nucleolus. sent5: the burqa is not a kind of a gas if the fact that it is deep-sea and is a kind of a recidivist does not hold. sent6: if the burqa is not a nucleolus the cudgel is not a Petromyzontidae. sent7: if the pentose is a kind of a spackle and/or it is not a nucleolus the cudgel is a spackle. sent8: the burqa is a rotor. sent9: the burqa is not a rotor if the pentose is not a nucleolus. sent10: the cudgel is a anthophyllite. sent11: the pentose is a kind of a rotor. sent12: the fact that the burqa is not a Petromyzontidae is true. sent13: there is something such that it is not a Petromyzontidae. sent14: the pentose is a Petromyzontidae. sent15: the burqa is not a nucleolus if it is a kind of a spackle. sent16: the pentose is a spackle and/or not a nucleolus if the burqa is not a gas. sent17: the fact that the burqa is a spackle is true if there exists something such that it is autolytic. sent18: the glassmaker is a pupil. sent19: something is a rotor if it is not autolytic and it is a spackle. sent20: the fact that if there exists something such that that it is not a rotor is right the pentose is not a spackle is right. sent21: there is something such that it is not atonal. sent22: there exists something such that it is not a kind of a spackle. sent23: if something is autolytic or it is abasic or both the burqa is a spackle. sent24: the cudgel is not autolytic. ; $proof$ = 
void -> assump1: Let's assume that the glassmaker is not abasic.; assump1 -> int1: there is something such that it is not abasic.; int1 & sent1 -> int2: the pentose is not a rotor.; int2 & sent11 -> int3: this is contradiction.; [assump1] & int3 -> int4: the glassmaker is abasic.; int4 -> int5: the glassmaker is either autolytic or abasic or both.; int5 -> int6: there exists something such that it is autolytic and/or it is abasic.; int6 & sent23 -> int7: the fact that the burqa is a spackle is not wrong.; int7 & sent15 -> int8: the burqa is not a nucleolus.; int8 & sent6 -> hypothesis; __DISPROVED__