that the socializing Ruptiliocarpon does not occur and the recognition does not occur does not hold.
sent1: both the guessing argemone and the delivery occurs. sent2: if the fact that the hymenalness occurs and the aggression occurs does not hold the hymenalness does not occur. sent3: the intrauterineness does not occur if that the invoking Hydrophyllum and the intrauterineness occurs is not correct. sent4: if the hymenalness does not occur that the invoking Hydrophyllum occurs and the intrauterineness occurs is not true. sent5: that the intrauterineness does not occur but the hymenalness happens does not hold if the fact that the invoking Hydrophyllum does not occur is not wrong. sent6: if the fact that the antiapartheidness does not occur and the guessing tensiometer does not occur is wrong the socializing Ruptiliocarpon does not occur. sent7: if the fact that the intrauterineness does not occur is not false both the guessing chalcedony and the Andorranness happens. sent8: that the guessing argemone happens and the antiapartheidness happens prevents that the guessing tensiometer occurs. sent9: that the leadership happens but the guessing chalcedony does not occur is brought about by that the guessing tensiometer does not occur. sent10: that the leadership happens and the guessing chalcedony happens is caused by that the Andorranness does not occur. sent11: that both the hymenalness and the aggression happens is not correct. sent12: if the antiapartheidness does not occur that the socializing Ruptiliocarpon does not occur and the recognition does not occur is wrong. sent13: that the antiapartheidness does not occur and the guessing tensiometer does not occur is not correct if the leadership occurs.
sent1 -> int1: the guessing argemone happens.; void -> assump1: Let's assume that the antiapartheidness occurs.; int1 & assump1 -> int2: the guessing argemone and the antiapartheidness occurs.; int2 & sent8 -> int3: the guessing tensiometer does not occur.; int3 & sent9 -> int4: the leadership but not the guessing chalcedony occurs.; int4 -> int5: the guessing chalcedony does not occur.; sent2 & sent11 -> int6: the hymenalness does not occur.; sent4 & int6 -> int7: the fact that the invoking Hydrophyllum occurs and the intrauterineness happens is not correct.; sent3 & int7 -> int8: the intrauterineness does not occur.; sent7 & int8 -> int9: the guessing chalcedony occurs and the Andorran occurs.; int9 -> int10: the guessing chalcedony happens.; int5 & int10 -> int11: this is contradiction.; [assump1] & int11 -> int12: the antiapartheidness does not occur.; int12 & sent12 -> hypothesis;
the socializing Ruptiliocarpon does not occur and the recognition does not occur.
$hypothesis$ = that the socializing Ruptiliocarpon does not occur and the recognition does not occur does not hold. ; $context$ = sent1: both the guessing argemone and the delivery occurs. sent2: if the fact that the hymenalness occurs and the aggression occurs does not hold the hymenalness does not occur. sent3: the intrauterineness does not occur if that the invoking Hydrophyllum and the intrauterineness occurs is not correct. sent4: if the hymenalness does not occur that the invoking Hydrophyllum occurs and the intrauterineness occurs is not true. sent5: that the intrauterineness does not occur but the hymenalness happens does not hold if the fact that the invoking Hydrophyllum does not occur is not wrong. sent6: if the fact that the antiapartheidness does not occur and the guessing tensiometer does not occur is wrong the socializing Ruptiliocarpon does not occur. sent7: if the fact that the intrauterineness does not occur is not false both the guessing chalcedony and the Andorranness happens. sent8: that the guessing argemone happens and the antiapartheidness happens prevents that the guessing tensiometer occurs. sent9: that the leadership happens but the guessing chalcedony does not occur is brought about by that the guessing tensiometer does not occur. sent10: that the leadership happens and the guessing chalcedony happens is caused by that the Andorranness does not occur. sent11: that both the hymenalness and the aggression happens is not correct. sent12: if the antiapartheidness does not occur that the socializing Ruptiliocarpon does not occur and the recognition does not occur is wrong. sent13: that the antiapartheidness does not occur and the guessing tensiometer does not occur is not correct if the leadership occurs. ; $proof$ = 
sent1 -> int1: the guessing argemone happens.; void -> assump1: Let's assume that the antiapartheidness occurs.; int1 & assump1 -> int2: the guessing argemone and the antiapartheidness occurs.; int2 & sent8 -> int3: the guessing tensiometer does not occur.; int3 & sent9 -> int4: the leadership but not the guessing chalcedony occurs.; int4 -> int5: the guessing chalcedony does not occur.; sent2 & sent11 -> int6: the hymenalness does not occur.; sent4 & int6 -> int7: the fact that the invoking Hydrophyllum occurs and the intrauterineness happens is not correct.; sent3 & int7 -> int8: the intrauterineness does not occur.; sent7 & int8 -> int9: the guessing chalcedony occurs and the Andorran occurs.; int9 -> int10: the guessing chalcedony happens.; int5 & int10 -> int11: this is contradiction.; [assump1] & int11 -> int12: the antiapartheidness does not occur.; int12 & sent12 -> hypothesis; __PROVED__