the stack does not refrain everlastingness.
sent1: if something circularizes bout it is not corpuscular. sent2: if either the anatotitan is a stoplight or it is uncreative or both then that the alkane is not a Anoectochilus hold. sent3: the stack does not refrain everlastingness if the fact that the coverall does not circularize competitiveness is not incorrect. sent4: if there exists something such that it is not corpuscular then the fact that the coverall is not a womanhood and does circularize competitiveness is not correct. sent5: there exists something such that it is corpuscular. sent6: if that the coverall does not circularize bout but it does circularize competitiveness is not correct then that the signer is not submissive is correct. sent7: if the coverall is submissive then the signer is not submissive. sent8: the stack does not circularize competitiveness if the fact that the coverall does not circularize bout and does refrain everlastingness is not true. sent9: the anatotitan is both a two-by-four and a stoplight. sent10: the stack is not decorous. sent11: if the alkane is corpuscular thing that does circularize competitiveness then the coverall is not corpuscular. sent12: the signer is not corpuscular if it does circularize bout. sent13: if something photostats bramble then it does circularize competitiveness. sent14: the signer is not an ideal. sent15: if that the alkane is non-summery is true it photostats bramble and does photostat carillonneur. sent16: the signer is not an ideal if it does refrain everlastingness or it does circularize bout or both. sent17: the stack does not refrain everlastingness if that the coverall is not a womanhood and does circularize competitiveness does not hold. sent18: the stack does refrain everlastingness and is an ideal if the signer is not submissive. sent19: the fact that the signer does not circularize competitiveness but it is a womanhood is not true if there exists something such that it is not submissive. sent20: something that circularizes bout and/or is submissive is not corpuscular. sent21: something circularizes bout and is not non-submissive if that it is not corpuscular is not false. sent22: if something is not a kind of a Anoectochilus it is corpuscular and is a kind of a womanhood. sent23: the stack is not a womanhood. sent24: the fact that the signer is both not ideal and submissive hold.
sent24 -> int1: the signer is submissive.; int1 -> int2: the signer circularizes bout and/or is submissive.; sent20 -> int3: the signer is not corpuscular if it does circularize bout and/or it is submissive.; int2 & int3 -> int4: the signer is not corpuscular.; int4 -> int5: there is something such that it is not corpuscular.; int5 & sent4 -> int6: that the coverall is not a womanhood but it does circularize competitiveness is not correct.; int6 & sent17 -> hypothesis;
the stack refrains everlastingness.
sent21 -> int7: the fact that the coverall does circularize bout and is submissive is not incorrect if that it is not corpuscular is true.; sent22 -> int8: the alkane is corpuscular and it is a womanhood if it is not a kind of a Anoectochilus.; sent9 -> int9: the anatotitan is a stoplight.; int9 -> int10: either the anatotitan is a stoplight or it is uncreative or both.; sent2 & int10 -> int11: the alkane is not a Anoectochilus.; int8 & int11 -> int12: the alkane is both corpuscular and a womanhood.; int12 -> int13: the alkane is corpuscular.; sent13 -> int14: if the fact that the alkane does photostat bramble is true then the fact that it circularizes competitiveness is not false.;
$hypothesis$ = the stack does not refrain everlastingness. ; $context$ = sent1: if something circularizes bout it is not corpuscular. sent2: if either the anatotitan is a stoplight or it is uncreative or both then that the alkane is not a Anoectochilus hold. sent3: the stack does not refrain everlastingness if the fact that the coverall does not circularize competitiveness is not incorrect. sent4: if there exists something such that it is not corpuscular then the fact that the coverall is not a womanhood and does circularize competitiveness is not correct. sent5: there exists something such that it is corpuscular. sent6: if that the coverall does not circularize bout but it does circularize competitiveness is not correct then that the signer is not submissive is correct. sent7: if the coverall is submissive then the signer is not submissive. sent8: the stack does not circularize competitiveness if the fact that the coverall does not circularize bout and does refrain everlastingness is not true. sent9: the anatotitan is both a two-by-four and a stoplight. sent10: the stack is not decorous. sent11: if the alkane is corpuscular thing that does circularize competitiveness then the coverall is not corpuscular. sent12: the signer is not corpuscular if it does circularize bout. sent13: if something photostats bramble then it does circularize competitiveness. sent14: the signer is not an ideal. sent15: if that the alkane is non-summery is true it photostats bramble and does photostat carillonneur. sent16: the signer is not an ideal if it does refrain everlastingness or it does circularize bout or both. sent17: the stack does not refrain everlastingness if that the coverall is not a womanhood and does circularize competitiveness does not hold. sent18: the stack does refrain everlastingness and is an ideal if the signer is not submissive. sent19: the fact that the signer does not circularize competitiveness but it is a womanhood is not true if there exists something such that it is not submissive. sent20: something that circularizes bout and/or is submissive is not corpuscular. sent21: something circularizes bout and is not non-submissive if that it is not corpuscular is not false. sent22: if something is not a kind of a Anoectochilus it is corpuscular and is a kind of a womanhood. sent23: the stack is not a womanhood. sent24: the fact that the signer is both not ideal and submissive hold. ; $proof$ = 
sent24 -> int1: the signer is submissive.; int1 -> int2: the signer circularizes bout and/or is submissive.; sent20 -> int3: the signer is not corpuscular if it does circularize bout and/or it is submissive.; int2 & int3 -> int4: the signer is not corpuscular.; int4 -> int5: there is something such that it is not corpuscular.; int5 & sent4 -> int6: that the coverall is not a womanhood but it does circularize competitiveness is not correct.; int6 & sent17 -> hypothesis; __PROVED__