the confection is a uncial.
sent1: the fact that something is a kind of causative thing that does not trivialize frontal does not hold if it is a uncial. sent2: if the venom does trivialize frontal the Yankee is a sub-interval. sent3: that the Yankee trivializes belly and trivializes frontal is not right. sent4: a recombinant that is not proconsular is causative. sent5: something is not a Genoese if it is a sub-interval and/or it is a recombinant. sent6: that something does trivialize belly but it does not trivialize frontal is not true if it is a kind of a sub-interval. sent7: if the venom is a kind of a Genoese then the stimulation is not proconsular. sent8: the stimulation is a uncial. sent9: the confection is not uncial if the stimulation is a kind of a uncial and is a sub-interval. sent10: the Yankee is a sub-interval. sent11: the fact that the venom is not Genoese and is not unconstitutional is not true. sent12: the stimulation is not proconsular if the fact that the venom is both non-Genoese and constitutional is incorrect. sent13: if the Yankee trivializes frontal the stimulation is recombinant. sent14: if the stimulation is causative then the confection is a kind of a uncial. sent15: if something is a Genoese but not proconsular it is unconstitutional.
sent6 -> int1: the fact that the Yankee trivializes belly and does not trivialize frontal does not hold if it is a kind of a sub-interval.; int1 & sent10 -> int2: that the Yankee trivializes belly but it does not trivialize frontal is wrong.; sent12 & sent11 -> int3: the stimulation is not proconsular.; sent4 -> int4: if the stimulation is recombinant but it is not proconsular that it is causative is right.;
the confection is not a kind of a uncial.
$hypothesis$ = the confection is a uncial. ; $context$ = sent1: the fact that something is a kind of causative thing that does not trivialize frontal does not hold if it is a uncial. sent2: if the venom does trivialize frontal the Yankee is a sub-interval. sent3: that the Yankee trivializes belly and trivializes frontal is not right. sent4: a recombinant that is not proconsular is causative. sent5: something is not a Genoese if it is a sub-interval and/or it is a recombinant. sent6: that something does trivialize belly but it does not trivialize frontal is not true if it is a kind of a sub-interval. sent7: if the venom is a kind of a Genoese then the stimulation is not proconsular. sent8: the stimulation is a uncial. sent9: the confection is not uncial if the stimulation is a kind of a uncial and is a sub-interval. sent10: the Yankee is a sub-interval. sent11: the fact that the venom is not Genoese and is not unconstitutional is not true. sent12: the stimulation is not proconsular if the fact that the venom is both non-Genoese and constitutional is incorrect. sent13: if the Yankee trivializes frontal the stimulation is recombinant. sent14: if the stimulation is causative then the confection is a kind of a uncial. sent15: if something is a Genoese but not proconsular it is unconstitutional. ; $proof$ = 
sent6 -> int1: the fact that the Yankee trivializes belly and does not trivialize frontal does not hold if it is a kind of a sub-interval.; int1 & sent10 -> int2: that the Yankee trivializes belly but it does not trivialize frontal is wrong.; sent12 & sent11 -> int3: the stimulation is not proconsular.; sent4 -> int4: if the stimulation is recombinant but it is not proconsular that it is causative is right.; __UNKNOWN__