both the concurring and the pneumogastricness occurs.
sent1: the completion and the heartbreaker happens. sent2: if the Ascension occurs then the fact that the unsalableness occurs is not false. sent3: the patinating Hygrotrama does not occur and the smother does not occur if the groove happens. sent4: the salableness is triggered by that both the heartbreaker and the detailing verso occurs. sent5: the patinating Hygrotrama does not occur but the smothering happens. sent6: if the detailing verso does not occur the concurring occurs. sent7: if the smother happens the fact that the migrationalness happens is not false. sent8: the groove and the non-conicness occurs if the capitularness occurs. sent9: if the completion does not occur then the fact that the concurring and the pneumogastricness happens is not correct. sent10: that the completion occurs is prevented by that the detailing verso but not the heartbreaker occurs. sent11: if the Ascension does not occur or the unsalableness does not occur or both the migrationalness does not occur.
sent1 -> int1: the fact that the heartbreaker happens is not false.; void -> assump1: Let's assume that the detailing verso happens.; int1 & assump1 -> int2: the heartbreaker occurs and the detailing verso occurs.; int2 & sent4 -> int3: the unsalableness does not occur.; int3 -> int4: either the Ascension does not occur or the unsalableness does not occur or both.; int4 & sent11 -> int5: the migrationalness does not occur.; sent5 -> int6: the smother occurs.; sent7 & int6 -> int7: the migrationalness occurs.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the detailing verso does not occur.;
the fact that the concurring and the pneumogastricness occurs is incorrect.
$hypothesis$ = both the concurring and the pneumogastricness occurs. ; $context$ = sent1: the completion and the heartbreaker happens. sent2: if the Ascension occurs then the fact that the unsalableness occurs is not false. sent3: the patinating Hygrotrama does not occur and the smother does not occur if the groove happens. sent4: the salableness is triggered by that both the heartbreaker and the detailing verso occurs. sent5: the patinating Hygrotrama does not occur but the smothering happens. sent6: if the detailing verso does not occur the concurring occurs. sent7: if the smother happens the fact that the migrationalness happens is not false. sent8: the groove and the non-conicness occurs if the capitularness occurs. sent9: if the completion does not occur then the fact that the concurring and the pneumogastricness happens is not correct. sent10: that the completion occurs is prevented by that the detailing verso but not the heartbreaker occurs. sent11: if the Ascension does not occur or the unsalableness does not occur or both the migrationalness does not occur. ; $proof$ = 
sent1 -> int1: the fact that the heartbreaker happens is not false.; void -> assump1: Let's assume that the detailing verso happens.; int1 & assump1 -> int2: the heartbreaker occurs and the detailing verso occurs.; int2 & sent4 -> int3: the unsalableness does not occur.; int3 -> int4: either the Ascension does not occur or the unsalableness does not occur or both.; int4 & sent11 -> int5: the migrationalness does not occur.; sent5 -> int6: the smother occurs.; sent7 & int6 -> int7: the migrationalness occurs.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the detailing verso does not occur.; __UNKNOWN__