the virtuoso is hydrographic.
sent1: the southland is unnecessary and it does snag. sent2: the baobab does cool. sent3: if the baobab is an umbilical then it is not hydrographic. sent4: if the acoustic is not irreducible then the virtuoso is hydrographic. sent5: if something is non-cooling but not non-irreducible then it is a nondescript. sent6: if that the acoustic is not cooling but irreducible is not right then the virtuoso is hydrographic. sent7: that if something is not a snag then it is an umbilical hold. sent8: the baobab is not an umbilical if the southland is unnecessary and it snags. sent9: that the baobab is sternal and/or it does not unstrap landmass is not true if the acoustic is a nondescript. sent10: if something is not unnecessary it is hydrographic and/or it is not irreducible. sent11: if the fact that something is not a kind of an umbilical hold it is sternal and/or it does not unstrap landmass. sent12: if something is not hydrographic then that it does unstrap landmass and is not a nondescript is false. sent13: the acoustic is irreducible. sent14: the fact that the punt does rerun Athena and/or does not jack Bradbury does not hold. sent15: if the fact that something does unstrap landmass and is not a nondescript is incorrect it is a nondescript. sent16: the baobab does unstrap landmass. sent17: the southland is unnecessary.
sent5 -> int1: if the acoustic is not a kind of a cooling but it is irreducible that it is a nondescript is not incorrect.; void -> assump1: Let's assume that the acoustic is not a kind of a cooling and is irreducible.; int1 & assump1 -> int2: the acoustic is a kind of a nondescript.; int2 & sent9 -> int3: the fact that the fact that the baobab is sternal and/or does not unstrap landmass is correct is false.; sent11 -> int4: if the baobab is not an umbilical then it is sternal and/or it does not unstrap landmass.; sent8 & sent1 -> int5: the baobab is not an umbilical.; int4 & int5 -> int6: the baobab is sternal and/or it does not unstrap landmass.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: that the acoustic does not cool and is not non-irreducible is wrong.; int8 & sent6 -> hypothesis;
the fact that the Hungarian is not sternal but it overhauls is not right.
sent15 -> int9: if the fact that the baobab does unstrap landmass and is not a nondescript is not correct it is a nondescript.; sent12 -> int10: the fact that the fact that the baobab unstraps landmass but it is not a nondescript hold is not true if it is not hydrographic.; sent7 -> int11: the baobab is a kind of an umbilical if it is not a snag.;
$hypothesis$ = the virtuoso is hydrographic. ; $context$ = sent1: the southland is unnecessary and it does snag. sent2: the baobab does cool. sent3: if the baobab is an umbilical then it is not hydrographic. sent4: if the acoustic is not irreducible then the virtuoso is hydrographic. sent5: if something is non-cooling but not non-irreducible then it is a nondescript. sent6: if that the acoustic is not cooling but irreducible is not right then the virtuoso is hydrographic. sent7: that if something is not a snag then it is an umbilical hold. sent8: the baobab is not an umbilical if the southland is unnecessary and it snags. sent9: that the baobab is sternal and/or it does not unstrap landmass is not true if the acoustic is a nondescript. sent10: if something is not unnecessary it is hydrographic and/or it is not irreducible. sent11: if the fact that something is not a kind of an umbilical hold it is sternal and/or it does not unstrap landmass. sent12: if something is not hydrographic then that it does unstrap landmass and is not a nondescript is false. sent13: the acoustic is irreducible. sent14: the fact that the punt does rerun Athena and/or does not jack Bradbury does not hold. sent15: if the fact that something does unstrap landmass and is not a nondescript is incorrect it is a nondescript. sent16: the baobab does unstrap landmass. sent17: the southland is unnecessary. ; $proof$ = 
sent5 -> int1: if the acoustic is not a kind of a cooling but it is irreducible that it is a nondescript is not incorrect.; void -> assump1: Let's assume that the acoustic is not a kind of a cooling and is irreducible.; int1 & assump1 -> int2: the acoustic is a kind of a nondescript.; int2 & sent9 -> int3: the fact that the fact that the baobab is sternal and/or does not unstrap landmass is correct is false.; sent11 -> int4: if the baobab is not an umbilical then it is sternal and/or it does not unstrap landmass.; sent8 & sent1 -> int5: the baobab is not an umbilical.; int4 & int5 -> int6: the baobab is sternal and/or it does not unstrap landmass.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: that the acoustic does not cool and is not non-irreducible is wrong.; int8 & sent6 -> hypothesis; __PROVED__