there exists something such that if the fact that it is not a bog is right the fact that it is non-monocarboxylic thing that does not grease Selene does not hold.
sent1: there is something such that if it is a bog then that it is not monocarboxylic and does not grease Selene is not right. sent2: if something is not a kind of a bog then it is a kind of non-monocarboxylic thing that does not grease Selene. sent3: if the fistula is not a bog the fact that it is monocarboxylic and it does not grease Selene does not hold. sent4: that the fistula is not monocarboxylic and does grease Selene does not hold if it is not a bog. sent5: the fact that something is monocarboxylic but it does not grease Selene does not hold if it is not a bog. sent6: that something is not cybernetics and it is not a phycobilin is false if it does not sandpaper. sent7: there is something such that if it is not a bog the fact that it is a kind of non-monocarboxylic thing that does grease Selene is false. sent8: that the fact that something is not a tete-a-tete and does not clear reovirus is not false is wrong if it is not distributive. sent9: the fact that the puff is non-Tasmanian thing that does not grease Selene is not true if it does not grease Father. sent10: that the fistula is not monocarboxylic and it does not grease Selene does not hold if it does bog. sent11: that something is non-monocarboxylic thing that greases Selene is incorrect if it does not bog. sent12: there is something such that if it is not a kind of a least the fact that it is a kind of non-incendiary thing that is not a Miridae does not hold. sent13: if the fistula is not a bog then it is a kind of non-monocarboxylic thing that does not grease Selene. sent14: the fact that something is non-omnidirectional thing that does not become is wrong if it is not a sanatorium. sent15: if something does not scatter the fact that it does not visa Azerbaijan and is not a fishhook does not hold. sent16: there is something such that if it is not a kind of a re-creation then that it is a kind of non-pious thing that does not clear fistula is wrong. sent17: there exists something such that if the fact that it does not bog is true that it is monocarboxylic and it does not grease Selene is incorrect. sent18: there exists something such that if it does not bog then it is not monocarboxylic and it does not grease Selene. sent19: if something does not bog that it is not monocarboxylic and does not grease Selene is not right. sent20: that something is a kind of non-monocarboxylic thing that does not grease Selene is incorrect if it is a bog.
sent19 -> int1: if the fistula is not a bog the fact that it is not monocarboxylic and does not grease Selene is wrong.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if the fact that it is not a bog is right the fact that it is non-monocarboxylic thing that does not grease Selene does not hold. ; $context$ = sent1: there is something such that if it is a bog then that it is not monocarboxylic and does not grease Selene is not right. sent2: if something is not a kind of a bog then it is a kind of non-monocarboxylic thing that does not grease Selene. sent3: if the fistula is not a bog the fact that it is monocarboxylic and it does not grease Selene does not hold. sent4: that the fistula is not monocarboxylic and does grease Selene does not hold if it is not a bog. sent5: the fact that something is monocarboxylic but it does not grease Selene does not hold if it is not a bog. sent6: that something is not cybernetics and it is not a phycobilin is false if it does not sandpaper. sent7: there is something such that if it is not a bog the fact that it is a kind of non-monocarboxylic thing that does grease Selene is false. sent8: that the fact that something is not a tete-a-tete and does not clear reovirus is not false is wrong if it is not distributive. sent9: the fact that the puff is non-Tasmanian thing that does not grease Selene is not true if it does not grease Father. sent10: that the fistula is not monocarboxylic and it does not grease Selene does not hold if it does bog. sent11: that something is non-monocarboxylic thing that greases Selene is incorrect if it does not bog. sent12: there is something such that if it is not a kind of a least the fact that it is a kind of non-incendiary thing that is not a Miridae does not hold. sent13: if the fistula is not a bog then it is a kind of non-monocarboxylic thing that does not grease Selene. sent14: the fact that something is non-omnidirectional thing that does not become is wrong if it is not a sanatorium. sent15: if something does not scatter the fact that it does not visa Azerbaijan and is not a fishhook does not hold. sent16: there is something such that if it is not a kind of a re-creation then that it is a kind of non-pious thing that does not clear fistula is wrong. sent17: there exists something such that if the fact that it does not bog is true that it is monocarboxylic and it does not grease Selene is incorrect. sent18: there exists something such that if it does not bog then it is not monocarboxylic and it does not grease Selene. sent19: if something does not bog that it is not monocarboxylic and does not grease Selene is not right. sent20: that something is a kind of non-monocarboxylic thing that does not grease Selene is incorrect if it is a bog. ; $proof$ = 
sent19 -> int1: if the fistula is not a bog the fact that it is not monocarboxylic and does not grease Selene is wrong.; int1 -> hypothesis; __PROVED__