the toxicness occurs.
sent1: that the liveliness occurs causes that the macrobioticness does not occur. sent2: the civilian is prevented by the oxygenating supplejack. sent3: that the sumo does not occur is triggered by that the civilian does not occur and the toxicness happens. sent4: the revocation occurs. sent5: the sumo happens if the sit-up happens. sent6: the abolition happens. sent7: the toxicness occurs if the fact that the toxicness does not occur and the counterglow occurs is wrong. sent8: the oxygenating supplejack and/or that the counterglow occurs leads to the non-civilianness. sent9: the glare does not occur. sent10: the counterglow occurs. sent11: the sit-up happens and/or the updating salt occurs if that the updating Bairava does not occur is not false. sent12: if the abolition does not occur then the updating Bairava happens and/or the updating salt does not occur. sent13: if the oxygenating supplejack does not occur that both the counterglow and the untruthfulness happens is wrong. sent14: the fact that that not the updating Bairava but the abolition occurs is triggered by that the glare does not occur is not wrong. sent15: that the oxygenating supplejack does not occur is brought about by that the civilian or the non-toxicness or both happens. sent16: the sumo happens if the updating salt happens. sent17: the abolition happens if the glare does not occur. sent18: the untruthfulness does not occur if the fact that both the counterglow and the untruthfulness happens does not hold.
sent10 -> int1: the oxygenating supplejack or the counterglow or both occurs.; int1 & sent8 -> int2: the civilianness does not occur.; void -> assump1: Let's assume that the toxicness happens.; int2 & assump1 -> int3: the non-civilianness and the toxicness happens.; int3 & sent3 -> int4: the sumo does not occur.; sent14 & sent9 -> int5: not the updating Bairava but the abolition occurs.; int5 -> int6: the updating Bairava does not occur.; sent11 & int6 -> int7: the sit-up or the updating salt or both happens.; int7 & sent5 & sent16 -> int8: the sumo occurs.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis;
the untruthfulness does not occur.
$hypothesis$ = the toxicness occurs. ; $context$ = sent1: that the liveliness occurs causes that the macrobioticness does not occur. sent2: the civilian is prevented by the oxygenating supplejack. sent3: that the sumo does not occur is triggered by that the civilian does not occur and the toxicness happens. sent4: the revocation occurs. sent5: the sumo happens if the sit-up happens. sent6: the abolition happens. sent7: the toxicness occurs if the fact that the toxicness does not occur and the counterglow occurs is wrong. sent8: the oxygenating supplejack and/or that the counterglow occurs leads to the non-civilianness. sent9: the glare does not occur. sent10: the counterglow occurs. sent11: the sit-up happens and/or the updating salt occurs if that the updating Bairava does not occur is not false. sent12: if the abolition does not occur then the updating Bairava happens and/or the updating salt does not occur. sent13: if the oxygenating supplejack does not occur that both the counterglow and the untruthfulness happens is wrong. sent14: the fact that that not the updating Bairava but the abolition occurs is triggered by that the glare does not occur is not wrong. sent15: that the oxygenating supplejack does not occur is brought about by that the civilian or the non-toxicness or both happens. sent16: the sumo happens if the updating salt happens. sent17: the abolition happens if the glare does not occur. sent18: the untruthfulness does not occur if the fact that both the counterglow and the untruthfulness happens does not hold. ; $proof$ = 
sent10 -> int1: the oxygenating supplejack or the counterglow or both occurs.; int1 & sent8 -> int2: the civilianness does not occur.; void -> assump1: Let's assume that the toxicness happens.; int2 & assump1 -> int3: the non-civilianness and the toxicness happens.; int3 & sent3 -> int4: the sumo does not occur.; sent14 & sent9 -> int5: not the updating Bairava but the abolition occurs.; int5 -> int6: the updating Bairava does not occur.; sent11 & int6 -> int7: the sit-up or the updating salt or both happens.; int7 & sent5 & sent16 -> int8: the sumo occurs.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis; __DISPROVED__