the gastrulation is a Sumner.
sent1: if the dipole is Kenyan the packer is a Belgian. sent2: the fact that the gastrulation is not a Sumner is not wrong if that either the packer is not endocentric or it is a Sumner or both is not true. sent3: the tripper is endocentric. sent4: the fact that something is non-endocentric and/or it is a Sumner is not right if it is not a snowboarding. sent5: if something that is not a Belgian does not invigorate it does not snowboard. sent6: if something is non-Belgian it is not a kind of a snowboarding and it invigorates. sent7: there exists something such that it is a snowboarding. sent8: there is something such that it is endocentric. sent9: if there exists something such that the fact that it is not a snowboarding and it does invigorate hold the packer is endocentric. sent10: the dipole is Kenyan. sent11: the beanie is a snowboarding. sent12: if there is something such that it is endocentric and is a snowboarding the packer invigorates. sent13: something does invigorate. sent14: that the tripper is a kind of endocentric a snowboarding is correct. sent15: something is a kind of a Belgian.
sent14 -> int1: there is something such that it is endocentric thing that is a kind of a snowboarding.; int1 & sent12 -> int2: that the packer invigorates hold.; sent1 & sent10 -> int3: the packer is not non-Belgian.; int2 & int3 -> int4: the packer does invigorate and it is a Belgian.; int4 -> int5: something invigorates and it is a Belgian.;
the gastrulation is not a kind of a Sumner.
sent6 -> int6: the SLS does not snowboard and invigorates if it is not a Belgian.;
$hypothesis$ = the gastrulation is a Sumner. ; $context$ = sent1: if the dipole is Kenyan the packer is a Belgian. sent2: the fact that the gastrulation is not a Sumner is not wrong if that either the packer is not endocentric or it is a Sumner or both is not true. sent3: the tripper is endocentric. sent4: the fact that something is non-endocentric and/or it is a Sumner is not right if it is not a snowboarding. sent5: if something that is not a Belgian does not invigorate it does not snowboard. sent6: if something is non-Belgian it is not a kind of a snowboarding and it invigorates. sent7: there exists something such that it is a snowboarding. sent8: there is something such that it is endocentric. sent9: if there exists something such that the fact that it is not a snowboarding and it does invigorate hold the packer is endocentric. sent10: the dipole is Kenyan. sent11: the beanie is a snowboarding. sent12: if there is something such that it is endocentric and is a snowboarding the packer invigorates. sent13: something does invigorate. sent14: that the tripper is a kind of endocentric a snowboarding is correct. sent15: something is a kind of a Belgian. ; $proof$ = 
sent14 -> int1: there is something such that it is endocentric thing that is a kind of a snowboarding.; int1 & sent12 -> int2: that the packer invigorates hold.; sent1 & sent10 -> int3: the packer is not non-Belgian.; int2 & int3 -> int4: the packer does invigorate and it is a Belgian.; int4 -> int5: something invigorates and it is a Belgian.; __UNKNOWN__