the corbel is not a Canute.
sent1: the bookmobile is colorectal and/or emends seconder. sent2: there exists something such that it is a honker. sent3: the bookmobile is not colorectal or it does emend seconder or both if it is a kind of a honker. sent4: if there exists something such that it is not a honker the corbel is acetic. sent5: that something is not multilateral and it is not a kind of a tailor is wrong if it is not steadying. sent6: everything does not steady. sent7: if the corbel is a honker that the bookmobile does not owe is not false. sent8: if the bookmobile is a honker it is colorectal or it emends seconder or both. sent9: that the bookmobile tailors is right. sent10: if the fact that there is something such that it is not a kind of a honker is not false then the corbel is acetic but it does not urticate corbel. sent11: if the fact that something is not multilateral and is not a kind of a tailor is incorrect then it is acetic. sent12: the corbel is not a Canute if it is acetic and does not urticate corbel. sent13: the fact that something does not urticate corbel and it is not a honker is wrong if it is acetic. sent14: if the bookmobile does tailor then the fact that it is not colorectal or emends seconder or both does not hold.
void -> assump1: Let's assume that the bookmobile is a honker.; sent3 & assump1 -> int1: the bookmobile is not colorectal and/or emends seconder.; sent14 & sent9 -> int2: that the bookmobile is not colorectal or does emend seconder or both is not right.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the bookmobile is not a honker.; int4 -> int5: there exists something such that it is not a honker.; int5 & sent10 -> int6: the corbel is acetic but it does not urticate corbel.; int6 & sent12 -> hypothesis;
there exists something such that it does not owe.
$hypothesis$ = the corbel is not a Canute. ; $context$ = sent1: the bookmobile is colorectal and/or emends seconder. sent2: there exists something such that it is a honker. sent3: the bookmobile is not colorectal or it does emend seconder or both if it is a kind of a honker. sent4: if there exists something such that it is not a honker the corbel is acetic. sent5: that something is not multilateral and it is not a kind of a tailor is wrong if it is not steadying. sent6: everything does not steady. sent7: if the corbel is a honker that the bookmobile does not owe is not false. sent8: if the bookmobile is a honker it is colorectal or it emends seconder or both. sent9: that the bookmobile tailors is right. sent10: if the fact that there is something such that it is not a kind of a honker is not false then the corbel is acetic but it does not urticate corbel. sent11: if the fact that something is not multilateral and is not a kind of a tailor is incorrect then it is acetic. sent12: the corbel is not a Canute if it is acetic and does not urticate corbel. sent13: the fact that something does not urticate corbel and it is not a honker is wrong if it is acetic. sent14: if the bookmobile does tailor then the fact that it is not colorectal or emends seconder or both does not hold. ; $proof$ = 
void -> assump1: Let's assume that the bookmobile is a honker.; sent3 & assump1 -> int1: the bookmobile is not colorectal and/or emends seconder.; sent14 & sent9 -> int2: that the bookmobile is not colorectal or does emend seconder or both is not right.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the bookmobile is not a honker.; int4 -> int5: there exists something such that it is not a honker.; int5 & sent10 -> int6: the corbel is acetic but it does not urticate corbel.; int6 & sent12 -> hypothesis; __PROVED__