the westerly is apocalyptic if the fern is a ratite.
sent1: the fact that the fern does pity Catoptrophorus is not incorrect. sent2: the fern is a kind of a settler if the fact that either the westerly is alike or it is not apocalyptic or both is not right. sent3: the julep is a settler. sent4: that the artist is not apocalyptic and/or is not diclinous is not correct. sent5: something is resistible if it does mortify. sent6: the westerly is a porridge. sent7: the westerly is alike. sent8: the westerly does single bryanthus. sent9: the fact that something is unalike or it is not apocalyptic or both is wrong if it is a ratite. sent10: if something is a ratite it is apocalyptic. sent11: the westerly is apocalyptic if that the fern is not alike and/or it is not a settler does not hold. sent12: if the fern is a settler it does pity hobbyism. sent13: something is apocalyptic if it is a kind of a settler. sent14: that either something is not alike or it is not a settler or both is not right if it is a ratite.
sent14 -> int1: if the fern is a ratite the fact that it is not alike and/or it is not a settler does not hold.; void -> assump1: Let's assume that the fern is a ratite.; int1 & assump1 -> int2: that the fern is not alike and/or is not a settler is false.; sent11 & int2 -> int3: the westerly is not non-apocalyptic.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the westerly is apocalyptic if the fern is a ratite. ; $context$ = sent1: the fact that the fern does pity Catoptrophorus is not incorrect. sent2: the fern is a kind of a settler if the fact that either the westerly is alike or it is not apocalyptic or both is not right. sent3: the julep is a settler. sent4: that the artist is not apocalyptic and/or is not diclinous is not correct. sent5: something is resistible if it does mortify. sent6: the westerly is a porridge. sent7: the westerly is alike. sent8: the westerly does single bryanthus. sent9: the fact that something is unalike or it is not apocalyptic or both is wrong if it is a ratite. sent10: if something is a ratite it is apocalyptic. sent11: the westerly is apocalyptic if that the fern is not alike and/or it is not a settler does not hold. sent12: if the fern is a settler it does pity hobbyism. sent13: something is apocalyptic if it is a kind of a settler. sent14: that either something is not alike or it is not a settler or both is not right if it is a ratite. ; $proof$ = 
sent14 -> int1: if the fern is a ratite the fact that it is not alike and/or it is not a settler does not hold.; void -> assump1: Let's assume that the fern is a ratite.; int1 & assump1 -> int2: that the fern is not alike and/or is not a settler is false.; sent11 & int2 -> int3: the westerly is not non-apocalyptic.; [assump1] & int3 -> hypothesis; __PROVED__