both the multiplying allegation and the catechisticness happens.
sent1: the musculoskeletalness occurs. sent2: the sessileness or the eligibleness or both happens. sent3: the non-moneylessness is prevented by the non-capacitiveness or that the dimorphism happens or both. sent4: the multiplying fetoscopy occurs if the fact that the overture happens and the prodigy does not occur does not hold. sent5: the splinteriness happens. sent6: that the multiplying fetoscopy occurs and the sessileness occurs triggers that the multiplying presidency does not occur. sent7: the quartering is caused by the non-sessileness and/or the eligibleness. sent8: the multiplying Entebbe occurs. sent9: the catechisticness happens. sent10: that the overture happens but the prodigy does not occur is not true. sent11: both the photoconductiveness and the minimalist happens. sent12: if the prodigy happens then the multiplying fetoscopy occurs. sent13: that the overture happens and the prodigy happens is false. sent14: the multiplying presidency happens but the poulticing placebo does not occur.
sent4 & sent10 -> int1: the multiplying fetoscopy happens.; void -> assump1: Let's assume that the sessileness happens.; int1 & assump1 -> int2: the multiplying fetoscopy happens and the sessileness happens.; int2 & sent6 -> int3: the multiplying presidency does not occur.; sent14 -> int4: the multiplying presidency occurs.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the sessileness does not occur.; int6 -> int7: the sessileness does not occur or the eligibleness occurs or both.; int7 & sent7 -> int8: the quartering occurs.;
that the multiplying allegation occurs and the catechisticness happens does not hold.
 -> hypothesis;
$hypothesis$ = both the multiplying allegation and the catechisticness happens. ; $context$ = sent1: the musculoskeletalness occurs. sent2: the sessileness or the eligibleness or both happens. sent3: the non-moneylessness is prevented by the non-capacitiveness or that the dimorphism happens or both. sent4: the multiplying fetoscopy occurs if the fact that the overture happens and the prodigy does not occur does not hold. sent5: the splinteriness happens. sent6: that the multiplying fetoscopy occurs and the sessileness occurs triggers that the multiplying presidency does not occur. sent7: the quartering is caused by the non-sessileness and/or the eligibleness. sent8: the multiplying Entebbe occurs. sent9: the catechisticness happens. sent10: that the overture happens but the prodigy does not occur is not true. sent11: both the photoconductiveness and the minimalist happens. sent12: if the prodigy happens then the multiplying fetoscopy occurs. sent13: that the overture happens and the prodigy happens is false. sent14: the multiplying presidency happens but the poulticing placebo does not occur. ; $proof$ = 
sent4 & sent10 -> int1: the multiplying fetoscopy happens.; void -> assump1: Let's assume that the sessileness happens.; int1 & assump1 -> int2: the multiplying fetoscopy happens and the sessileness happens.; int2 & sent6 -> int3: the multiplying presidency does not occur.; sent14 -> int4: the multiplying presidency occurs.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the sessileness does not occur.; int6 -> int7: the sessileness does not occur or the eligibleness occurs or both.; int7 & sent7 -> int8: the quartering occurs.; __UNKNOWN__