the ectomorph does jumble Weston.
sent1: if that the fact that something is not non-vernal but it does not restrain hold is wrong it is not undesirous. sent2: if something is not undesirous then it does jumble Dianthus. sent3: the borate is not unpeaceful or does not jumble Dianthus or both if it is undesirous. sent4: the borate is not desirous. sent5: the ectomorph does not jumble Weston if the borate is not undesirous. sent6: the ectomorph is undesirous. sent7: the ectomorph does jumble Weston if the borate does not jumble Dianthus. sent8: if the borate is undesirous then it does not jumble Dianthus or it does not jumble Weston or both. sent9: the borate does not restrain if it does not interlock Odobenus and is a kind of a Hoffman. sent10: the ectomorph does jumble Weston if the fact that the borate is not unpeaceful is true.
sent3 & sent4 -> int1: the borate is not unpeaceful or it does not jumble Dianthus or both.; int1 & sent10 & sent7 -> hypothesis;
the gossip does not jumble Weston or it is not a Lund or both.
$hypothesis$ = the ectomorph does jumble Weston. ; $context$ = sent1: if that the fact that something is not non-vernal but it does not restrain hold is wrong it is not undesirous. sent2: if something is not undesirous then it does jumble Dianthus. sent3: the borate is not unpeaceful or does not jumble Dianthus or both if it is undesirous. sent4: the borate is not desirous. sent5: the ectomorph does not jumble Weston if the borate is not undesirous. sent6: the ectomorph is undesirous. sent7: the ectomorph does jumble Weston if the borate does not jumble Dianthus. sent8: if the borate is undesirous then it does not jumble Dianthus or it does not jumble Weston or both. sent9: the borate does not restrain if it does not interlock Odobenus and is a kind of a Hoffman. sent10: the ectomorph does jumble Weston if the fact that the borate is not unpeaceful is true. ; $proof$ = 
sent3 & sent4 -> int1: the borate is not unpeaceful or it does not jumble Dianthus or both.; int1 & sent10 & sent7 -> hypothesis; __PROVED__