if the millstone is not fisheye then the fact that the guest is aniseikonic hold.
sent1: the guest is both eastern and mandibulofacial if the millstone is not eastern. sent2: if a non-fiscal thing is not fisheye it is aniseikonic. sent3: that the guest is eastern hold. sent4: if the millstone is not eastern then the guest is eastern. sent5: the fact that something is a kind of lexicographic thing that trips ecologist does not hold if it is not fore. sent6: the guest is not fisheye. sent7: if the millstone is not mandibulofacial then the guest is mandibulofacial and it is fiscal. sent8: if the guest is not fisheye that the millstone is mandibulofacial is not incorrect. sent9: if that the guest is a kind of lexicographic thing that does trip ecologist is not correct then the millstone does not trip ecologist. sent10: if the pyromaniac is not fore then the guest is not fore. sent11: the millstone is not eastern if that it is a kind of non-fiscal thing that is not fisheye hold. sent12: the balloon is not fiscal and it is not fisheye if it is eastern. sent13: that the guest is fiscal is not wrong if it is eastern. sent14: if the fact that the guest is mandibulofacial hold it is aniseikonic. sent15: the millstone is not mandibulofacial if it is a kind of non-fiscal thing that is not aniseikonic. sent16: the fact that the guest is not fiscal is not true if the millstone is not aniseikonic.
the balloon is not non-aniseikonic.
sent2 -> int1: the balloon is aniseikonic if it is not fiscal and it is not fisheye.; sent5 -> int2: that the guest is lexicographic and it does trip ecologist is incorrect if it is not fore.;
$hypothesis$ = if the millstone is not fisheye then the fact that the guest is aniseikonic hold. ; $context$ = sent1: the guest is both eastern and mandibulofacial if the millstone is not eastern. sent2: if a non-fiscal thing is not fisheye it is aniseikonic. sent3: that the guest is eastern hold. sent4: if the millstone is not eastern then the guest is eastern. sent5: the fact that something is a kind of lexicographic thing that trips ecologist does not hold if it is not fore. sent6: the guest is not fisheye. sent7: if the millstone is not mandibulofacial then the guest is mandibulofacial and it is fiscal. sent8: if the guest is not fisheye that the millstone is mandibulofacial is not incorrect. sent9: if that the guest is a kind of lexicographic thing that does trip ecologist is not correct then the millstone does not trip ecologist. sent10: if the pyromaniac is not fore then the guest is not fore. sent11: the millstone is not eastern if that it is a kind of non-fiscal thing that is not fisheye hold. sent12: the balloon is not fiscal and it is not fisheye if it is eastern. sent13: that the guest is fiscal is not wrong if it is eastern. sent14: if the fact that the guest is mandibulofacial hold it is aniseikonic. sent15: the millstone is not mandibulofacial if it is a kind of non-fiscal thing that is not aniseikonic. sent16: the fact that the guest is not fiscal is not true if the millstone is not aniseikonic. ; $proof$ = 
__UNKNOWN__