the sprinter does not claw workshop.
sent1: the cockloft is a rustic and/or is proverbial. sent2: the rorqual claws workshop. sent3: either the cockloft is a leader or it is a rustic or both if the frivolity is not proverbial. sent4: the rorqual is not Dalmatian. sent5: that the rorqual is extracellular is not false. sent6: something is not proverbial if it is not Orphic. sent7: the sprinter is not magnetic. sent8: the frivolity is magnetic. sent9: the rorqual does not penetrate if the cockloft is a rustic. sent10: the cockloft either is a leader or penetrates or both. sent11: the rorqual does corrode armament and is a leader. sent12: if the sprinter is defervescent and it does claw workshop then the frivolity is not Orphic. sent13: that if the frivolity penetrates then that the rorqual is not proverbial is correct is true. sent14: the rorqual does penetrate and corrodes armament. sent15: the sprinter is a windsock. sent16: the rorqual does not penetrate if the cockloft is a leader or a rustic or both. sent17: the sprinter does claw workshop if the frivolity claw workshop. sent18: the rorqual is not Orphic.
void -> assump1: Let's assume that the sprinter does claw workshop.; sent6 -> int1: if the frivolity is not Orphic it is not proverbial.; sent14 -> int2: the rorqual penetrates.;
the sprinter claws workshop.
$hypothesis$ = the sprinter does not claw workshop. ; $context$ = sent1: the cockloft is a rustic and/or is proverbial. sent2: the rorqual claws workshop. sent3: either the cockloft is a leader or it is a rustic or both if the frivolity is not proverbial. sent4: the rorqual is not Dalmatian. sent5: that the rorqual is extracellular is not false. sent6: something is not proverbial if it is not Orphic. sent7: the sprinter is not magnetic. sent8: the frivolity is magnetic. sent9: the rorqual does not penetrate if the cockloft is a rustic. sent10: the cockloft either is a leader or penetrates or both. sent11: the rorqual does corrode armament and is a leader. sent12: if the sprinter is defervescent and it does claw workshop then the frivolity is not Orphic. sent13: that if the frivolity penetrates then that the rorqual is not proverbial is correct is true. sent14: the rorqual does penetrate and corrodes armament. sent15: the sprinter is a windsock. sent16: the rorqual does not penetrate if the cockloft is a leader or a rustic or both. sent17: the sprinter does claw workshop if the frivolity claw workshop. sent18: the rorqual is not Orphic. ; $proof$ = 
void -> assump1: Let's assume that the sprinter does claw workshop.; sent6 -> int1: if the frivolity is not Orphic it is not proverbial.; sent14 -> int2: the rorqual penetrates.; __UNKNOWN__