there is something such that if it is a poikilotherm and is not a kind of a season then it is not a snail.
sent1: that the bookworm is not a snail hold if the fact that it is a kind of a poikilotherm that is not a season is not false. sent2: there exists something such that if it is a kind of a poikilotherm and it is a season then it is not a snail. sent3: the tabletop is guilty if it is both a season and non-leptorrhine. sent4: if something that is a satanophobia is not a poikilotherm it is not federal. sent5: the bookworm snails if it is a poikilotherm and it does not season. sent6: there is something such that if it is a poikilotherm and it is not a kind of a season it does snail.
sent1 -> hypothesis;
the fact that the anovulation is not federal is not false if it is a satanophobia and is not a poikilotherm.
sent4 -> hypothesis;
$hypothesis$ = there is something such that if it is a poikilotherm and is not a kind of a season then it is not a snail. ; $context$ = sent1: that the bookworm is not a snail hold if the fact that it is a kind of a poikilotherm that is not a season is not false. sent2: there exists something such that if it is a kind of a poikilotherm and it is a season then it is not a snail. sent3: the tabletop is guilty if it is both a season and non-leptorrhine. sent4: if something that is a satanophobia is not a poikilotherm it is not federal. sent5: the bookworm snails if it is a poikilotherm and it does not season. sent6: there is something such that if it is a poikilotherm and it is not a kind of a season it does snail. ; $proof$ = 
sent1 -> hypothesis; __PROVED__