the Lutheran is not a kind of a molter.
sent1: if there is something such that it is not Continental the return does not concern lapful. sent2: the Lutheran is not a molter if the cellulosic is side-to-side but it is not a kind of a crescendo. sent3: that something is not a LAN and is not a Plesianthropus is wrong if it is side-to-side. sent4: the lilac is a kind of a Plesianthropus. sent5: the mucopolysaccharide is not a Plesianthropus if there exists something such that it is side-to-side. sent6: the autoplasty is side-to-side if it is a molter. sent7: the cellulosic is not a crescendo if the lilac is not a crescendo. sent8: the cellulosic is not a kind of a crescendo. sent9: something that is a LAN and a Plesianthropus is not a crescendo. sent10: that the sporozoite is both a crescendo and not a molter is not true if there exists something such that the fact that it is not a Plesianthropus is not wrong. sent11: the fact that the cellulosic is a molter is right if there is something such that the fact that it does crescendo and it is not a molter does not hold. sent12: something is a pump and it is side-to-side if it does not concern lapful. sent13: there are non-Continental things. sent14: the lilac is a LAN or a molter or both if there exists something such that it is a molter. sent15: if the lilac is not a crescendo the cellulosic is both side-to-side and not a crescendo.
sent9 -> int1: if the lilac is a LAN and a Plesianthropus then it is not a kind of a crescendo.;
the Lutheran is a molter.
sent12 -> int2: the return is a kind of a pump and is side-to-side if it does not concern lapful.; sent13 & sent1 -> int3: the return does not concern lapful.; int2 & int3 -> int4: the return is a pump and side-to-side.; int4 -> int5: the return is side-to-side.; int5 -> int6: there are side-to-side things.; int6 & sent5 -> int7: the mucopolysaccharide is not a Plesianthropus.; int7 -> int8: there exists something such that it is not a Plesianthropus.; int8 & sent10 -> int9: the fact that the sporozoite is both a crescendo and not a molter is incorrect.; int9 -> int10: there is something such that the fact that it crescendos and it is not a molter is incorrect.; int10 & sent11 -> int11: the cellulosic is a molter.; int11 -> int12: there is something such that it is a molter.; int12 & sent14 -> int13: the lilac is a LAN and/or it is a molter.;
$hypothesis$ = the Lutheran is not a kind of a molter. ; $context$ = sent1: if there is something such that it is not Continental the return does not concern lapful. sent2: the Lutheran is not a molter if the cellulosic is side-to-side but it is not a kind of a crescendo. sent3: that something is not a LAN and is not a Plesianthropus is wrong if it is side-to-side. sent4: the lilac is a kind of a Plesianthropus. sent5: the mucopolysaccharide is not a Plesianthropus if there exists something such that it is side-to-side. sent6: the autoplasty is side-to-side if it is a molter. sent7: the cellulosic is not a crescendo if the lilac is not a crescendo. sent8: the cellulosic is not a kind of a crescendo. sent9: something that is a LAN and a Plesianthropus is not a crescendo. sent10: that the sporozoite is both a crescendo and not a molter is not true if there exists something such that the fact that it is not a Plesianthropus is not wrong. sent11: the fact that the cellulosic is a molter is right if there is something such that the fact that it does crescendo and it is not a molter does not hold. sent12: something is a pump and it is side-to-side if it does not concern lapful. sent13: there are non-Continental things. sent14: the lilac is a LAN or a molter or both if there exists something such that it is a molter. sent15: if the lilac is not a crescendo the cellulosic is both side-to-side and not a crescendo. ; $proof$ = 
sent9 -> int1: if the lilac is a LAN and a Plesianthropus then it is not a kind of a crescendo.; __UNKNOWN__