there is something such that if the fact that it is not a creditworthiness and is not a chopstick does not hold then it does smash dregs.
sent1: there is something such that if the fact that it is hypotensive and it is not psychogenic does not hold then it is not non-monolingual. sent2: if the fact that something is not a creditworthiness and it is not a chopstick is false the fact that it does smash dregs is right. sent3: if that something does not stale sensitivity and it is not a kind of a Plovdiv is not true then the fact that it is a Genoese is not incorrect. sent4: if the bestiality is not asynchronous and does not smash dregs then that it smashes blankness is right. sent5: if something coughs it is holographic. sent6: there exists something such that if the fact that it is a faun and does not reign bestiality is not right it is ascomycetous. sent7: if that the standard-bearer is not Genoese and it is not a chopstick is not correct it stales moldboard. sent8: there is something such that if the fact that it is a kind of a chopstick is not false it smashes dregs. sent9: something is a kind of a Jeffersonian if the fact that it is not a creditworthiness and it is not a Juvenal is wrong.
sent2 -> int1: that the bestiality does smash dregs is correct if the fact that it is not a kind of a creditworthiness and is not a chopstick is not true.; int1 -> hypothesis;
the bestiality is a kind of a Jeffersonian if the fact that it is not a kind of a creditworthiness and it is not a Juvenal is not true.
sent9 -> hypothesis;
$hypothesis$ = there is something such that if the fact that it is not a creditworthiness and is not a chopstick does not hold then it does smash dregs. ; $context$ = sent1: there is something such that if the fact that it is hypotensive and it is not psychogenic does not hold then it is not non-monolingual. sent2: if the fact that something is not a creditworthiness and it is not a chopstick is false the fact that it does smash dregs is right. sent3: if that something does not stale sensitivity and it is not a kind of a Plovdiv is not true then the fact that it is a Genoese is not incorrect. sent4: if the bestiality is not asynchronous and does not smash dregs then that it smashes blankness is right. sent5: if something coughs it is holographic. sent6: there exists something such that if the fact that it is a faun and does not reign bestiality is not right it is ascomycetous. sent7: if that the standard-bearer is not Genoese and it is not a chopstick is not correct it stales moldboard. sent8: there is something such that if the fact that it is a kind of a chopstick is not false it smashes dregs. sent9: something is a kind of a Jeffersonian if the fact that it is not a creditworthiness and it is not a Juvenal is wrong. ; $proof$ = 
sent2 -> int1: that the bestiality does smash dregs is correct if the fact that it is not a kind of a creditworthiness and is not a chopstick is not true.; int1 -> hypothesis; __PROVED__