the fact that the polony is unreceptive and lathers digit is wrong.
sent1: The digit does lather polony. sent2: the foster-father is a tine. sent3: if the foster-father is a tine then the polony is unreceptive. sent4: the polony does lather digit.
sent3 & sent2 -> int1: the polony is unreceptive.; int1 & sent4 -> hypothesis;
$hypothesis$ = the fact that the polony is unreceptive and lathers digit is wrong. ; $context$ = sent1: The digit does lather polony. sent2: the foster-father is a tine. sent3: if the foster-father is a tine then the polony is unreceptive. sent4: the polony does lather digit. ; $proof$ = 
sent3 & sent2 -> int1: the polony is unreceptive.; int1 & sent4 -> hypothesis; __DISPROVED__