the tarsus is not a kind of a shorts.
sent1: if the Viola is a housewifery the tarsus is not a shorts. sent2: the Viola is not enthusiastic if the peacoat is a housewifery. sent3: if there exists something such that that it is not subhuman and is a Aristotelian is not correct the stinger is not Aristotelian. sent4: there exists something such that it is not scalable. sent5: if the attester is both not a Salomon and not unable the peacoat is unable. sent6: the vanadate is not a kind of a Aristotelian. sent7: the vanadate is not Aristotelian and is not scalable. sent8: something is not a shorts. sent9: if that the peacoat is not enthusiastic and not a purl is not correct the attester does sight. sent10: the attester is non-Aristotelian. sent11: if something that is not a Aristotelian is not scalable then the attester is not a sight. sent12: the attester is not a Salomon and not unable if it does not clone attester. sent13: if something that is not scalable is not a sight then the attester is not a purl. sent14: something is electromagnetic a shorts if it is not a kind of a sight. sent15: the fact that something is not subhuman but a Aristotelian does not hold if it is unable. sent16: that the peacoat is not enthusiastic but a purl does not hold if the stinger is not electromagnetic. sent17: that that the peacoat is not enthusiastic but it is a kind of a purl does not hold is true. sent18: the fact that the peacoat is enthusiastic but it does not purl is not correct. sent19: there exists something such that it is not a Aristotelian and it is scalable. sent20: the Viola is a housewifery if that the stinger is electromagnetic hold. sent21: there are Aristotelian and non-scalable things. sent22: if something is not a kind of a Aristotelian then the fact that it is both not a housewifery and not scalable is wrong. sent23: the attester does not clone attester. sent24: that the peacoat is not enthusiastic and it is not a purl is false if the stinger is not electromagnetic.
void -> assump1: Let's assume that the stinger is not electromagnetic.; sent24 & assump1 -> int1: the fact that the peacoat is both unenthusiastic and not a purl is incorrect.; int1 & sent9 -> int2: the fact that the attester does sight hold.; sent7 -> int3: something is not Aristotelian and is not scalable.; int3 & sent11 -> int4: the attester is not a kind of a sight.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the stinger is electromagnetic.; int6 & sent20 -> int7: the Viola is a housewifery.; int7 & sent1 -> hypothesis;
the tarsus is a shorts.
sent14 -> int8: the tarsus is a kind of electromagnetic thing that is shorts if it is not a sight.; sent22 -> int9: the fact that the stinger is both not a housewifery and unscalable does not hold if it is not Aristotelian.; sent15 -> int10: the fact that the peacoat is not subhuman but it is a kind of a Aristotelian is not correct if it is unable.; sent12 & sent23 -> int11: the attester is not a Salomon and not unable.; sent5 & int11 -> int12: the peacoat is unable.; int10 & int12 -> int13: that the peacoat is not subhuman but it is a kind of a Aristotelian is not correct.; int13 -> int14: there is something such that that it is not subhuman and not non-Aristotelian is false.; int14 & sent3 -> int15: that the stinger is not Aristotelian is not false.; int9 & int15 -> int16: the fact that the stinger is not a housewifery and it is not scalable is not true.; int16 -> int17: there is something such that the fact that it is not a kind of a housewifery and is not scalable is not true.;
$hypothesis$ = the tarsus is not a kind of a shorts. ; $context$ = sent1: if the Viola is a housewifery the tarsus is not a shorts. sent2: the Viola is not enthusiastic if the peacoat is a housewifery. sent3: if there exists something such that that it is not subhuman and is a Aristotelian is not correct the stinger is not Aristotelian. sent4: there exists something such that it is not scalable. sent5: if the attester is both not a Salomon and not unable the peacoat is unable. sent6: the vanadate is not a kind of a Aristotelian. sent7: the vanadate is not Aristotelian and is not scalable. sent8: something is not a shorts. sent9: if that the peacoat is not enthusiastic and not a purl is not correct the attester does sight. sent10: the attester is non-Aristotelian. sent11: if something that is not a Aristotelian is not scalable then the attester is not a sight. sent12: the attester is not a Salomon and not unable if it does not clone attester. sent13: if something that is not scalable is not a sight then the attester is not a purl. sent14: something is electromagnetic a shorts if it is not a kind of a sight. sent15: the fact that something is not subhuman but a Aristotelian does not hold if it is unable. sent16: that the peacoat is not enthusiastic but a purl does not hold if the stinger is not electromagnetic. sent17: that that the peacoat is not enthusiastic but it is a kind of a purl does not hold is true. sent18: the fact that the peacoat is enthusiastic but it does not purl is not correct. sent19: there exists something such that it is not a Aristotelian and it is scalable. sent20: the Viola is a housewifery if that the stinger is electromagnetic hold. sent21: there are Aristotelian and non-scalable things. sent22: if something is not a kind of a Aristotelian then the fact that it is both not a housewifery and not scalable is wrong. sent23: the attester does not clone attester. sent24: that the peacoat is not enthusiastic and it is not a purl is false if the stinger is not electromagnetic. ; $proof$ = 
void -> assump1: Let's assume that the stinger is not electromagnetic.; sent24 & assump1 -> int1: the fact that the peacoat is both unenthusiastic and not a purl is incorrect.; int1 & sent9 -> int2: the fact that the attester does sight hold.; sent7 -> int3: something is not Aristotelian and is not scalable.; int3 & sent11 -> int4: the attester is not a kind of a sight.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the stinger is electromagnetic.; int6 & sent20 -> int7: the Viola is a housewifery.; int7 & sent1 -> hypothesis; __PROVED__