something is homostylous and does compel extension.
sent1: the Vandyke is retinal and it is a kind of a Porphyrio. sent2: if the pochard is not a dishonor the teletypewriter is not satisfactory. sent3: the fact that the solleret is a kind of a Porphyrio hold if there is something such that it is a perniciousness. sent4: the teletypewriter compels bocce and it is unawares if it is not satisfactory. sent5: the teletypewriter does compel bocce if that it is not satisfactory is not wrong. sent6: if the solleret is a kind of a Porphyrio the Vandyke does compel extension. sent7: the Vandyke is homostylous and it is a yoke. sent8: the PIE is a kind of a perniciousness if the teletypewriter is unawares. sent9: there is something such that it is a yoke.
sent7 -> int1: the fact that the Vandyke is homostylous hold.;
$hypothesis$ = something is homostylous and does compel extension. ; $context$ = sent1: the Vandyke is retinal and it is a kind of a Porphyrio. sent2: if the pochard is not a dishonor the teletypewriter is not satisfactory. sent3: the fact that the solleret is a kind of a Porphyrio hold if there is something such that it is a perniciousness. sent4: the teletypewriter compels bocce and it is unawares if it is not satisfactory. sent5: the teletypewriter does compel bocce if that it is not satisfactory is not wrong. sent6: if the solleret is a kind of a Porphyrio the Vandyke does compel extension. sent7: the Vandyke is homostylous and it is a yoke. sent8: the PIE is a kind of a perniciousness if the teletypewriter is unawares. sent9: there is something such that it is a yoke. ; $proof$ = 
sent7 -> int1: the fact that the Vandyke is homostylous hold.; __UNKNOWN__