the middy is a scan.
sent1: if there exists something such that it is not a Williamstown the middy is a scan. sent2: there is something such that it does not pot. sent3: the middy is a kind of a diabetic. sent4: if the vermiculation is a kind of a scan and it is a pot then the middy is not a scan. sent5: if something is not Oxonian it is either a scan or a Williamstown or both. sent6: everything is not a Oxonian. sent7: the convolution is a Williamstown. sent8: the vermiculation is a scan if the convolution is not a kind of a Oxonian and is not a kind of a scan. sent9: if something is a scan then it is a pot. sent10: if there is something such that it is not a pot then the middy does scan and it is a Williamstown. sent11: the middy is a Williamstown.
sent2 & sent10 -> int1: the middy is a scan and a Williamstown.; int1 -> hypothesis;
the middy is not a kind of a scan.
$hypothesis$ = the middy is a scan. ; $context$ = sent1: if there exists something such that it is not a Williamstown the middy is a scan. sent2: there is something such that it does not pot. sent3: the middy is a kind of a diabetic. sent4: if the vermiculation is a kind of a scan and it is a pot then the middy is not a scan. sent5: if something is not Oxonian it is either a scan or a Williamstown or both. sent6: everything is not a Oxonian. sent7: the convolution is a Williamstown. sent8: the vermiculation is a scan if the convolution is not a kind of a Oxonian and is not a kind of a scan. sent9: if something is a scan then it is a pot. sent10: if there is something such that it is not a pot then the middy does scan and it is a Williamstown. sent11: the middy is a Williamstown. ; $proof$ = 
sent2 & sent10 -> int1: the middy is a scan and a Williamstown.; int1 -> hypothesis; __PROVED__