the fact that the fact that the fact that the Alnico does not rival guttural is correct does not hold if the exodontist is autogenetic is not right.
sent1: the Alnico rivals guttural if the cinchonine is a rockcress. sent2: the cinchonine is autogenetic. sent3: if the fact that the exodontist is autogenetic hold the cinchonine is a rockcress.
void -> assump1: Let's assume that the exodontist is autogenetic.; sent3 & assump1 -> int1: that the cinchonine is a rockcress is not false.; sent1 & int1 -> int2: the Alnico does rival guttural.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the fact that the fact that the fact that the Alnico does not rival guttural is correct does not hold if the exodontist is autogenetic is not right. ; $context$ = sent1: the Alnico rivals guttural if the cinchonine is a rockcress. sent2: the cinchonine is autogenetic. sent3: if the fact that the exodontist is autogenetic hold the cinchonine is a rockcress. ; $proof$ = 
void -> assump1: Let's assume that the exodontist is autogenetic.; sent3 & assump1 -> int1: that the cinchonine is a rockcress is not false.; sent1 & int1 -> int2: the Alnico does rival guttural.; [assump1] & int2 -> hypothesis; __DISPROVED__