the machinist is centigrade and is a thump.
sent1: the machinist does thump and it is impotent.
sent1 -> int1: the machinist is a kind of a thump.;
$hypothesis$ = the machinist is centigrade and is a thump. ; $context$ = sent1: the machinist does thump and it is impotent. ; $proof$ = 
sent1 -> int1: the machinist is a kind of a thump.; __UNKNOWN__