the polonaise is not a tabard.
sent1: everything is real-time thing that is a tabard.
sent1 -> int1: the polonaise is real-time and is a kind of a tabard.; int1 -> hypothesis;
$hypothesis$ = the polonaise is not a tabard. ; $context$ = sent1: everything is real-time thing that is a tabard. ; $proof$ = 
sent1 -> int1: the polonaise is real-time and is a kind of a tabard.; int1 -> hypothesis; __DISPROVED__