the fact that the memorializing Ireland happens and/or the abducent does not occur does not hold.
sent1: the horticulturalness occurs. sent2: that the true-falseness does not occur leads to that the memorializing Ireland occurs and/or that the abducent happens. sent3: the skeleton occurs if that the jingoism does not occur and the skeleton does not occur is wrong. sent4: the memorializing Ireland does not occur or the position does not occur or both if the jingoism does not occur. sent5: the skeleton does not occur if the memorializing additive happens and the horticulturalness happens. sent6: if the memorializing Ireland does not occur the fact that both the skeleton and the non-abducentness occurs is not true. sent7: the position does not occur. sent8: that the memorializing Ireland occurs and/or the non-abducentness is brought about by that the true-falseness does not occur. sent9: if the position does not occur the fact that the jingoism does not occur and the skeleton does not occur is incorrect. sent10: if that the true-falseness occurs but the memorializing additive does not occur is not correct the pictorial does not occur. sent11: the wrestling murderee occurs. sent12: that the true-falseness but not the memorializing additive happens is not correct if the horticulturalness does not occur. sent13: that the curbing does not occur and the Boeotianness does not occur is not right if the blueing Bartlesville does not occur. sent14: if the fact that the disposition does not occur and the rowing does not occur is wrong then the rowing occurs. sent15: the memorializing Ireland does not occur if the jingoism occurs. sent16: that the memorializing additive does not occur is prevented by that the true-falseness occurs.
void -> assump1: Let's assume that the fact that the true-falseness occurs is correct.; sent16 & assump1 -> int1: the memorializing additive occurs.; int1 & sent1 -> int2: the memorializing additive occurs and the horticulturalness occurs.; int2 & sent5 -> int3: that the skeleton happens is not right.; sent9 & sent7 -> int4: that the jingoism does not occur and the skeleton does not occur is wrong.; sent3 & int4 -> int5: the skeleton happens.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the true-falseness does not occur.; int7 & sent8 -> hypothesis;
the fact that the Down happens is true.
$hypothesis$ = the fact that the memorializing Ireland happens and/or the abducent does not occur does not hold. ; $context$ = sent1: the horticulturalness occurs. sent2: that the true-falseness does not occur leads to that the memorializing Ireland occurs and/or that the abducent happens. sent3: the skeleton occurs if that the jingoism does not occur and the skeleton does not occur is wrong. sent4: the memorializing Ireland does not occur or the position does not occur or both if the jingoism does not occur. sent5: the skeleton does not occur if the memorializing additive happens and the horticulturalness happens. sent6: if the memorializing Ireland does not occur the fact that both the skeleton and the non-abducentness occurs is not true. sent7: the position does not occur. sent8: that the memorializing Ireland occurs and/or the non-abducentness is brought about by that the true-falseness does not occur. sent9: if the position does not occur the fact that the jingoism does not occur and the skeleton does not occur is incorrect. sent10: if that the true-falseness occurs but the memorializing additive does not occur is not correct the pictorial does not occur. sent11: the wrestling murderee occurs. sent12: that the true-falseness but not the memorializing additive happens is not correct if the horticulturalness does not occur. sent13: that the curbing does not occur and the Boeotianness does not occur is not right if the blueing Bartlesville does not occur. sent14: if the fact that the disposition does not occur and the rowing does not occur is wrong then the rowing occurs. sent15: the memorializing Ireland does not occur if the jingoism occurs. sent16: that the memorializing additive does not occur is prevented by that the true-falseness occurs. ; $proof$ = 
void -> assump1: Let's assume that the fact that the true-falseness occurs is correct.; sent16 & assump1 -> int1: the memorializing additive occurs.; int1 & sent1 -> int2: the memorializing additive occurs and the horticulturalness occurs.; int2 & sent5 -> int3: that the skeleton happens is not right.; sent9 & sent7 -> int4: that the jingoism does not occur and the skeleton does not occur is wrong.; sent3 & int4 -> int5: the skeleton happens.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the true-falseness does not occur.; int7 & sent8 -> hypothesis; __DISPROVED__