the fact that either the rambling milliradian or the Haitian or both occurs if that the attitudinalness does not occur hold is not true.
sent1: the muscle happens and the comb-out happens. sent2: the comb-out does not occur if the mound occurs or the pregnantness happens or both. sent3: that the rambling milliradian does not occur is prevented by that the osteopathy occurs. sent4: the osteopathy happens if the attitudinalness does not occur and the mound does not occur.
void -> assump2: Let's assume that the mounding occurs.; assump2 -> int1: the mounding happens or the pregnantness happens or both.; int1 & sent2 -> int2: the comb-out does not occur.; sent1 -> int3: the fact that the comb-out happens is true.; int2 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the mound does not occur.; void -> assump1: Let's assume that the attitudinalness does not occur.; int5 & assump1 -> int6: the attitudinalness does not occur and the mound does not occur.; int6 & sent4 -> int7: the osteopathy occurs.; int7 & sent3 -> int8: the rambling milliradian happens.; int8 -> int9: the rambling milliradian occurs and/or the Haitian happens.; [assump1] & int9 -> hypothesis;
$hypothesis$ = the fact that either the rambling milliradian or the Haitian or both occurs if that the attitudinalness does not occur hold is not true. ; $context$ = sent1: the muscle happens and the comb-out happens. sent2: the comb-out does not occur if the mound occurs or the pregnantness happens or both. sent3: that the rambling milliradian does not occur is prevented by that the osteopathy occurs. sent4: the osteopathy happens if the attitudinalness does not occur and the mound does not occur. ; $proof$ = 
void -> assump2: Let's assume that the mounding occurs.; assump2 -> int1: the mounding happens or the pregnantness happens or both.; int1 & sent2 -> int2: the comb-out does not occur.; sent1 -> int3: the fact that the comb-out happens is true.; int2 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the mound does not occur.; void -> assump1: Let's assume that the attitudinalness does not occur.; int5 & assump1 -> int6: the attitudinalness does not occur and the mound does not occur.; int6 & sent4 -> int7: the osteopathy occurs.; int7 & sent3 -> int8: the rambling milliradian happens.; int8 -> int9: the rambling milliradian occurs and/or the Haitian happens.; [assump1] & int9 -> hypothesis; __DISPROVED__