the fact that the triumph and the circumvallating doghouse happens if the splatting does not occur is incorrect.
sent1: if the injection occurs the triumph occurs. sent2: if the splatting occurs the consequence but not the kismet happens. sent3: if the fact that the splatting and the carding occurs is incorrect then the carding does not occur. sent4: the squishing Euterpe is caused by the pity. sent5: that the ringer but not the loading occurs is caused by that the paternity happens. sent6: the exhumation happens. sent7: the insubordination is prevented by the non-Noachianness. sent8: the Kazakhstaniness but not the clayeiness happens if the fact that the icing does not occur is not wrong. sent9: the fact that the splatting occurs and the carding happens is not right if the injection does not occur. sent10: the bawling does not occur. sent11: the triumph and the circumvallating doghouse occurs if the splatting occurs. sent12: the circumvallating doghouse occurs. sent13: the fact that the kismet does not occur is right. sent14: that the rationalistness happens yields that the prizefighting occurs. sent15: the grant happens if the infectiousness occurs. sent16: the consequence happens but the kismet does not occur if the splatting does not occur. sent17: the submersion does not occur if the nonenzymaticness does not occur. sent18: the presiding happens. sent19: the listening happens. sent20: the fact that the injection happens hold if the consequence happens.
void -> assump1: Let's assume that the splatting does not occur.; sent16 & assump1 -> int1: the consequence occurs but the kismet does not occur.; int1 -> int2: the consequence happens.; int2 & sent20 -> int3: the injection occurs.; int3 & sent1 -> int4: the triumph happens.; int4 & sent12 -> int5: the triumph and the circumvallating doghouse happens.; [assump1] & int5 -> hypothesis;
the carding does not occur.
$hypothesis$ = the fact that the triumph and the circumvallating doghouse happens if the splatting does not occur is incorrect. ; $context$ = sent1: if the injection occurs the triumph occurs. sent2: if the splatting occurs the consequence but not the kismet happens. sent3: if the fact that the splatting and the carding occurs is incorrect then the carding does not occur. sent4: the squishing Euterpe is caused by the pity. sent5: that the ringer but not the loading occurs is caused by that the paternity happens. sent6: the exhumation happens. sent7: the insubordination is prevented by the non-Noachianness. sent8: the Kazakhstaniness but not the clayeiness happens if the fact that the icing does not occur is not wrong. sent9: the fact that the splatting occurs and the carding happens is not right if the injection does not occur. sent10: the bawling does not occur. sent11: the triumph and the circumvallating doghouse occurs if the splatting occurs. sent12: the circumvallating doghouse occurs. sent13: the fact that the kismet does not occur is right. sent14: that the rationalistness happens yields that the prizefighting occurs. sent15: the grant happens if the infectiousness occurs. sent16: the consequence happens but the kismet does not occur if the splatting does not occur. sent17: the submersion does not occur if the nonenzymaticness does not occur. sent18: the presiding happens. sent19: the listening happens. sent20: the fact that the injection happens hold if the consequence happens. ; $proof$ = 
void -> assump1: Let's assume that the splatting does not occur.; sent16 & assump1 -> int1: the consequence occurs but the kismet does not occur.; int1 -> int2: the consequence happens.; int2 & sent20 -> int3: the injection occurs.; int3 & sent1 -> int4: the triumph happens.; int4 & sent12 -> int5: the triumph and the circumvallating doghouse happens.; [assump1] & int5 -> hypothesis; __DISPROVED__