the latching float occurs.
sent1: if the nephrotomy does not occur then the ferry occurs. sent2: if the ferrying occurs then the chin occurs. sent3: if the assist does not occur then the fact that the mayoralness happens is not wrong. sent4: the predestinarianness happens. sent5: the nephrotomy does not occur. sent6: that the induction occurs and the pause occurs yields that the symphonicness does not occur. sent7: that the innocuousness occurs prevents the non-afebrileness. sent8: the innocuousness occurs. sent9: that the latching float does not occur is caused by that the chin happens and the afebrileness occurs. sent10: that the spoliation does not occur is correct. sent11: the non-Swedishness is prevented by the toilet. sent12: the nihilisticness does not occur. sent13: if the manhandling life-of-man occurs the aweing kola happens.
sent1 & sent5 -> int1: the ferry happens.; int1 & sent2 -> int2: the chin happens.; sent7 & sent8 -> int3: the afebrileness occurs.; int2 & int3 -> int4: the chin happens and the afebrileness occurs.; int4 & sent9 -> hypothesis;
$hypothesis$ = the latching float occurs. ; $context$ = sent1: if the nephrotomy does not occur then the ferry occurs. sent2: if the ferrying occurs then the chin occurs. sent3: if the assist does not occur then the fact that the mayoralness happens is not wrong. sent4: the predestinarianness happens. sent5: the nephrotomy does not occur. sent6: that the induction occurs and the pause occurs yields that the symphonicness does not occur. sent7: that the innocuousness occurs prevents the non-afebrileness. sent8: the innocuousness occurs. sent9: that the latching float does not occur is caused by that the chin happens and the afebrileness occurs. sent10: that the spoliation does not occur is correct. sent11: the non-Swedishness is prevented by the toilet. sent12: the nihilisticness does not occur. sent13: if the manhandling life-of-man occurs the aweing kola happens. ; $proof$ = 
sent1 & sent5 -> int1: the ferry happens.; int1 & sent2 -> int2: the chin happens.; sent7 & sent8 -> int3: the afebrileness occurs.; int2 & int3 -> int4: the chin happens and the afebrileness occurs.; int4 & sent9 -> hypothesis; __DISPROVED__