that both the overrunning turnspit and the cadetship happens does not hold.
sent1: that the fact that the fact that not the overprinting supertonic but the bulbarness occurs hold is not right if the hypertonicity does not occur hold. sent2: that the baas and the non-Washingtonianness happens is brought about by that the fog occurs. sent3: if the nursing court does not occur then not the overrunning Potamogalidae but the devilling happens. sent4: the fact that the nursing NIH occurs is true. sent5: the fact that the cadetship occurs is true if the nursing NIH happens. sent6: both the overrunning turnspit and the nursing spirited happens. sent7: if the overrunning Potamogalidae does not occur the Aleutianness occurs and the fog happens. sent8: if that the overprinting supertonic does not occur but the bulbarness occurs does not hold the nursing court does not occur. sent9: the nursing spirited but not the nursing NIH occurs if the Washingtonianness does not occur. sent10: the hypertonicity does not occur if the fact that not the brag but the nursing humming happens is not correct. sent11: if the nursing NIH does not occur the fact that both the overrunning turnspit and the cadetship happens is incorrect.
sent5 & sent4 -> int1: the cadetship happens.; sent6 -> int2: the overrunning turnspit happens.; int1 & int2 -> hypothesis;
the fact that the overrunning turnspit and the cadetship occurs is false.
$hypothesis$ = that both the overrunning turnspit and the cadetship happens does not hold. ; $context$ = sent1: that the fact that the fact that not the overprinting supertonic but the bulbarness occurs hold is not right if the hypertonicity does not occur hold. sent2: that the baas and the non-Washingtonianness happens is brought about by that the fog occurs. sent3: if the nursing court does not occur then not the overrunning Potamogalidae but the devilling happens. sent4: the fact that the nursing NIH occurs is true. sent5: the fact that the cadetship occurs is true if the nursing NIH happens. sent6: both the overrunning turnspit and the nursing spirited happens. sent7: if the overrunning Potamogalidae does not occur the Aleutianness occurs and the fog happens. sent8: if that the overprinting supertonic does not occur but the bulbarness occurs does not hold the nursing court does not occur. sent9: the nursing spirited but not the nursing NIH occurs if the Washingtonianness does not occur. sent10: the hypertonicity does not occur if the fact that not the brag but the nursing humming happens is not correct. sent11: if the nursing NIH does not occur the fact that both the overrunning turnspit and the cadetship happens is incorrect. ; $proof$ = 
sent5 & sent4 -> int1: the cadetship happens.; sent6 -> int2: the overrunning turnspit happens.; int1 & int2 -> hypothesis; __DISPROVED__