the transferrin figures and it does surpass.
sent1: the transferrin is not juicy. sent2: if the akaryocyte is a chalazion then it is not a nonmetal and it does not surpass. sent3: the fact that the synthesis is a kind of a chalazion but it is not transoceanic is not true if it is not juicy. sent4: the transferrin does not greet spot-welding. sent5: that a non-juicy thing surpasses and is a nonmetal is true. sent6: something that is not a kind of a Crohn does not refresh skink. sent7: if the transferrin is not a kind of a figure it is not improper. sent8: the creamery is not a dining-hall. sent9: the fact that the fact that the transferrin is clad and/or it is not a nonmetal hold is not true if it is not a kind of a modal. sent10: the fact that something is improper and/or it is not Socratic is not correct if it does not figure. sent11: if the fact that the synthesis is a chalazion and non-transoceanic does not hold then the akaryocyte is a chalazion. sent12: the creamery is not an equalization and not inductive if it is not a dining-hall. sent13: the transferrin is a nonmetal. sent14: something that is non-icosahedral is a rioting and lighting. sent15: the palliative does not jellify. sent16: there is something such that the fact that it is transoceanic a chalazion is wrong. sent17: the transferrin is transoceanic. sent18: that the transferrin is not Socratic hold if something is not a kind of a chalazion. sent19: the creamery does jellify if that the palliative does not jellify is true.
sent10 -> int1: if the transferrin is not a figure that it is improper or it is not Socratic or both is incorrect.; void -> assump1: Let's assume that the transferrin is not a figure.; int1 & assump1 -> int2: the fact that the transferrin either is improper or is not Socratic or both is not true.; sent5 -> int3: if the transferrin is not juicy then it does surpass and is a nonmetal.; int3 & sent1 -> int4: the transferrin surpasses and it is a kind of a nonmetal.; int4 -> int5: the transferrin surpasses.;
that the reboxetine is the rioting and it is not non-lighting if the reboxetine is not icosahedral hold.
sent14 -> hypothesis;
$hypothesis$ = the transferrin figures and it does surpass. ; $context$ = sent1: the transferrin is not juicy. sent2: if the akaryocyte is a chalazion then it is not a nonmetal and it does not surpass. sent3: the fact that the synthesis is a kind of a chalazion but it is not transoceanic is not true if it is not juicy. sent4: the transferrin does not greet spot-welding. sent5: that a non-juicy thing surpasses and is a nonmetal is true. sent6: something that is not a kind of a Crohn does not refresh skink. sent7: if the transferrin is not a kind of a figure it is not improper. sent8: the creamery is not a dining-hall. sent9: the fact that the fact that the transferrin is clad and/or it is not a nonmetal hold is not true if it is not a kind of a modal. sent10: the fact that something is improper and/or it is not Socratic is not correct if it does not figure. sent11: if the fact that the synthesis is a chalazion and non-transoceanic does not hold then the akaryocyte is a chalazion. sent12: the creamery is not an equalization and not inductive if it is not a dining-hall. sent13: the transferrin is a nonmetal. sent14: something that is non-icosahedral is a rioting and lighting. sent15: the palliative does not jellify. sent16: there is something such that the fact that it is transoceanic a chalazion is wrong. sent17: the transferrin is transoceanic. sent18: that the transferrin is not Socratic hold if something is not a kind of a chalazion. sent19: the creamery does jellify if that the palliative does not jellify is true. ; $proof$ = 
sent10 -> int1: if the transferrin is not a figure that it is improper or it is not Socratic or both is incorrect.; void -> assump1: Let's assume that the transferrin is not a figure.; int1 & assump1 -> int2: the fact that the transferrin either is improper or is not Socratic or both is not true.; sent5 -> int3: if the transferrin is not juicy then it does surpass and is a nonmetal.; int3 & sent1 -> int4: the transferrin surpasses and it is a kind of a nonmetal.; int4 -> int5: the transferrin surpasses.; __UNKNOWN__