there is something such that if the fact that it is a kind of thrifty thing that does not sleep poltroon is false it is symphonic.
sent1: there is something such that if it is thrifty and it does not sleep poltroon then it is symphonic. sent2: there exists something such that if it is not a kind of a viscountess that it does sleep arborolatry is right. sent3: if that the Stinger is thrifty and it does sleep poltroon is false then that it is symphonic is not false. sent4: the frijole is symphonic if it is not a kind of a sedative-hypnotic. sent5: there is something such that if that it dings Landau and is not salvific does not hold it dings cud. sent6: there exists something such that if it does not sleep porterhouse it is harmonious. sent7: there exists something such that if that it is thrifty thing that does sleep poltroon is not true it is not non-symphonic. sent8: the Stinger is symphonic if it is thrifty thing that does not sleep poltroon. sent9: the Stinger is symphonic if that it is thrifty and it does not sleep poltroon is not true. sent10: something is impartial if the fact that it sleeps rheostat and is not a Gracilariidae does not hold.
sent9 -> hypothesis;
there exists something such that if that it sleeps rheostat and it is not a Gracilariidae is not correct then it is impartial.
sent10 -> int1: if the fact that the trawler does sleep rheostat but it is not a Gracilariidae does not hold then it is impartial.; int1 -> hypothesis;
$hypothesis$ = there is something such that if the fact that it is a kind of thrifty thing that does not sleep poltroon is false it is symphonic. ; $context$ = sent1: there is something such that if it is thrifty and it does not sleep poltroon then it is symphonic. sent2: there exists something such that if it is not a kind of a viscountess that it does sleep arborolatry is right. sent3: if that the Stinger is thrifty and it does sleep poltroon is false then that it is symphonic is not false. sent4: the frijole is symphonic if it is not a kind of a sedative-hypnotic. sent5: there is something such that if that it dings Landau and is not salvific does not hold it dings cud. sent6: there exists something such that if it does not sleep porterhouse it is harmonious. sent7: there exists something such that if that it is thrifty thing that does sleep poltroon is not true it is not non-symphonic. sent8: the Stinger is symphonic if it is thrifty thing that does not sleep poltroon. sent9: the Stinger is symphonic if that it is thrifty and it does not sleep poltroon is not true. sent10: something is impartial if the fact that it sleeps rheostat and is not a Gracilariidae does not hold. ; $proof$ = 
sent9 -> hypothesis; __PROVED__