the fact that the fact that the superior does elute bartender is correct if that the Trappist is aversive is not false is false.
sent1: if the Trappist does cane Rana that the superior does not elute bartender is not correct. sent2: the fact that the Trappist canes Rana hold if it is aversive. sent3: if the Trappist does elute bartender but it is not a niece then the fluff is aversive.
void -> assump1: Let's assume that the Trappist is aversive.; sent2 & assump1 -> int1: the Trappist canes Rana.; sent1 & int1 -> int2: the superior elutes bartender.; [assump1] & int2 -> hypothesis;
the fluff does cane Rana.
$hypothesis$ = the fact that the fact that the superior does elute bartender is correct if that the Trappist is aversive is not false is false. ; $context$ = sent1: if the Trappist does cane Rana that the superior does not elute bartender is not correct. sent2: the fact that the Trappist canes Rana hold if it is aversive. sent3: if the Trappist does elute bartender but it is not a niece then the fluff is aversive. ; $proof$ = 
void -> assump1: Let's assume that the Trappist is aversive.; sent2 & assump1 -> int1: the Trappist canes Rana.; sent1 & int1 -> int2: the superior elutes bartender.; [assump1] & int2 -> hypothesis; __DISPROVED__