the fact that if the torturing subnormal occurs then the flickering occurs is not true.
sent1: if the fact that the honeying glume but not the volubleness happens does not hold the torturing praetor does not occur. sent2: if the cholinergicness occurs that the resettling fad does not occur and the Falstaffianness does not occur hold. sent3: the torturing subnormal is prevented by that the wester occurs and the lunarness happens. sent4: if the torturing Eyck does not occur and the honeying Wilmut does not occur the Curietherapy does not occur. sent5: if the torturing sugarplum does not occur or the interlinearness does not occur or both then the torturing sugarplum does not occur. sent6: the cardiopulmonariness does not occur and the relay does not occur if the honeying station does not occur. sent7: that the lunarness but not the torturing subnormal occurs is not true if the flicker does not occur. sent8: if the Curietherapy does not occur then the resettling tensimeter and/or the micaceousness happens. sent9: the lunarness happens if that the undercut happens but the resettling brushed does not occur is not true. sent10: the fact that both the honeying glume and the non-volubleness occurs does not hold if the cardiopulmonariness does not occur. sent11: the fact that the bimillenialness happens but the produce does not occur is not right. sent12: that the resettling fad does not occur and the Falstaffianness does not occur prevents that the honeying station occurs. sent13: that the undercutting but not the resettling brushed happens is incorrect. sent14: that the torturing subnormal does not occur is prevented by that the wester and the lunarness occurs. sent15: the flickering occurs if the wester does not occur. sent16: if that the torturing sugarplum does not occur is correct then the flickering does not occur. sent17: if the undercut does not occur then the lunarness happens. sent18: if the torturing praetor does not occur then the torturing sugarplum does not occur or the interlinearness does not occur or both.
void -> assump1: Let's assume that that the torturing subnormal occurs is not wrong.; void -> assump2: Let's assume that the wester occurs.; sent9 & sent13 -> int1: the lunarness occurs.; assump2 & int1 -> int2: the wester occurs and the lunarness occurs.; sent3 & int2 -> int3: the torturing subnormal does not occur.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the wester does not occur.; sent15 & int5 -> int6: the flickering happens.; [assump1] & int6 -> hypothesis;
the pianism does not occur.
$hypothesis$ = the fact that if the torturing subnormal occurs then the flickering occurs is not true. ; $context$ = sent1: if the fact that the honeying glume but not the volubleness happens does not hold the torturing praetor does not occur. sent2: if the cholinergicness occurs that the resettling fad does not occur and the Falstaffianness does not occur hold. sent3: the torturing subnormal is prevented by that the wester occurs and the lunarness happens. sent4: if the torturing Eyck does not occur and the honeying Wilmut does not occur the Curietherapy does not occur. sent5: if the torturing sugarplum does not occur or the interlinearness does not occur or both then the torturing sugarplum does not occur. sent6: the cardiopulmonariness does not occur and the relay does not occur if the honeying station does not occur. sent7: that the lunarness but not the torturing subnormal occurs is not true if the flicker does not occur. sent8: if the Curietherapy does not occur then the resettling tensimeter and/or the micaceousness happens. sent9: the lunarness happens if that the undercut happens but the resettling brushed does not occur is not true. sent10: the fact that both the honeying glume and the non-volubleness occurs does not hold if the cardiopulmonariness does not occur. sent11: the fact that the bimillenialness happens but the produce does not occur is not right. sent12: that the resettling fad does not occur and the Falstaffianness does not occur prevents that the honeying station occurs. sent13: that the undercutting but not the resettling brushed happens is incorrect. sent14: that the torturing subnormal does not occur is prevented by that the wester and the lunarness occurs. sent15: the flickering occurs if the wester does not occur. sent16: if that the torturing sugarplum does not occur is correct then the flickering does not occur. sent17: if the undercut does not occur then the lunarness happens. sent18: if the torturing praetor does not occur then the torturing sugarplum does not occur or the interlinearness does not occur or both. ; $proof$ = 
void -> assump1: Let's assume that that the torturing subnormal occurs is not wrong.; void -> assump2: Let's assume that the wester occurs.; sent9 & sent13 -> int1: the lunarness occurs.; assump2 & int1 -> int2: the wester occurs and the lunarness occurs.; sent3 & int2 -> int3: the torturing subnormal does not occur.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the wester does not occur.; sent15 & int5 -> int6: the flickering happens.; [assump1] & int6 -> hypothesis; __DISPROVED__