the snakefly does not infuse.
sent1: if the lexicalization is not micrometeoritic then the megasporangium is collegial. sent2: the snakefly does not infuse and it is not a kind of a Anguillan if there is something such that it does not deduce bladdernose. sent3: if the fact that the megasporangium is not collegial is false that it is not serviceable is not false. sent4: if there is something such that it is a duplication and it is imperishable the lexicalization is not micrometeoritic. sent5: if the megasporangium does not unbar lexicalization and does not deduce hierarchy the Congress does not deduce bladdernose. sent6: if something is not serviceable it does not unbar lexicalization and it does not deduce hierarchy.
sent6 -> int1: if the megasporangium is not serviceable it does not unbar lexicalization and it does not deduce hierarchy.;
$hypothesis$ = the snakefly does not infuse. ; $context$ = sent1: if the lexicalization is not micrometeoritic then the megasporangium is collegial. sent2: the snakefly does not infuse and it is not a kind of a Anguillan if there is something such that it does not deduce bladdernose. sent3: if the fact that the megasporangium is not collegial is false that it is not serviceable is not false. sent4: if there is something such that it is a duplication and it is imperishable the lexicalization is not micrometeoritic. sent5: if the megasporangium does not unbar lexicalization and does not deduce hierarchy the Congress does not deduce bladdernose. sent6: if something is not serviceable it does not unbar lexicalization and it does not deduce hierarchy. ; $proof$ = 
sent6 -> int1: if the megasporangium is not serviceable it does not unbar lexicalization and it does not deduce hierarchy.; __UNKNOWN__