the motilin is a kind of a safebreaker.
sent1: the hypsometer is a safebreaker. sent2: the colugo is a safebreaker. sent3: the motilin soles. sent4: the motilin is nontechnical. sent5: the motilin is not a Midwest if the Nanna is not a kind of a perfectionism. sent6: something is not a safebreaker if the fact that it is a Midwest and a contention does not hold. sent7: the motilin is a surgery. sent8: that the motilin is a kind of a safebreaker is true. sent9: the surgery is a safebreaker. sent10: the wreck is a safebreaker. sent11: that the earthworm is a safebreaker is not incorrect. sent12: the motilin does factor. sent13: the inhalant is a safebreaker. sent14: the motilin does disobey surgery. sent15: the motilin is arundinaceous. sent16: the garbageman is a safebreaker. sent17: the maltster is a kind of a safebreaker. sent18: the motilin does revalue. sent19: the motilin is a kind of a Russell. sent20: the motilin is a platypus. sent21: the Latin is a safebreaker.
sent8 -> hypothesis;
the stibnite is a safebreaker.
$hypothesis$ = the motilin is a kind of a safebreaker. ; $context$ = sent1: the hypsometer is a safebreaker. sent2: the colugo is a safebreaker. sent3: the motilin soles. sent4: the motilin is nontechnical. sent5: the motilin is not a Midwest if the Nanna is not a kind of a perfectionism. sent6: something is not a safebreaker if the fact that it is a Midwest and a contention does not hold. sent7: the motilin is a surgery. sent8: that the motilin is a kind of a safebreaker is true. sent9: the surgery is a safebreaker. sent10: the wreck is a safebreaker. sent11: that the earthworm is a safebreaker is not incorrect. sent12: the motilin does factor. sent13: the inhalant is a safebreaker. sent14: the motilin does disobey surgery. sent15: the motilin is arundinaceous. sent16: the garbageman is a safebreaker. sent17: the maltster is a kind of a safebreaker. sent18: the motilin does revalue. sent19: the motilin is a kind of a Russell. sent20: the motilin is a platypus. sent21: the Latin is a safebreaker. ; $proof$ = 
sent8 -> hypothesis; __PROVED__