the sennit is postglacial.
sent1: the colter is not a tenderization. sent2: that something is both postglacial and not a cross is not true if it is not non-operationalist. sent3: if the Parks does not fish gown then it is not a tenderization and not Ephesian. sent4: if the colter is postglacial the sennit is not a scallop and is postglacial. sent5: there is something such that it is not a kind of a paramedic. sent6: the sennit is not a Ephesian but a scallop if the colter is a scallop. sent7: if that the colter is not operationalist and/or it is Ephesian is not right it does scallop. sent8: the colter is operationalist if that it is not operationalist and is not a kind of a scallop is not correct. sent9: that the sennit scallops is not wrong if the colter does scallops. sent10: the Parks does not fish gown. sent11: there is something such that it does not cross. sent12: if something is both not a tenderization and not Ephesian then it is a scallop. sent13: if something is not a Ephesian but a scallop then the fact that it is postglacial is correct. sent14: if the colter is postglacial the sennit is not a tenderization but it is postglacial. sent15: the sennit is a scallop. sent16: something that is not a cross is not postglacial. sent17: something crosses. sent18: the fact that the colter is not operationalist and/or is a tenderization is not right if there exists something such that it is not a cross. sent19: if that something does not ensconce cilium and/or considers is not correct it is a picofarad. sent20: if there is something such that it is not a cross then the colter is not a tenderization. sent21: if that something is not operationalist and/or is a tenderization is not true it does scallop. sent22: if the fact that either the sennit is a scallop or it is a kind of a Ephesian or both is not correct then it is a tenderization.
sent11 & sent18 -> int1: the fact that the colter is not operationalist and/or it is a tenderization does not hold.; sent21 -> int2: the colter is a scallop if that the fact that it is not operationalist and/or it is a kind of a tenderization is not false is false.; int1 & int2 -> int3: the colter is a kind of a scallop.; int3 & sent6 -> int4: the sennit is both not Ephesian and a scallop.; sent13 -> int5: if the sennit is both not a Ephesian and a scallop it is postglacial.; int4 & int5 -> hypothesis;
the sennit is not postglacial.
sent16 -> int6: the sennit is not postglacial if it is not a kind of a cross.;
$hypothesis$ = the sennit is postglacial. ; $context$ = sent1: the colter is not a tenderization. sent2: that something is both postglacial and not a cross is not true if it is not non-operationalist. sent3: if the Parks does not fish gown then it is not a tenderization and not Ephesian. sent4: if the colter is postglacial the sennit is not a scallop and is postglacial. sent5: there is something such that it is not a kind of a paramedic. sent6: the sennit is not a Ephesian but a scallop if the colter is a scallop. sent7: if that the colter is not operationalist and/or it is Ephesian is not right it does scallop. sent8: the colter is operationalist if that it is not operationalist and is not a kind of a scallop is not correct. sent9: that the sennit scallops is not wrong if the colter does scallops. sent10: the Parks does not fish gown. sent11: there is something such that it does not cross. sent12: if something is both not a tenderization and not Ephesian then it is a scallop. sent13: if something is not a Ephesian but a scallop then the fact that it is postglacial is correct. sent14: if the colter is postglacial the sennit is not a tenderization but it is postglacial. sent15: the sennit is a scallop. sent16: something that is not a cross is not postglacial. sent17: something crosses. sent18: the fact that the colter is not operationalist and/or is a tenderization is not right if there exists something such that it is not a cross. sent19: if that something does not ensconce cilium and/or considers is not correct it is a picofarad. sent20: if there is something such that it is not a cross then the colter is not a tenderization. sent21: if that something is not operationalist and/or is a tenderization is not true it does scallop. sent22: if the fact that either the sennit is a scallop or it is a kind of a Ephesian or both is not correct then it is a tenderization. ; $proof$ = 
sent11 & sent18 -> int1: the fact that the colter is not operationalist and/or it is a tenderization does not hold.; sent21 -> int2: the colter is a scallop if that the fact that it is not operationalist and/or it is a kind of a tenderization is not false is false.; int1 & int2 -> int3: the colter is a kind of a scallop.; int3 & sent6 -> int4: the sennit is both not Ephesian and a scallop.; sent13 -> int5: if the sennit is both not a Ephesian and a scallop it is postglacial.; int4 & int5 -> hypothesis; __PROVED__