the hire does not entail seahorse.
sent1: if something does clout counterbalanced it does entail trill. sent2: if the gregarine does not skirt the sandpiper does not mediate. sent3: something is not unimpressionable if either it does entail seahorse or it is mediated or both. sent4: the mending does entail trill if the hire does not clout counterbalanced. sent5: if the dihybrid does not collar hire the hire entails trill. sent6: if that the hire is not weedy is not false then the dihybrid does not entail seahorse. sent7: if the hire is unimpressionable the dihybrid entails seahorse. sent8: the dihybrid does not clout counterbalanced. sent9: if either something entails trill or it collars hire or both then it does not entail seahorse. sent10: that the thallium does not entail trill is not incorrect. sent11: the hire does not clout counterbalanced. sent12: the gregarine does clout counterbalanced. sent13: if something is weedy it is unimpressionable. sent14: something that does collar hire does not entail seahorse. sent15: the mending does collar hire. sent16: if the mending clouts counterbalanced the hire does entail trill. sent17: the dihybrid is not unimpressionable. sent18: the dihybrid is weedy if the sandpiper is not mediated. sent19: the mending is not impervious. sent20: the hire does not entail seahorse if that it does collar hire is not false.
void -> assump1: Let's assume that the fact that the gregarine does not skirt is not incorrect.; sent2 & assump1 -> int1: that the sandpiper is not mediated is not wrong.; int1 & sent18 -> int2: the dihybrid is weedy.; sent13 -> int3: the dihybrid is unimpressionable if it is weedy.; int2 & int3 -> int4: the dihybrid is unimpressionable.; int4 & sent17 -> int5: this is contradiction.; [assump1] & int5 -> int6: the gregarine is a skirt.; sent9 -> int7: the hire does not entail seahorse if it entails trill and/or it collars hire.;
$hypothesis$ = the hire does not entail seahorse. ; $context$ = sent1: if something does clout counterbalanced it does entail trill. sent2: if the gregarine does not skirt the sandpiper does not mediate. sent3: something is not unimpressionable if either it does entail seahorse or it is mediated or both. sent4: the mending does entail trill if the hire does not clout counterbalanced. sent5: if the dihybrid does not collar hire the hire entails trill. sent6: if that the hire is not weedy is not false then the dihybrid does not entail seahorse. sent7: if the hire is unimpressionable the dihybrid entails seahorse. sent8: the dihybrid does not clout counterbalanced. sent9: if either something entails trill or it collars hire or both then it does not entail seahorse. sent10: that the thallium does not entail trill is not incorrect. sent11: the hire does not clout counterbalanced. sent12: the gregarine does clout counterbalanced. sent13: if something is weedy it is unimpressionable. sent14: something that does collar hire does not entail seahorse. sent15: the mending does collar hire. sent16: if the mending clouts counterbalanced the hire does entail trill. sent17: the dihybrid is not unimpressionable. sent18: the dihybrid is weedy if the sandpiper is not mediated. sent19: the mending is not impervious. sent20: the hire does not entail seahorse if that it does collar hire is not false. ; $proof$ = 
void -> assump1: Let's assume that the fact that the gregarine does not skirt is not incorrect.; sent2 & assump1 -> int1: that the sandpiper is not mediated is not wrong.; int1 & sent18 -> int2: the dihybrid is weedy.; sent13 -> int3: the dihybrid is unimpressionable if it is weedy.; int2 & int3 -> int4: the dihybrid is unimpressionable.; int4 & sent17 -> int5: this is contradiction.; [assump1] & int5 -> int6: the gregarine is a skirt.; sent9 -> int7: the hire does not entail seahorse if it entails trill and/or it collars hire.; __UNKNOWN__