the fact that there exists something such that if it is not a bruxism and it is not nonsignificant it does quibble does not hold.
sent1: something does quibble if it is not a bruxism and it is not nonsignificant. sent2: if something is not a kind of a bruxism but it is nonsignificant it does quibble.
sent1 -> int1: the boarhound quibbles if it is not a bruxism and is not nonsignificant.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is not a bruxism and it is not nonsignificant it does quibble does not hold. ; $context$ = sent1: something does quibble if it is not a bruxism and it is not nonsignificant. sent2: if something is not a kind of a bruxism but it is nonsignificant it does quibble. ; $proof$ = 
sent1 -> int1: the boarhound quibbles if it is not a bruxism and is not nonsignificant.; int1 -> hypothesis; __DISPROVED__