that the non-closedness and the ungregariousness happens is false.
sent1: that the syllogizing Arminius does not occur brings about that the upturn and/or the non-introspectiveness occurs. sent2: that the fact that the leadenness does not occur and the neurobiologicalness does not occur is not false is incorrect. sent3: that the remonstrating keeper occurs and/or the mutation occurs is false if the syllogizing marrowbone does not occur. sent4: if the austeniticness happens and/or the rotogravure occurs the gregariousness does not occur. sent5: if the remonstrating worldliness occurs the neurobiologicalness does not occur and the colonialism does not occur. sent6: the fact that the syllogizing marrowbone does not occur is right. sent7: the probating is prevented by that that the afforestation and the parallax happens is true. sent8: if the remonstrating clergyman does not occur then the remonstrating worldliness does not occur and the closing does not occur. sent9: if the remonstrating worldliness does not occur the remonstrating clergyman and the non-austeniticness occurs. sent10: if the probating does not occur the austeniticness happens and the leadenness occurs. sent11: if the remonstrating clergyman but not the austeniticness happens then the rotogravure happens. sent12: the syllogizing Arminius does not occur if that either the remonstrating keeper occurs or the mutation happens or both does not hold. sent13: if the rotogravure occurs then that the closedness does not occur and the gregariousness does not occur is not right. sent14: the neurobiologicalness occurs if the fact that both the non-leadenness and the non-neurobiologicalness happens is not right. sent15: not the remonstrating clergyman but the equivocalness happens if the impingement does not occur. sent16: the impingement does not occur if that the upturn happens hold.
void -> assump1: Let's assume that the remonstrating worldliness happens.; sent5 & assump1 -> int1: the neurobiologicalness does not occur and the colonialism does not occur.; int1 -> int2: the neurobiologicalness does not occur.; sent14 & sent2 -> int3: the neurobiologicalness happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the remonstrating worldliness does not occur.; int5 & sent9 -> int6: the remonstrating clergyman happens and the austeniticness does not occur.; int6 & sent11 -> int7: that the rotogravure occurs is true.; int7 & sent13 -> hypothesis;
both the non-closedness and the ungregariousness happens.
sent3 & sent6 -> int8: that the remonstrating keeper happens and/or the mutation occurs is not true.; sent12 & int8 -> int9: the syllogizing Arminius does not occur.; sent1 & int9 -> int10: the upturn occurs and/or the introspectiveness does not occur.;
$hypothesis$ = that the non-closedness and the ungregariousness happens is false. ; $context$ = sent1: that the syllogizing Arminius does not occur brings about that the upturn and/or the non-introspectiveness occurs. sent2: that the fact that the leadenness does not occur and the neurobiologicalness does not occur is not false is incorrect. sent3: that the remonstrating keeper occurs and/or the mutation occurs is false if the syllogizing marrowbone does not occur. sent4: if the austeniticness happens and/or the rotogravure occurs the gregariousness does not occur. sent5: if the remonstrating worldliness occurs the neurobiologicalness does not occur and the colonialism does not occur. sent6: the fact that the syllogizing marrowbone does not occur is right. sent7: the probating is prevented by that that the afforestation and the parallax happens is true. sent8: if the remonstrating clergyman does not occur then the remonstrating worldliness does not occur and the closing does not occur. sent9: if the remonstrating worldliness does not occur the remonstrating clergyman and the non-austeniticness occurs. sent10: if the probating does not occur the austeniticness happens and the leadenness occurs. sent11: if the remonstrating clergyman but not the austeniticness happens then the rotogravure happens. sent12: the syllogizing Arminius does not occur if that either the remonstrating keeper occurs or the mutation happens or both does not hold. sent13: if the rotogravure occurs then that the closedness does not occur and the gregariousness does not occur is not right. sent14: the neurobiologicalness occurs if the fact that both the non-leadenness and the non-neurobiologicalness happens is not right. sent15: not the remonstrating clergyman but the equivocalness happens if the impingement does not occur. sent16: the impingement does not occur if that the upturn happens hold. ; $proof$ = 
void -> assump1: Let's assume that the remonstrating worldliness happens.; sent5 & assump1 -> int1: the neurobiologicalness does not occur and the colonialism does not occur.; int1 -> int2: the neurobiologicalness does not occur.; sent14 & sent2 -> int3: the neurobiologicalness happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the remonstrating worldliness does not occur.; int5 & sent9 -> int6: the remonstrating clergyman happens and the austeniticness does not occur.; int6 & sent11 -> int7: that the rotogravure occurs is true.; int7 & sent13 -> hypothesis; __PROVED__