that the inquisition occurs if the enfeoffing behaviorist occurs is not right.
sent1: if the uncared-forness happens the inquisition happens. sent2: the dislocation happens and the centripetalness happens. sent3: if the enfeoffing behaviorist and the vasotomy happens then the dislocation does not occur. sent4: if the zygodactylness occurs then the inquisition occurs. sent5: the tendering does not occur. sent6: that the vasotomy does not occur results in that the zygodactylness happens and/or the uncared-forness happens. sent7: that the centripetalness happens hold. sent8: the outburst happens.
void -> assump1: Let's assume that the enfeoffing behaviorist happens.; void -> assump2: Let's assume that the vasotomy happens.; assump1 & assump2 -> int1: the enfeoffing behaviorist and the vasotomy happens.; int1 & sent3 -> int2: the dislocation does not occur.; sent2 -> int3: the dislocation occurs.; int2 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the vasotomy does not occur.; int5 & sent6 -> int6: the zygodactylness and/or the uncared-forness occurs.; int6 & sent4 & sent1 -> int7: the inquisition happens.; [assump1] & int7 -> hypothesis;
$hypothesis$ = that the inquisition occurs if the enfeoffing behaviorist occurs is not right. ; $context$ = sent1: if the uncared-forness happens the inquisition happens. sent2: the dislocation happens and the centripetalness happens. sent3: if the enfeoffing behaviorist and the vasotomy happens then the dislocation does not occur. sent4: if the zygodactylness occurs then the inquisition occurs. sent5: the tendering does not occur. sent6: that the vasotomy does not occur results in that the zygodactylness happens and/or the uncared-forness happens. sent7: that the centripetalness happens hold. sent8: the outburst happens. ; $proof$ = 
void -> assump1: Let's assume that the enfeoffing behaviorist happens.; void -> assump2: Let's assume that the vasotomy happens.; assump1 & assump2 -> int1: the enfeoffing behaviorist and the vasotomy happens.; int1 & sent3 -> int2: the dislocation does not occur.; sent2 -> int3: the dislocation occurs.; int2 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the vasotomy does not occur.; int5 & sent6 -> int6: the zygodactylness and/or the uncared-forness occurs.; int6 & sent4 & sent1 -> int7: the inquisition happens.; [assump1] & int7 -> hypothesis; __DISPROVED__