that there is something such that if the fact that it either does not single Frick or is a fricandeau or both does not hold then the fact that it does pattern associability is right is not right.
sent1: if that something either does not single Frick or is a fricandeau or both is incorrect it does pattern associability.
sent1 -> int1: the mentor patterns associability if that that it does not single Frick or it is a kind of a fricandeau or both is not false is false.; int1 -> hypothesis;
$hypothesis$ = that there is something such that if the fact that it either does not single Frick or is a fricandeau or both does not hold then the fact that it does pattern associability is right is not right. ; $context$ = sent1: if that something either does not single Frick or is a fricandeau or both is incorrect it does pattern associability. ; $proof$ = 
sent1 -> int1: the mentor patterns associability if that that it does not single Frick or it is a kind of a fricandeau or both is not false is false.; int1 -> hypothesis; __DISPROVED__