the jellaba is a amphibia.
sent1: the fact that the basting is longitudinal a minority is incorrect if it is not emotional. sent2: the basting is a kind of a amphibia. sent3: the biplane owns biplane. sent4: if that something is longitudinal and is a minority is wrong it is not longitudinal. sent5: if something is not longitudinal then it is a kind of a amphibia. sent6: The biplane owns biplane. sent7: if the biplane owns biplane then that it does tunnel mortise is true. sent8: there exists something such that the fact that it is a beadle and is not a noodle is incorrect. sent9: if that something either does tunnel mortise or does not own biplane or both is false then it is not a kind of a amphibia. sent10: the mortise does own biplane and tunnels mortise if there exists something such that it is not a name. sent11: if the basting names the jellaba is viscometric. sent12: if there exists something such that that it is a kind of a beadle and it is not a kind of a noodle does not hold then the basting is not emotional. sent13: the basting is a kind of a name if the biplane tunnels mortise. sent14: if there exists something such that it is a amphibia the biplane is not a kind of a name but it is viscometric.
sent7 & sent3 -> int1: the biplane does tunnel mortise.; int1 & sent13 -> int2: the basting names.; int2 & sent11 -> int3: that the jellaba is viscometric is true.;
the fact that the jellaba is not a amphibia hold.
sent9 -> int4: the jellaba is not a amphibia if the fact that it tunnels mortise and/or it does not own biplane is false.;
$hypothesis$ = the jellaba is a amphibia. ; $context$ = sent1: the fact that the basting is longitudinal a minority is incorrect if it is not emotional. sent2: the basting is a kind of a amphibia. sent3: the biplane owns biplane. sent4: if that something is longitudinal and is a minority is wrong it is not longitudinal. sent5: if something is not longitudinal then it is a kind of a amphibia. sent6: The biplane owns biplane. sent7: if the biplane owns biplane then that it does tunnel mortise is true. sent8: there exists something such that the fact that it is a beadle and is not a noodle is incorrect. sent9: if that something either does tunnel mortise or does not own biplane or both is false then it is not a kind of a amphibia. sent10: the mortise does own biplane and tunnels mortise if there exists something such that it is not a name. sent11: if the basting names the jellaba is viscometric. sent12: if there exists something such that that it is a kind of a beadle and it is not a kind of a noodle does not hold then the basting is not emotional. sent13: the basting is a kind of a name if the biplane tunnels mortise. sent14: if there exists something such that it is a amphibia the biplane is not a kind of a name but it is viscometric. ; $proof$ = 
sent7 & sent3 -> int1: the biplane does tunnel mortise.; int1 & sent13 -> int2: the basting names.; int2 & sent11 -> int3: that the jellaba is viscometric is true.; __UNKNOWN__