that both the Monacanness and the grunt occurs is brought about by that the haircut does not occur.
sent1: the effortfulness does not occur. sent2: that the tetravalentness occurs and the raid occurs is wrong. sent3: the carpalness and the horripilating lavishness happens. sent4: if the interrogative occurs but the occidentalizing short-stop does not occur that the haircut occurs is not false. sent5: that the caressing does not occur is not wrong if the tetravalentness occurs. sent6: the muster occurs. sent7: the Monacanness occurs and the muster happens if the caressing does not occur. sent8: the interrogativeness happens. sent9: the horripilating lavishness happens. sent10: if the fact that both the noisiness and the ionicness happens is wrong the fact that the numeral does not occur is true. sent11: that the tetravalentness and the raiding happens is not correct if the fact that the carpalness occurs is not wrong. sent12: that the interrogativeness does not occur brings about that the defervescentness does not occur. sent13: that the haircut and the non-defervescentness occurs results in the vicissitude. sent14: the dissidence happens. sent15: the mustering happens if the caressing does not occur. sent16: if the fact that the interrogative but not the occidentalizing short-stop happens is false the defervescentness does not occur. sent17: the caressing does not occur if the fact that the non-tetravalentness and the raiding happens is incorrect. sent18: if the carpal happens then the fact that the non-tetravalentness and the raid happens is wrong. sent19: the subscript happens. sent20: the subscriptness occurs if the defervescentness does not occur. sent21: the fact that both the non-breakableness and the thermoelectricness occurs is not right if the contorting happens. sent22: the haircut causes that the Monacanness happens and the grunting happens. sent23: if the defervescentness does not occur the diving and the subscript occurs.
void -> assump2: Let's assume that the interrogativeness but not the occidentalizing short-stop happens.; sent4 & assump2 -> int1: the haircut happens.; void -> assump1: Let's assume that the haircut does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the interrogative but not the occidentalizing short-stop occurs does not hold.; int3 & sent16 -> int4: the defervescentness does not occur.; int4 & sent23 -> int5: the dive occurs and the subscript occurs.; int5 -> int6: the dive occurs.; sent3 -> int7: the fact that the carpalness happens is true.; sent18 & int7 -> int8: that the fact that both the non-tetravalentness and the raiding happens is true is false.; sent17 & int8 -> int9: the caressing does not occur.; sent7 & int9 -> int10: the Monacanness and the mustering happens.; int10 -> int11: the Monacanness happens.;
the vicissitude happens.
$hypothesis$ = that both the Monacanness and the grunt occurs is brought about by that the haircut does not occur. ; $context$ = sent1: the effortfulness does not occur. sent2: that the tetravalentness occurs and the raid occurs is wrong. sent3: the carpalness and the horripilating lavishness happens. sent4: if the interrogative occurs but the occidentalizing short-stop does not occur that the haircut occurs is not false. sent5: that the caressing does not occur is not wrong if the tetravalentness occurs. sent6: the muster occurs. sent7: the Monacanness occurs and the muster happens if the caressing does not occur. sent8: the interrogativeness happens. sent9: the horripilating lavishness happens. sent10: if the fact that both the noisiness and the ionicness happens is wrong the fact that the numeral does not occur is true. sent11: that the tetravalentness and the raiding happens is not correct if the fact that the carpalness occurs is not wrong. sent12: that the interrogativeness does not occur brings about that the defervescentness does not occur. sent13: that the haircut and the non-defervescentness occurs results in the vicissitude. sent14: the dissidence happens. sent15: the mustering happens if the caressing does not occur. sent16: if the fact that the interrogative but not the occidentalizing short-stop happens is false the defervescentness does not occur. sent17: the caressing does not occur if the fact that the non-tetravalentness and the raiding happens is incorrect. sent18: if the carpal happens then the fact that the non-tetravalentness and the raid happens is wrong. sent19: the subscript happens. sent20: the subscriptness occurs if the defervescentness does not occur. sent21: the fact that both the non-breakableness and the thermoelectricness occurs is not right if the contorting happens. sent22: the haircut causes that the Monacanness happens and the grunting happens. sent23: if the defervescentness does not occur the diving and the subscript occurs. ; $proof$ = 
void -> assump2: Let's assume that the interrogativeness but not the occidentalizing short-stop happens.; sent4 & assump2 -> int1: the haircut happens.; void -> assump1: Let's assume that the haircut does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the interrogative but not the occidentalizing short-stop occurs does not hold.; int3 & sent16 -> int4: the defervescentness does not occur.; int4 & sent23 -> int5: the dive occurs and the subscript occurs.; int5 -> int6: the dive occurs.; sent3 -> int7: the fact that the carpalness happens is true.; sent18 & int7 -> int8: that the fact that both the non-tetravalentness and the raiding happens is true is false.; sent17 & int8 -> int9: the caressing does not occur.; sent7 & int9 -> int10: the Monacanness and the mustering happens.; int10 -> int11: the Monacanness happens.; __UNKNOWN__