there is something such that if it is a kind of capsular thing that is punctual it is not inhospitable.
sent1: the knot is inhospitable if it is capsular and it is punctual. sent2: a capsular thing that is punctual is not inhospitable.
sent2 -> int1: if the knot is a kind of capsular thing that is punctual that it is not inhospitable hold.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is a kind of capsular thing that is punctual it is not inhospitable. ; $context$ = sent1: the knot is inhospitable if it is capsular and it is punctual. sent2: a capsular thing that is punctual is not inhospitable. ; $proof$ = 
sent2 -> int1: if the knot is a kind of capsular thing that is punctual that it is not inhospitable hold.; int1 -> hypothesis; __PROVED__