the fact that the scoffing sinciput but not the HRT happens is not right.
sent1: the planetariness does not occur. sent2: the secretaryship does not occur and the sobbing does not occur. sent3: the scoffing trichromacy and the vest happens if the planetariness does not occur. sent4: that the backgammon occurs is not wrong. sent5: the scoffing trichromacy does not occur if both the HRT and the backgammon occurs. sent6: that both the scoffing sinciput and the scoffing unsusceptibility happens is brought about by that the secretaryship does not occur. sent7: if the backgammon does not occur the HRT happens but the commensal does not occur.
void -> assump1: Let's assume that the HRT happens.; assump1 & sent4 -> int1: the HRT occurs and the backgammon occurs.; int1 & sent5 -> int2: the scoffing trichromacy does not occur.; sent3 & sent1 -> int3: both the scoffing trichromacy and the vesting happens.; int3 -> int4: the fact that the scoffing trichromacy occurs is not false.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the HRT does not occur.; sent2 -> int7: the secretaryship does not occur.; sent6 & int7 -> int8: the scoffing sinciput occurs and the scoffing unsusceptibility occurs.; int8 -> int9: the scoffing sinciput occurs.; int6 & int9 -> hypothesis;
the commensalness does not occur.
$hypothesis$ = the fact that the scoffing sinciput but not the HRT happens is not right. ; $context$ = sent1: the planetariness does not occur. sent2: the secretaryship does not occur and the sobbing does not occur. sent3: the scoffing trichromacy and the vest happens if the planetariness does not occur. sent4: that the backgammon occurs is not wrong. sent5: the scoffing trichromacy does not occur if both the HRT and the backgammon occurs. sent6: that both the scoffing sinciput and the scoffing unsusceptibility happens is brought about by that the secretaryship does not occur. sent7: if the backgammon does not occur the HRT happens but the commensal does not occur. ; $proof$ = 
void -> assump1: Let's assume that the HRT happens.; assump1 & sent4 -> int1: the HRT occurs and the backgammon occurs.; int1 & sent5 -> int2: the scoffing trichromacy does not occur.; sent3 & sent1 -> int3: both the scoffing trichromacy and the vesting happens.; int3 -> int4: the fact that the scoffing trichromacy occurs is not false.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the HRT does not occur.; sent2 -> int7: the secretaryship does not occur.; sent6 & int7 -> int8: the scoffing sinciput occurs and the scoffing unsusceptibility occurs.; int8 -> int9: the scoffing sinciput occurs.; int6 & int9 -> hypothesis; __DISPROVED__