the MEDLINE is not Paraguayan but it is benthic.
sent1: The Pseudococcidae directs MEDLINE. sent2: something is not incautious but it is a inkwell if it is a horsebean. sent3: if something directs Pseudococcidae then it is not a Paraguayan and it is benthic. sent4: if the minesweeper does not direct Pseudococcidae the fact that the MEDLINE is not Paraguayan and is benthic is false. sent5: if something is fat then it is impersonal and it does not direct Pseudococcidae. sent6: something is a fat if it is a middle. sent7: something is not Paraguayan if it does direct Pseudococcidae. sent8: the MEDLINE brooches kina. sent9: the MEDLINE directs Pseudococcidae. sent10: if the MEDLINE directs Pseudococcidae then it is not a Paraguayan. sent11: the jail is a kind of a Paraguayan. sent12: the MEDLINE is not Paraguayan. sent13: if the autograft directs Pseudococcidae it is not a oatcake and it is not racial.
sent3 -> int1: the MEDLINE is both not a Paraguayan and benthic if it directs Pseudococcidae.; int1 & sent9 -> hypothesis;
the fact that the MEDLINE is non-Paraguayan thing that is benthic does not hold.
sent5 -> int2: the minesweeper is impersonal but it does not direct Pseudococcidae if that it is a fat is right.; sent6 -> int3: the minesweeper is fat if it does middle.;
$hypothesis$ = the MEDLINE is not Paraguayan but it is benthic. ; $context$ = sent1: The Pseudococcidae directs MEDLINE. sent2: something is not incautious but it is a inkwell if it is a horsebean. sent3: if something directs Pseudococcidae then it is not a Paraguayan and it is benthic. sent4: if the minesweeper does not direct Pseudococcidae the fact that the MEDLINE is not Paraguayan and is benthic is false. sent5: if something is fat then it is impersonal and it does not direct Pseudococcidae. sent6: something is a fat if it is a middle. sent7: something is not Paraguayan if it does direct Pseudococcidae. sent8: the MEDLINE brooches kina. sent9: the MEDLINE directs Pseudococcidae. sent10: if the MEDLINE directs Pseudococcidae then it is not a Paraguayan. sent11: the jail is a kind of a Paraguayan. sent12: the MEDLINE is not Paraguayan. sent13: if the autograft directs Pseudococcidae it is not a oatcake and it is not racial. ; $proof$ = 
sent3 -> int1: the MEDLINE is both not a Paraguayan and benthic if it directs Pseudococcidae.; int1 & sent9 -> hypothesis; __PROVED__