the humus is alluvial.
sent1: if the sconce is not a surgeonfish and is a kind of a partisan the omnibus is antithyroid. sent2: there exists something such that it is not a locum. sent3: something is a locum. sent4: the sconce is not a kind of a surgeonfish and is not a partisan if that the Saxon rationalizes Siluridae is correct. sent5: there is something such that it is a masthead and/or it is not a symptom. sent6: if there is something such that it is not a kind of a locum the erythromycin is a harmonization. sent7: the raft is a masthead and/or it is not a symptom. sent8: if something that is a kind of a harmonization does not neglect cellulite the omnibus is not antithyroid. sent9: if there exists something such that it is not a masthead the Saxon does rationalize Siluridae. sent10: there exists something such that it is a harmonization and it does neglect cellulite. sent11: something is a harmonization. sent12: the erythromycin is a kind of a harmonization that does not neglect cellulite if something is not a locum. sent13: the sconce is nonpartisan. sent14: the raft is a masthead. sent15: the Saxon rationalizes Siluridae if there is something such that it either is not a masthead or is not a kind of a symptom or both. sent16: there is something such that it does not neglect cellulite. sent17: the humus is non-alluvial if that the fact that the raft is not a masthead or is not a symptom or both hold does not hold. sent18: the omnibus is antithyroid if the sconce is not a surgeonfish and not partisan.
void -> assump1: Let's assume that either the raft is not a kind of a masthead or it is not a symptom or both.; assump1 -> int1: there exists something such that it is not a masthead or is not a symptom or both.; int1 & sent15 -> int2: the fact that the Saxon does rationalize Siluridae is not false.; int2 & sent4 -> int3: the sconce is both not a surgeonfish and not partisan.; int3 & sent18 -> int4: the omnibus is antithyroid.; sent2 & sent12 -> int5: the erythromycin is a harmonization and does not neglect cellulite.; int5 -> int6: something is a harmonization but it does not neglect cellulite.; int6 & sent8 -> int7: the omnibus is non-antithyroid.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: that either the raft is not a masthead or it is not a symptom or both is not correct.; int9 & sent17 -> hypothesis;
$hypothesis$ = the humus is alluvial. ; $context$ = sent1: if the sconce is not a surgeonfish and is a kind of a partisan the omnibus is antithyroid. sent2: there exists something such that it is not a locum. sent3: something is a locum. sent4: the sconce is not a kind of a surgeonfish and is not a partisan if that the Saxon rationalizes Siluridae is correct. sent5: there is something such that it is a masthead and/or it is not a symptom. sent6: if there is something such that it is not a kind of a locum the erythromycin is a harmonization. sent7: the raft is a masthead and/or it is not a symptom. sent8: if something that is a kind of a harmonization does not neglect cellulite the omnibus is not antithyroid. sent9: if there exists something such that it is not a masthead the Saxon does rationalize Siluridae. sent10: there exists something such that it is a harmonization and it does neglect cellulite. sent11: something is a harmonization. sent12: the erythromycin is a kind of a harmonization that does not neglect cellulite if something is not a locum. sent13: the sconce is nonpartisan. sent14: the raft is a masthead. sent15: the Saxon rationalizes Siluridae if there is something such that it either is not a masthead or is not a kind of a symptom or both. sent16: there is something such that it does not neglect cellulite. sent17: the humus is non-alluvial if that the fact that the raft is not a masthead or is not a symptom or both hold does not hold. sent18: the omnibus is antithyroid if the sconce is not a surgeonfish and not partisan. ; $proof$ = 
void -> assump1: Let's assume that either the raft is not a kind of a masthead or it is not a symptom or both.; assump1 -> int1: there exists something such that it is not a masthead or is not a symptom or both.; int1 & sent15 -> int2: the fact that the Saxon does rationalize Siluridae is not false.; int2 & sent4 -> int3: the sconce is both not a surgeonfish and not partisan.; int3 & sent18 -> int4: the omnibus is antithyroid.; sent2 & sent12 -> int5: the erythromycin is a harmonization and does not neglect cellulite.; int5 -> int6: something is a harmonization but it does not neglect cellulite.; int6 & sent8 -> int7: the omnibus is non-antithyroid.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: that either the raft is not a masthead or it is not a symptom or both is not correct.; int9 & sent17 -> hypothesis; __DISPROVED__