the tossup is not knee-length.
sent1: if the hearer is not a Montgomery then the tossup is knee-length and is a kind of a probiotic. sent2: the hearer is not a Montgomery.
sent1 & sent2 -> int1: the tossup is knee-length and it is a kind of a probiotic.; int1 -> hypothesis;
$hypothesis$ = the tossup is not knee-length. ; $context$ = sent1: if the hearer is not a Montgomery then the tossup is knee-length and is a kind of a probiotic. sent2: the hearer is not a Montgomery. ; $proof$ = 
sent1 & sent2 -> int1: the tossup is knee-length and it is a kind of a probiotic.; int1 -> hypothesis; __DISPROVED__