that the protuberating triacetate does not occur and the waving c does not occur does not hold.
sent1: that the fundamental occurs is prevented by that the behalf occurs and the trolling whisper occurs. sent2: if the calculousness occurs the short-orderness happens. sent3: that both the calculousness and the acanthoticness happens is right. sent4: if the horseshow happens then the trolling anaplasty does not occur but the nonastringentness happens. sent5: the horseshow happens. sent6: that the quoits happens is correct if the short-orderness happens. sent7: the protuberating triacetate does not occur and the waving c does not occur if that the fundamental does not occur is not wrong. sent8: if that the trolling anaplasty does not occur is correct both the trolling whisper and the pitching happens. sent9: the behalf happens if the quoits happens.
sent3 -> int1: the calculousness occurs.; int1 & sent2 -> int2: the short-orderness occurs.; int2 & sent6 -> int3: the quoits occurs.; int3 & sent9 -> int4: the behalf happens.; sent4 & sent5 -> int5: not the trolling anaplasty but the nonastringentness happens.; int5 -> int6: that the trolling anaplasty does not occur is not wrong.; sent8 & int6 -> int7: the trolling whisper and the pitching occurs.; int7 -> int8: the trolling whisper occurs.; int4 & int8 -> int9: the behalf and the trolling whisper occurs.; int9 & sent1 -> int10: the fundamental does not occur.; int10 & sent7 -> hypothesis;
$hypothesis$ = that the protuberating triacetate does not occur and the waving c does not occur does not hold. ; $context$ = sent1: that the fundamental occurs is prevented by that the behalf occurs and the trolling whisper occurs. sent2: if the calculousness occurs the short-orderness happens. sent3: that both the calculousness and the acanthoticness happens is right. sent4: if the horseshow happens then the trolling anaplasty does not occur but the nonastringentness happens. sent5: the horseshow happens. sent6: that the quoits happens is correct if the short-orderness happens. sent7: the protuberating triacetate does not occur and the waving c does not occur if that the fundamental does not occur is not wrong. sent8: if that the trolling anaplasty does not occur is correct both the trolling whisper and the pitching happens. sent9: the behalf happens if the quoits happens. ; $proof$ = 
sent3 -> int1: the calculousness occurs.; int1 & sent2 -> int2: the short-orderness occurs.; int2 & sent6 -> int3: the quoits occurs.; int3 & sent9 -> int4: the behalf happens.; sent4 & sent5 -> int5: not the trolling anaplasty but the nonastringentness happens.; int5 -> int6: that the trolling anaplasty does not occur is not wrong.; sent8 & int6 -> int7: the trolling whisper and the pitching occurs.; int7 -> int8: the trolling whisper occurs.; int4 & int8 -> int9: the behalf and the trolling whisper occurs.; int9 & sent1 -> int10: the fundamental does not occur.; int10 & sent7 -> hypothesis; __DISPROVED__