that the centerfold preens hold.
sent1: if the annoyance is cortical the centerfold preens. sent2: the splash trivializes weighted if the annoyance is not cortical. sent3: something is a flame-out if it is a Tilden. sent4: the fact that the remover is not a footpad is true. sent5: something themes eventration if it trivializes weighted. sent6: the splash is not an overdrive and does not preen. sent7: the splash is not an overdrive if it is not a kind of an overdrive and/or it is not a kind of a footpad. sent8: if there exists something such that it does theme eventration the racehorse is cortical and it trivializes weighted. sent9: the lace is a Eschrichtius. sent10: the centerfold does not preen if it does not overdrive and does trivialize weighted. sent11: that the aplite is a kind of a Eschrichtius hold. sent12: if the centerfold is cortical but it is not an overdrive then the fact that it does preen is not right. sent13: if something does not trivialize weighted then the fact that it is cortical or it preens or both is wrong. sent14: the centerfold does not preen if the fact that either the annoyance is cortical or it preen or both is not true. sent15: if the fact that the splash does not overdrive and does not preen is incorrect the annoyance does theme eventration. sent16: the splash is a Eschrichtius. sent17: if something that is not a kind of an overdrive is not a footpad then it does not theme eventration. sent18: if the splash is a Eschrichtius it is not an overdrive and is not a footpad. sent19: if something is not a kind of a footpad then the splash does not overdrive and/or it is not a kind of a footpad. sent20: the centerfold overdrives. sent21: the annoyance preens.
void -> assump1: Let's assume that the annoyance is not cortical.; sent2 & assump1 -> int1: the splash does trivialize weighted.; sent5 -> int2: if the splash does trivialize weighted it themes eventration.; int1 & int2 -> int3: the splash does theme eventration.; sent17 -> int4: if the splash is both not an overdrive and not a footpad then it does not theme eventration.; sent18 & sent16 -> int5: that the splash is not an overdrive and it is not a footpad is right.; int4 & int5 -> int6: the splash does not theme eventration.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the fact that the annoyance is cortical is not wrong.; int8 & sent1 -> hypothesis;
the racehorse is not a visor and does not trivialize centerfold.
$hypothesis$ = that the centerfold preens hold. ; $context$ = sent1: if the annoyance is cortical the centerfold preens. sent2: the splash trivializes weighted if the annoyance is not cortical. sent3: something is a flame-out if it is a Tilden. sent4: the fact that the remover is not a footpad is true. sent5: something themes eventration if it trivializes weighted. sent6: the splash is not an overdrive and does not preen. sent7: the splash is not an overdrive if it is not a kind of an overdrive and/or it is not a kind of a footpad. sent8: if there exists something such that it does theme eventration the racehorse is cortical and it trivializes weighted. sent9: the lace is a Eschrichtius. sent10: the centerfold does not preen if it does not overdrive and does trivialize weighted. sent11: that the aplite is a kind of a Eschrichtius hold. sent12: if the centerfold is cortical but it is not an overdrive then the fact that it does preen is not right. sent13: if something does not trivialize weighted then the fact that it is cortical or it preens or both is wrong. sent14: the centerfold does not preen if the fact that either the annoyance is cortical or it preen or both is not true. sent15: if the fact that the splash does not overdrive and does not preen is incorrect the annoyance does theme eventration. sent16: the splash is a Eschrichtius. sent17: if something that is not a kind of an overdrive is not a footpad then it does not theme eventration. sent18: if the splash is a Eschrichtius it is not an overdrive and is not a footpad. sent19: if something is not a kind of a footpad then the splash does not overdrive and/or it is not a kind of a footpad. sent20: the centerfold overdrives. sent21: the annoyance preens. ; $proof$ = 
void -> assump1: Let's assume that the annoyance is not cortical.; sent2 & assump1 -> int1: the splash does trivialize weighted.; sent5 -> int2: if the splash does trivialize weighted it themes eventration.; int1 & int2 -> int3: the splash does theme eventration.; sent17 -> int4: if the splash is both not an overdrive and not a footpad then it does not theme eventration.; sent18 & sent16 -> int5: that the splash is not an overdrive and it is not a footpad is right.; int4 & int5 -> int6: the splash does not theme eventration.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the fact that the annoyance is cortical is not wrong.; int8 & sent1 -> hypothesis; __PROVED__