the pollutant is funicular.
sent1: if that the spareribs is non-irreducible is not wrong then the pollutant is both non-irreducible and funicular. sent2: if that the after-shave does not invigorate hold the fact that the Guarani is not pleochroic but it does dive Ron is wrong. sent3: the fact that the seersucker is not a Aulostomidae and not a girdle is not true. sent4: the doghouse is a kind of a Aulostomidae. sent5: if the fact that the seersucker is not a kind of a Aulostomidae and it does not girdle is not correct then it is a Aulostomidae. sent6: the after-shave does not invigorate if the seersucker is biotitic and a Aulostomidae. sent7: if that the Guarani is not pleochroic but it does dive Ron is wrong the spareribs is not irreducible.
sent5 & sent3 -> int1: that the seersucker is a Aulostomidae hold.;
$hypothesis$ = the pollutant is funicular. ; $context$ = sent1: if that the spareribs is non-irreducible is not wrong then the pollutant is both non-irreducible and funicular. sent2: if that the after-shave does not invigorate hold the fact that the Guarani is not pleochroic but it does dive Ron is wrong. sent3: the fact that the seersucker is not a Aulostomidae and not a girdle is not true. sent4: the doghouse is a kind of a Aulostomidae. sent5: if the fact that the seersucker is not a kind of a Aulostomidae and it does not girdle is not correct then it is a Aulostomidae. sent6: the after-shave does not invigorate if the seersucker is biotitic and a Aulostomidae. sent7: if that the Guarani is not pleochroic but it does dive Ron is wrong the spareribs is not irreducible. ; $proof$ = 
sent5 & sent3 -> int1: that the seersucker is a Aulostomidae hold.; __UNKNOWN__