that the Salvadoranness happens but the slogging Grass does not occur if the bise happens is incorrect.
sent1: that the slogging Grass does not occur and the Salvadoranness happens is incorrect if the sublingualness does not occur. sent2: the brew occurs. sent3: if that the bise does not occur is not wrong then the ridding Palaquium does not occur and the soubrette does not occur. sent4: the caroming does not occur. sent5: the viviparousness does not occur. sent6: the soubrette and the ridding Palaquium happens. sent7: that the sublingualness occurs is not incorrect. sent8: the bicycling happens and the twilight does not occur. sent9: if the soubrette does not occur then the glyptography and the non-off-siteness happens. sent10: if the bise does not occur both the booking tabasco and the ridding Palaquium occurs. sent11: if the backfiring happens and the fencing occurs the fact that the gyroscopicness does not occur is not false. sent12: the fact that the sublingualness occurs and the Salvadoran happens hold if the saltation does not occur. sent13: the Liechtensteinerness occurs but the compoundness does not occur. sent14: the clutching happens but the saltation does not occur. sent15: the homileticsness occurs but the product does not occur. sent16: both the trampling and the rhombicness occurs. sent17: that the bacteroidalness but not the holophyticness occurs is caused by that the slogging kabbalism happens. sent18: that both the soubrette and the bise occurs yields that the slogging Grass does not occur. sent19: that the saltation does not occur leads to that the sublingualness occurs. sent20: the ridding Palaquium occurs. sent21: the clutching happens.
sent6 -> int1: the fact that the soubrette happens hold.; void -> assump1: Let's assume that the bise occurs.; int1 & assump1 -> int2: both the soubrette and the bise happens.; int2 & sent18 -> int3: the slogging Grass does not occur.; sent14 -> int4: the saltation does not occur.; sent12 & int4 -> int5: both the sublingualness and the Salvadoranness occurs.; int5 -> int6: the Salvadoranness occurs.; int3 & int6 -> int7: the Salvadoran happens and the slogging Grass does not occur.; [assump1] & int7 -> hypothesis;
both the glyptography and the non-off-siteness happens.
$hypothesis$ = that the Salvadoranness happens but the slogging Grass does not occur if the bise happens is incorrect. ; $context$ = sent1: that the slogging Grass does not occur and the Salvadoranness happens is incorrect if the sublingualness does not occur. sent2: the brew occurs. sent3: if that the bise does not occur is not wrong then the ridding Palaquium does not occur and the soubrette does not occur. sent4: the caroming does not occur. sent5: the viviparousness does not occur. sent6: the soubrette and the ridding Palaquium happens. sent7: that the sublingualness occurs is not incorrect. sent8: the bicycling happens and the twilight does not occur. sent9: if the soubrette does not occur then the glyptography and the non-off-siteness happens. sent10: if the bise does not occur both the booking tabasco and the ridding Palaquium occurs. sent11: if the backfiring happens and the fencing occurs the fact that the gyroscopicness does not occur is not false. sent12: the fact that the sublingualness occurs and the Salvadoran happens hold if the saltation does not occur. sent13: the Liechtensteinerness occurs but the compoundness does not occur. sent14: the clutching happens but the saltation does not occur. sent15: the homileticsness occurs but the product does not occur. sent16: both the trampling and the rhombicness occurs. sent17: that the bacteroidalness but not the holophyticness occurs is caused by that the slogging kabbalism happens. sent18: that both the soubrette and the bise occurs yields that the slogging Grass does not occur. sent19: that the saltation does not occur leads to that the sublingualness occurs. sent20: the ridding Palaquium occurs. sent21: the clutching happens. ; $proof$ = 
sent6 -> int1: the fact that the soubrette happens hold.; void -> assump1: Let's assume that the bise occurs.; int1 & assump1 -> int2: both the soubrette and the bise happens.; int2 & sent18 -> int3: the slogging Grass does not occur.; sent14 -> int4: the saltation does not occur.; sent12 & int4 -> int5: both the sublingualness and the Salvadoranness occurs.; int5 -> int6: the Salvadoranness occurs.; int3 & int6 -> int7: the Salvadoran happens and the slogging Grass does not occur.; [assump1] & int7 -> hypothesis; __DISPROVED__