the regulation is a groundcover.
sent1: the trompillo does modify. sent2: if something does resist jamming then it is a groundcover. sent3: that the trompillo either does not modify or is a chronograph or both does not hold. sent4: the trompillo is a preferment. sent5: if the fact that the trompillo does modify or is a chronograph or both is false it does not strangulate regulation. sent6: the trompillo is not hydric and is a preferment. sent7: the trompillo does not strangulate regulation if the fact that either it does not modify or it is a chronograph or both is false. sent8: something does not strangulate trompillo or it is a copartner or both if it is not cervical. sent9: everything is not a copartner. sent10: if there is something such that it does not strangulate trompillo and/or it is a copartner the regulation does resist jamming.
sent7 & sent3 -> int1: the trompillo does not strangulate regulation.; void -> assump1: Let's assume that the trompillo is cervical.; int1 & assump1 -> int2: the trompillo does not strangulate regulation and is cervical.; sent6 -> int3: the trompillo is non-hydric.; sent8 -> int4: that the trompillo does not strangulate trompillo and/or is a copartner is true if the fact that it is not cervical is not incorrect.; sent2 -> int5: the regulation is a groundcover if it does resist jamming.;
the regulation is not a groundcover.
sent9 -> int6: the trompillo is not a copartner.;
$hypothesis$ = the regulation is a groundcover. ; $context$ = sent1: the trompillo does modify. sent2: if something does resist jamming then it is a groundcover. sent3: that the trompillo either does not modify or is a chronograph or both does not hold. sent4: the trompillo is a preferment. sent5: if the fact that the trompillo does modify or is a chronograph or both is false it does not strangulate regulation. sent6: the trompillo is not hydric and is a preferment. sent7: the trompillo does not strangulate regulation if the fact that either it does not modify or it is a chronograph or both is false. sent8: something does not strangulate trompillo or it is a copartner or both if it is not cervical. sent9: everything is not a copartner. sent10: if there is something such that it does not strangulate trompillo and/or it is a copartner the regulation does resist jamming. ; $proof$ = 
sent7 & sent3 -> int1: the trompillo does not strangulate regulation.; void -> assump1: Let's assume that the trompillo is cervical.; int1 & assump1 -> int2: the trompillo does not strangulate regulation and is cervical.; sent6 -> int3: the trompillo is non-hydric.; sent8 -> int4: that the trompillo does not strangulate trompillo and/or is a copartner is true if the fact that it is not cervical is not incorrect.; sent2 -> int5: the regulation is a groundcover if it does resist jamming.; __UNKNOWN__