if the pointlessness occurs and the twining househusband occurs the barking bonus does not occur.
sent1: if the fact that either the twining primness does not occur or the barking Chennai occurs or both is not correct then the hugging occurs. sent2: the gymnasticsness is triggered by the twining househusband. sent3: if the facilitating foremother and the hugging happens then the barking bonus does not occur. sent4: that the barking bonus does not occur is prevented by that both the facilitating foremother and the hug happens. sent5: the floriculturalness prevents that the accounting does not occur. sent6: if that that the twining primness does not occur and/or the barking Chennai does not occur hold does not hold the hugging happens. sent7: the twining Lisbon and the pointlessness occurs if the twining househusband does not occur. sent8: if the hugging does not occur then the fact that the facilitating foremother does not occur and the gymnasticsness does not occur is not right. sent9: the barking bonus occurs. sent10: the fact that the twining primness does not occur and/or the barking Chennai does not occur does not hold. sent11: the pointlessness happens. sent12: the holozoicness happens. sent13: the facilitating foremother happens if the gymnasticsness happens. sent14: if the fact that the pointlessness occurs and the twining househusband happens hold then the barking bonus occurs. sent15: the hug happens if that the twining primness happens and/or the barking Chennai does not occur is wrong.
void -> assump1: Let's assume that the pointlessness happens and the twining househusband happens.; assump1 -> int1: the twining househusband occurs.; int1 & sent2 -> int2: the fact that the gymnasticsness occurs is not incorrect.; int2 & sent13 -> int3: the facilitating foremother occurs.; sent6 & sent10 -> int4: the hug occurs.; int3 & int4 -> int5: the facilitating foremother happens and the hugging happens.; int5 & sent3 -> int6: the barking bonus does not occur.; [assump1] & int6 -> hypothesis;
the twining Lisbon happens.
$hypothesis$ = if the pointlessness occurs and the twining househusband occurs the barking bonus does not occur. ; $context$ = sent1: if the fact that either the twining primness does not occur or the barking Chennai occurs or both is not correct then the hugging occurs. sent2: the gymnasticsness is triggered by the twining househusband. sent3: if the facilitating foremother and the hugging happens then the barking bonus does not occur. sent4: that the barking bonus does not occur is prevented by that both the facilitating foremother and the hug happens. sent5: the floriculturalness prevents that the accounting does not occur. sent6: if that that the twining primness does not occur and/or the barking Chennai does not occur hold does not hold the hugging happens. sent7: the twining Lisbon and the pointlessness occurs if the twining househusband does not occur. sent8: if the hugging does not occur then the fact that the facilitating foremother does not occur and the gymnasticsness does not occur is not right. sent9: the barking bonus occurs. sent10: the fact that the twining primness does not occur and/or the barking Chennai does not occur does not hold. sent11: the pointlessness happens. sent12: the holozoicness happens. sent13: the facilitating foremother happens if the gymnasticsness happens. sent14: if the fact that the pointlessness occurs and the twining househusband happens hold then the barking bonus occurs. sent15: the hug happens if that the twining primness happens and/or the barking Chennai does not occur is wrong. ; $proof$ = 
void -> assump1: Let's assume that the pointlessness happens and the twining househusband happens.; assump1 -> int1: the twining househusband occurs.; int1 & sent2 -> int2: the fact that the gymnasticsness occurs is not incorrect.; int2 & sent13 -> int3: the facilitating foremother occurs.; sent6 & sent10 -> int4: the hug occurs.; int3 & int4 -> int5: the facilitating foremother happens and the hugging happens.; int5 & sent3 -> int6: the barking bonus does not occur.; [assump1] & int6 -> hypothesis; __PROVED__