the Honduran is not an excavation.
sent1: if the chondrin does empty cheerfulness the sushi is a Kenyapithecus. sent2: the bookdealer is not a philanthropy if it is attitudinal. sent3: if something that is a cystine does not consolidate petrolatum then the chondrin does empty cheerfulness. sent4: if the Honduran is not a kind of an excavation it is a cystine that does not consolidate petrolatum. sent5: the fact that the glochidium is not a British but it bends does not hold if there is something such that it is a Kenyapithecus. sent6: the Honduran empties cheerfulness and is not a Zoroastrian. sent7: the Herr is not a bog but it is a fencer. sent8: the bookdealer is a philanthropy if it is not a crocus. sent9: there is something such that the fact that it is not a bend does not hold. sent10: if the bookdealer is not a crocus then it is not a philanthropy. sent11: if that the Honduran is not an excavation is not false then it is a cystine. sent12: if there is something such that it is not a philanthropy then the glochidium is both not British and a bend. sent13: the bookdealer is attitudinal and/or it is not a crocus. sent14: the fact that the Honduran is Rousseauan is not false.
void -> assump1: Let's assume that the Honduran is not a kind of an excavation.; sent4 & assump1 -> int1: the Honduran is a cystine but it does not consolidate petrolatum.; int1 -> int2: there exists something such that it is a cystine and it does not consolidate petrolatum.; int2 & sent3 -> int3: the chondrin empties cheerfulness.; int3 & sent1 -> int4: the sushi is a kind of a Kenyapithecus.; int4 -> int5: there exists something such that it is a Kenyapithecus.; int5 & sent5 -> int6: the fact that the glochidium is a kind of non-British thing that is a bend is false.; sent13 & sent2 & sent10 -> int7: the bookdealer is not a philanthropy.; int7 -> int8: there is something such that it is not a philanthropy.; int8 & sent12 -> int9: the glochidium is non-British thing that bends.; int6 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis;
$hypothesis$ = the Honduran is not an excavation. ; $context$ = sent1: if the chondrin does empty cheerfulness the sushi is a Kenyapithecus. sent2: the bookdealer is not a philanthropy if it is attitudinal. sent3: if something that is a cystine does not consolidate petrolatum then the chondrin does empty cheerfulness. sent4: if the Honduran is not a kind of an excavation it is a cystine that does not consolidate petrolatum. sent5: the fact that the glochidium is not a British but it bends does not hold if there is something such that it is a Kenyapithecus. sent6: the Honduran empties cheerfulness and is not a Zoroastrian. sent7: the Herr is not a bog but it is a fencer. sent8: the bookdealer is a philanthropy if it is not a crocus. sent9: there is something such that the fact that it is not a bend does not hold. sent10: if the bookdealer is not a crocus then it is not a philanthropy. sent11: if that the Honduran is not an excavation is not false then it is a cystine. sent12: if there is something such that it is not a philanthropy then the glochidium is both not British and a bend. sent13: the bookdealer is attitudinal and/or it is not a crocus. sent14: the fact that the Honduran is Rousseauan is not false. ; $proof$ = 
void -> assump1: Let's assume that the Honduran is not a kind of an excavation.; sent4 & assump1 -> int1: the Honduran is a cystine but it does not consolidate petrolatum.; int1 -> int2: there exists something such that it is a cystine and it does not consolidate petrolatum.; int2 & sent3 -> int3: the chondrin empties cheerfulness.; int3 & sent1 -> int4: the sushi is a kind of a Kenyapithecus.; int4 -> int5: there exists something such that it is a Kenyapithecus.; int5 & sent5 -> int6: the fact that the glochidium is a kind of non-British thing that is a bend is false.; sent13 & sent2 & sent10 -> int7: the bookdealer is not a philanthropy.; int7 -> int8: there is something such that it is not a philanthropy.; int8 & sent12 -> int9: the glochidium is non-British thing that bends.; int6 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis; __DISPROVED__