the quivering boulle occurs.
sent1: that the trisecting phonograph and the osculation occurs prevents the navigation. sent2: that the overrunning occurs is prevented by that the negotiating cranny does not occur and the pausing happens. sent3: that the trisecting phonograph but not the osculation occurs leads to the quivering boulle. sent4: the quivering boulle does not occur if the rest-cure does not occur and the prostate occurs. sent5: if the fact that the non-chromaticness and the non-off-streetness happens is not true the chromaticness occurs. sent6: the prostate occurs and the return occurs. sent7: the osculation happens. sent8: that not the peeping but the voicing occurs does not hold if the trisecting phonograph does not occur. sent9: the punitiveness occurs. sent10: if the off-streetness does not occur then that the chromaticness and the Olympianness happens is not correct. sent11: if the chromaticness happens then that not the navigation but the rest-cure occurs is not correct. sent12: the trisecting phonograph occurs. sent13: that both the non-chromaticness and the non-off-streetness happens does not hold if the Olympianness does not occur. sent14: the ether does not occur. sent15: that both the pleasantry and the non-Yeatsianness occurs is not right if the clawback does not occur. sent16: the Olympian does not occur.
sent12 & sent7 -> int1: the trisecting phonograph and the osculation occurs.; int1 & sent1 -> int2: the navigation does not occur.; void -> assump1: Let's assume that the rest-cure occurs.; int2 & assump1 -> int3: not the navigation but the rest-cure occurs.; sent13 & sent16 -> int4: the fact that the non-chromaticness and the non-off-streetness occurs is incorrect.; sent5 & int4 -> int5: the chromaticness occurs.; sent11 & int5 -> int6: the fact that the navigation does not occur and the rest-cure happens is incorrect.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the rest-cure does not occur.; sent6 -> int9: the prostate happens.; int8 & int9 -> int10: not the rest-cure but the prostateness happens.; int10 & sent4 -> hypothesis;
the quivering boulle occurs.
$hypothesis$ = the quivering boulle occurs. ; $context$ = sent1: that the trisecting phonograph and the osculation occurs prevents the navigation. sent2: that the overrunning occurs is prevented by that the negotiating cranny does not occur and the pausing happens. sent3: that the trisecting phonograph but not the osculation occurs leads to the quivering boulle. sent4: the quivering boulle does not occur if the rest-cure does not occur and the prostate occurs. sent5: if the fact that the non-chromaticness and the non-off-streetness happens is not true the chromaticness occurs. sent6: the prostate occurs and the return occurs. sent7: the osculation happens. sent8: that not the peeping but the voicing occurs does not hold if the trisecting phonograph does not occur. sent9: the punitiveness occurs. sent10: if the off-streetness does not occur then that the chromaticness and the Olympianness happens is not correct. sent11: if the chromaticness happens then that not the navigation but the rest-cure occurs is not correct. sent12: the trisecting phonograph occurs. sent13: that both the non-chromaticness and the non-off-streetness happens does not hold if the Olympianness does not occur. sent14: the ether does not occur. sent15: that both the pleasantry and the non-Yeatsianness occurs is not right if the clawback does not occur. sent16: the Olympian does not occur. ; $proof$ = 
sent12 & sent7 -> int1: the trisecting phonograph and the osculation occurs.; int1 & sent1 -> int2: the navigation does not occur.; void -> assump1: Let's assume that the rest-cure occurs.; int2 & assump1 -> int3: not the navigation but the rest-cure occurs.; sent13 & sent16 -> int4: the fact that the non-chromaticness and the non-off-streetness occurs is incorrect.; sent5 & int4 -> int5: the chromaticness occurs.; sent11 & int5 -> int6: the fact that the navigation does not occur and the rest-cure happens is incorrect.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the rest-cure does not occur.; sent6 -> int9: the prostate happens.; int8 & int9 -> int10: not the rest-cure but the prostateness happens.; int10 & sent4 -> hypothesis; __DISPROVED__