the fact that both the totalitarian and the terrestrialness happens does not hold.
sent1: if the disembarrassment does not occur that the woodiness occurs but the patriarchalness does not occur is not true. sent2: if the fact that the semanticness occurs is wrong the fact that both the totalitarianness and the terrestrialness occurs is not true. sent3: the tooth does not occur if the fact that that the woodiness and the non-patriarchalness occurs is wrong is true. sent4: the fact that the smashing goodwill happens and the C-section happens is not right. sent5: the terrestrialness and the disembarrassment occurs if the woodiness does not occur. sent6: the peak happens if that the C-section happens is not wrong. sent7: the Argive does not occur. sent8: the peaking happens if that the smashing goodwill but not the C-section happens does not hold. sent9: the fact that the fulfillment occurs and the gardening does not occur does not hold. sent10: that the smashing goodwill but not the C-section occurs is not right. sent11: the totalitarianness and the semanticness occurs if the peak does not occur. sent12: the fact that the smashing Giriama does not occur is wrong. sent13: if the smashing Giriama does not occur the nonwoodyness and the tooth occurs. sent14: that the semanticness and the peak occurs prevents that the disembarrassment happens. sent15: if the Argiveness does not occur then both the tooth and the smashing Giriama happens. sent16: the tooth does not occur if the woodiness does not occur. sent17: if the Argiveness does not occur then the fact that the smashing Giriama happens is not false.
sent8 & sent10 -> int1: the peaking occurs.; void -> assump1: Let's assume that the semanticness occurs.; int1 & assump1 -> int2: the semanticness happens and the peaking happens.; int2 & sent14 -> int3: that the disembarrassment does not occur is not incorrect.; int3 & sent1 -> int4: that the woodiness and the non-patriarchalness occurs is not right.; int4 & sent3 -> int5: that the tooth does not occur is right.; sent15 & sent7 -> int6: the tooth occurs and the smashing Giriama occurs.; int6 -> int7: the tooth occurs.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the semanticness does not occur.; int9 & sent2 -> hypothesis;
the totalitarian happens and the terrestrialness happens.
$hypothesis$ = the fact that both the totalitarian and the terrestrialness happens does not hold. ; $context$ = sent1: if the disembarrassment does not occur that the woodiness occurs but the patriarchalness does not occur is not true. sent2: if the fact that the semanticness occurs is wrong the fact that both the totalitarianness and the terrestrialness occurs is not true. sent3: the tooth does not occur if the fact that that the woodiness and the non-patriarchalness occurs is wrong is true. sent4: the fact that the smashing goodwill happens and the C-section happens is not right. sent5: the terrestrialness and the disembarrassment occurs if the woodiness does not occur. sent6: the peak happens if that the C-section happens is not wrong. sent7: the Argive does not occur. sent8: the peaking happens if that the smashing goodwill but not the C-section happens does not hold. sent9: the fact that the fulfillment occurs and the gardening does not occur does not hold. sent10: that the smashing goodwill but not the C-section occurs is not right. sent11: the totalitarianness and the semanticness occurs if the peak does not occur. sent12: the fact that the smashing Giriama does not occur is wrong. sent13: if the smashing Giriama does not occur the nonwoodyness and the tooth occurs. sent14: that the semanticness and the peak occurs prevents that the disembarrassment happens. sent15: if the Argiveness does not occur then both the tooth and the smashing Giriama happens. sent16: the tooth does not occur if the woodiness does not occur. sent17: if the Argiveness does not occur then the fact that the smashing Giriama happens is not false. ; $proof$ = 
sent8 & sent10 -> int1: the peaking occurs.; void -> assump1: Let's assume that the semanticness occurs.; int1 & assump1 -> int2: the semanticness happens and the peaking happens.; int2 & sent14 -> int3: that the disembarrassment does not occur is not incorrect.; int3 & sent1 -> int4: that the woodiness and the non-patriarchalness occurs is not right.; int4 & sent3 -> int5: that the tooth does not occur is right.; sent15 & sent7 -> int6: the tooth occurs and the smashing Giriama occurs.; int6 -> int7: the tooth occurs.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the semanticness does not occur.; int9 & sent2 -> hypothesis; __PROVED__