the Normanness does not occur.
sent1: the virginal happens. sent2: if the bicentennialness does not occur the fact that the Normanness does not occur is correct. sent3: that the embrowning drosophila does not occur is not wrong if that the fact that the embrowning drosophila but not the Yumanness happens hold is false. sent4: if the Yuman occurs the non-carpellateness and the non-openingness happens. sent5: the fact that the bending does not occur is not false. sent6: the embrowning drosophila does not occur. sent7: that the roboticness happens prevents the non-Yumanness. sent8: the roboticness happens if the fact that the bend happens and the embrowning drosophila does not occur is wrong. sent9: if the fact that the carpellateness and the non-openingness happens is not incorrect the bicentennialness does not occur. sent10: the carpellateness does not occur. sent11: the homily does not occur if that both the non-coastalness and the non-cytokineticness occurs is not false. sent12: the inoffensiveness does not occur. sent13: if the non-carpellateness and the non-openingness occurs then the bicentennial does not occur. sent14: the fact that the bending occurs and the embrowning drosophila happens does not hold.
void -> assump1: Let's assume that the fact that the bend but not the embrowning drosophila happens is correct.; assump1 -> int1: the bending happens.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the bend happens but the embrowning drosophila does not occur is not right.; sent8 & int3 -> int4: the roboticness happens.; sent7 & int4 -> int5: the Yuman occurs.; sent4 & int5 -> int6: both the non-carpellateness and the non-openingness happens.; sent13 & int6 -> int7: the bicentennialness does not occur.; sent2 & int7 -> hypothesis;
the Norman occurs.
$hypothesis$ = the Normanness does not occur. ; $context$ = sent1: the virginal happens. sent2: if the bicentennialness does not occur the fact that the Normanness does not occur is correct. sent3: that the embrowning drosophila does not occur is not wrong if that the fact that the embrowning drosophila but not the Yumanness happens hold is false. sent4: if the Yuman occurs the non-carpellateness and the non-openingness happens. sent5: the fact that the bending does not occur is not false. sent6: the embrowning drosophila does not occur. sent7: that the roboticness happens prevents the non-Yumanness. sent8: the roboticness happens if the fact that the bend happens and the embrowning drosophila does not occur is wrong. sent9: if the fact that the carpellateness and the non-openingness happens is not incorrect the bicentennialness does not occur. sent10: the carpellateness does not occur. sent11: the homily does not occur if that both the non-coastalness and the non-cytokineticness occurs is not false. sent12: the inoffensiveness does not occur. sent13: if the non-carpellateness and the non-openingness occurs then the bicentennial does not occur. sent14: the fact that the bending occurs and the embrowning drosophila happens does not hold. ; $proof$ = 
void -> assump1: Let's assume that the fact that the bend but not the embrowning drosophila happens is correct.; assump1 -> int1: the bending happens.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the bend happens but the embrowning drosophila does not occur is not right.; sent8 & int3 -> int4: the roboticness happens.; sent7 & int4 -> int5: the Yuman occurs.; sent4 & int5 -> int6: both the non-carpellateness and the non-openingness happens.; sent13 & int6 -> int7: the bicentennialness does not occur.; sent2 & int7 -> hypothesis; __PROVED__