the cirque is diagnostic.
sent1: everything does not verbify reluctivity or does bar nine-spot or both.
sent1 -> int1: the cirque does not verbify reluctivity and/or bars nine-spot.;
$hypothesis$ = the cirque is diagnostic. ; $context$ = sent1: everything does not verbify reluctivity or does bar nine-spot or both. ; $proof$ = 
sent1 -> int1: the cirque does not verbify reluctivity and/or bars nine-spot.; __UNKNOWN__