the antipsychotic does shoot stonewort.
sent1: if the ultracentrifugation is nontranslational then the antipsychotic shoots stonewort. sent2: the antipsychotic is a nosedive. sent3: the wire-puller is nontranslational. sent4: the ultracentrifugation is nontranslational if that the keratin is a nosedive is correct. sent5: the pilewort is nontranslational. sent6: the antipsychotic is nontranslational. sent7: that the ultracentrifugation is a nosedive is right. sent8: the ultracentrifugation does shoot stonewort. sent9: the keratin is not a nosedive if it is not theoretical and/or rivals fryer. sent10: the antipsychotic is nontranslational if the ultracentrifugation does shoot stonewort. sent11: if the fact that the keratin is nontranslational is not incorrect the ultracentrifugation does nosedive. sent12: the drawler is nontranslational. sent13: the midazolam is nontranslational and is a nosedive if the keratin does not shoot stonewort. sent14: the ultracentrifugation is unaggressive. sent15: the keratin nosedives. sent16: the keratin is nontranslational.
sent4 & sent15 -> int1: the ultracentrifugation is nontranslational.; sent1 & int1 -> hypothesis;
the midazolam is nontranslational.
$hypothesis$ = the antipsychotic does shoot stonewort. ; $context$ = sent1: if the ultracentrifugation is nontranslational then the antipsychotic shoots stonewort. sent2: the antipsychotic is a nosedive. sent3: the wire-puller is nontranslational. sent4: the ultracentrifugation is nontranslational if that the keratin is a nosedive is correct. sent5: the pilewort is nontranslational. sent6: the antipsychotic is nontranslational. sent7: that the ultracentrifugation is a nosedive is right. sent8: the ultracentrifugation does shoot stonewort. sent9: the keratin is not a nosedive if it is not theoretical and/or rivals fryer. sent10: the antipsychotic is nontranslational if the ultracentrifugation does shoot stonewort. sent11: if the fact that the keratin is nontranslational is not incorrect the ultracentrifugation does nosedive. sent12: the drawler is nontranslational. sent13: the midazolam is nontranslational and is a nosedive if the keratin does not shoot stonewort. sent14: the ultracentrifugation is unaggressive. sent15: the keratin nosedives. sent16: the keratin is nontranslational. ; $proof$ = 
sent4 & sent15 -> int1: the ultracentrifugation is nontranslational.; sent1 & int1 -> hypothesis; __PROVED__