if the quarantining Opisthognathidae occurs then the placentalness does not occur and the duty does not occur.
sent1: the fact that the babel does not occur or the fidgeting happens or both is not correct if the barbecuing occurs. sent2: the spartanness does not occur if the quarantining Opisthognathidae occurs and the placental happens. sent3: the spartanness occurs and the spruce does not occur. sent4: the Carolineness is caused by that the placental does not occur. sent5: the phocineness happens and the Welshness occurs. sent6: that the barbecuing occurs prevents that the fidget occurs. sent7: if the catastrophe occurs then the barbecuing happens. sent8: the fact that the catastrophe happens hold. sent9: the placental does not occur and/or the quarantining Opisthognathidae does not occur if the catastrophe does not occur. sent10: the duty does not occur if that the babel does not occur and/or the fidgeting happens is not right.
void -> assump2: Let's assume that the fact that the quarantining Opisthognathidae happens is true.; void -> assump1: Let's assume that the placental happens.; assump2 & assump1 -> int1: both the quarantining Opisthognathidae and the placentalness happens.; int1 & sent2 -> int2: the spartanness does not occur.; sent3 -> int3: the spartanness occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the placental does not occur.; sent7 & sent8 -> int6: the barbecuing happens.; sent1 & int6 -> int7: the fact that the babel does not occur or the fidgeting occurs or both is wrong.; sent10 & int7 -> int8: the duty does not occur.; int5 & int8 -> int9: the placental does not occur and the duty does not occur.; [assump2] & int9 -> hypothesis;
the Carolineness happens and the endowment occurs.
$hypothesis$ = if the quarantining Opisthognathidae occurs then the placentalness does not occur and the duty does not occur. ; $context$ = sent1: the fact that the babel does not occur or the fidgeting happens or both is not correct if the barbecuing occurs. sent2: the spartanness does not occur if the quarantining Opisthognathidae occurs and the placental happens. sent3: the spartanness occurs and the spruce does not occur. sent4: the Carolineness is caused by that the placental does not occur. sent5: the phocineness happens and the Welshness occurs. sent6: that the barbecuing occurs prevents that the fidget occurs. sent7: if the catastrophe occurs then the barbecuing happens. sent8: the fact that the catastrophe happens hold. sent9: the placental does not occur and/or the quarantining Opisthognathidae does not occur if the catastrophe does not occur. sent10: the duty does not occur if that the babel does not occur and/or the fidgeting happens is not right. ; $proof$ = 
void -> assump2: Let's assume that the fact that the quarantining Opisthognathidae happens is true.; void -> assump1: Let's assume that the placental happens.; assump2 & assump1 -> int1: both the quarantining Opisthognathidae and the placentalness happens.; int1 & sent2 -> int2: the spartanness does not occur.; sent3 -> int3: the spartanness occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the placental does not occur.; sent7 & sent8 -> int6: the barbecuing happens.; sent1 & int6 -> int7: the fact that the babel does not occur or the fidgeting occurs or both is wrong.; sent10 & int7 -> int8: the duty does not occur.; int5 & int8 -> int9: the placental does not occur and the duty does not occur.; [assump2] & int9 -> hypothesis; __PROVED__