the nautilus is hydrous.
sent1: if something is not semiparasitic or it does sag anencephaly or both then it is auroral. sent2: if the algin is not a kind of a emancipator then that either the dorbeetle is not an achiever or it is a emancipator or both is not true. sent3: if that the dorbeetle is not an achiever and/or it is a kind of a emancipator is not correct the nautilus is hydrous. sent4: if there is something such that the fact that it is not an achiever is not incorrect the fact that the algin is not a emancipator and is a kind of a WMO does not hold. sent5: the fact that the coal does sag multiplicity and is a WMO is wrong if it is not a kind of a contented. sent6: the dorbeetle is not a emancipator. sent7: if that something is not a emancipator but it is a WMO is not right it is not a contented. sent8: something does not sag multiplicity but it is a WMO if it is a NCDC. sent9: if the fact that something is not a Dari but it is wide is wrong then it is not wide. sent10: that something does not suspend but it is a debarment does not hold if it is not non-auroral. sent11: the fact that the tetroxide is not a Dari and is wide is false if that it is starry is not false. sent12: either the roller-skater is not semiparasitic or it sags anencephaly or both. sent13: if the algin is not a emancipator then the dorbeetle is not a emancipator. sent14: if the fact that the algin does not content hold then that the coal does not sag multiplicity and is hydrous does not hold. sent15: the fact that the duffel is both a NCDC and not a sow does not hold if the tetroxide is not wide. sent16: the coal is a NCDC and is a sow. sent17: the fact that something does not sag multiplicity but it is a WMO is wrong if it is not a kind of a contented. sent18: the fact that the dorbeetle is not an achiever is true if that that the duffel is a NCDC but it is not a sow is right is false. sent19: if the fact that the coal is a kind of a Muscicapidae that is not nonterritorial does not hold the algin is not a emancipator. sent20: if the coal is a Muscicapidae but it is not nonterritorial the fact that it is not a contented is not wrong.
void -> assump1: Let's assume that the coal is a kind of a Muscicapidae that is territorial.; sent20 & assump1 -> int1: the coal is not a contented.; sent17 -> int2: if the coal does not content the fact that it does not sag multiplicity and is a kind of a WMO does not hold.; int1 & int2 -> int3: that the coal does not sag multiplicity but it is a WMO is incorrect.; sent8 -> int4: the coal does not sag multiplicity but it is a kind of a WMO if it is a kind of a NCDC.; sent16 -> int5: the coal is a kind of a NCDC.; int4 & int5 -> int6: the coal does not sag multiplicity and is a WMO.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: that the coal is a Muscicapidae but not nonterritorial does not hold.; int8 & sent19 -> int9: that the algin is not a emancipator is true.; int9 & sent2 -> int10: the fact that the dorbeetle is not an achiever and/or it is a emancipator is not true.; int10 & sent3 -> hypothesis;
the nautilus is not hydrous.
sent7 -> int11: if that the algin is not a emancipator but it is a WMO is wrong that it is not a contented hold.; sent9 -> int12: the tetroxide is not wide if that it is not a kind of a Dari and it is wide is not correct.; sent10 -> int13: that the roller-skater does not suspend but it is a kind of a debarment is not right if it is auroral.; sent1 -> int14: if the roller-skater is not semiparasitic and/or it does sag anencephaly it is not non-auroral.; int14 & sent12 -> int15: the roller-skater is auroral.; int13 & int15 -> int16: the fact that that the roller-skater does not suspend but it is a kind of a debarment is not true is correct.; int16 -> int17: there exists something such that that it does not suspend and is a debarment is not right.;
$hypothesis$ = the nautilus is hydrous. ; $context$ = sent1: if something is not semiparasitic or it does sag anencephaly or both then it is auroral. sent2: if the algin is not a kind of a emancipator then that either the dorbeetle is not an achiever or it is a emancipator or both is not true. sent3: if that the dorbeetle is not an achiever and/or it is a kind of a emancipator is not correct the nautilus is hydrous. sent4: if there is something such that the fact that it is not an achiever is not incorrect the fact that the algin is not a emancipator and is a kind of a WMO does not hold. sent5: the fact that the coal does sag multiplicity and is a WMO is wrong if it is not a kind of a contented. sent6: the dorbeetle is not a emancipator. sent7: if that something is not a emancipator but it is a WMO is not right it is not a contented. sent8: something does not sag multiplicity but it is a WMO if it is a NCDC. sent9: if the fact that something is not a Dari but it is wide is wrong then it is not wide. sent10: that something does not suspend but it is a debarment does not hold if it is not non-auroral. sent11: the fact that the tetroxide is not a Dari and is wide is false if that it is starry is not false. sent12: either the roller-skater is not semiparasitic or it sags anencephaly or both. sent13: if the algin is not a emancipator then the dorbeetle is not a emancipator. sent14: if the fact that the algin does not content hold then that the coal does not sag multiplicity and is hydrous does not hold. sent15: the fact that the duffel is both a NCDC and not a sow does not hold if the tetroxide is not wide. sent16: the coal is a NCDC and is a sow. sent17: the fact that something does not sag multiplicity but it is a WMO is wrong if it is not a kind of a contented. sent18: the fact that the dorbeetle is not an achiever is true if that that the duffel is a NCDC but it is not a sow is right is false. sent19: if the fact that the coal is a kind of a Muscicapidae that is not nonterritorial does not hold the algin is not a emancipator. sent20: if the coal is a Muscicapidae but it is not nonterritorial the fact that it is not a contented is not wrong. ; $proof$ = 
void -> assump1: Let's assume that the coal is a kind of a Muscicapidae that is territorial.; sent20 & assump1 -> int1: the coal is not a contented.; sent17 -> int2: if the coal does not content the fact that it does not sag multiplicity and is a kind of a WMO does not hold.; int1 & int2 -> int3: that the coal does not sag multiplicity but it is a WMO is incorrect.; sent8 -> int4: the coal does not sag multiplicity but it is a kind of a WMO if it is a kind of a NCDC.; sent16 -> int5: the coal is a kind of a NCDC.; int4 & int5 -> int6: the coal does not sag multiplicity and is a WMO.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: that the coal is a Muscicapidae but not nonterritorial does not hold.; int8 & sent19 -> int9: that the algin is not a emancipator is true.; int9 & sent2 -> int10: the fact that the dorbeetle is not an achiever and/or it is a emancipator is not true.; int10 & sent3 -> hypothesis; __PROVED__