if the homeroom is an analogy the stiletto is auxetic.
sent1: if that the homeroom is auxetic is right then the stiletto includes protection. sent2: the classics is auxetic. sent3: if something is auxetic then it is a kind of a ebbtide. sent4: there is something such that it is a shade. sent5: the fact that the homeroom does harden homeroom and is not a Socinus is incorrect if it is a chorus. sent6: if the fact that the homeroom hardens homeroom but it is not a Socinus is not correct it is not a honkytonk. sent7: the classics is not argentous if there is something such that the fact that it is a kind of an analogy and it is an old-timer is not true. sent8: something that is not argentous is an old-timer. sent9: if something is not a kind of a honkytonk that it is an analogy and it is an old-timer is wrong. sent10: there is something such that that it does not include protection is incorrect. sent11: the homeroom includes protection but it is not argentous. sent12: the fact that the homeroom includes protection is not wrong. sent13: the stiletto does not include protection. sent14: something includes protection and hardens irritation if it is not argentous.
sent11 -> int1: the homeroom is not argentous.; sent8 -> int2: if that the homeroom is not argentous is not false it is an old-timer.; int1 & int2 -> int3: the homeroom is an old-timer.; void -> assump1: Let's assume that the homeroom is an analogy.; int3 & assump1 -> int4: the homeroom is an old-timer and is an analogy.; int4 -> int5: something is an old-timer and it is an analogy.;
the classics does harden irritation and it is a kind of a ebbtide.
sent14 -> int6: if the classics is not argentous it does include protection and hardens irritation.; sent9 -> int7: the fact that the homeroom is a kind of an analogy and it is a kind of an old-timer is not correct if the fact that it is a honkytonk is not right.; sent3 -> int8: the classics is a ebbtide if it is auxetic.; int8 & sent2 -> int9: the classics is a kind of a ebbtide.;
$hypothesis$ = if the homeroom is an analogy the stiletto is auxetic. ; $context$ = sent1: if that the homeroom is auxetic is right then the stiletto includes protection. sent2: the classics is auxetic. sent3: if something is auxetic then it is a kind of a ebbtide. sent4: there is something such that it is a shade. sent5: the fact that the homeroom does harden homeroom and is not a Socinus is incorrect if it is a chorus. sent6: if the fact that the homeroom hardens homeroom but it is not a Socinus is not correct it is not a honkytonk. sent7: the classics is not argentous if there is something such that the fact that it is a kind of an analogy and it is an old-timer is not true. sent8: something that is not argentous is an old-timer. sent9: if something is not a kind of a honkytonk that it is an analogy and it is an old-timer is wrong. sent10: there is something such that that it does not include protection is incorrect. sent11: the homeroom includes protection but it is not argentous. sent12: the fact that the homeroom includes protection is not wrong. sent13: the stiletto does not include protection. sent14: something includes protection and hardens irritation if it is not argentous. ; $proof$ = 
sent11 -> int1: the homeroom is not argentous.; sent8 -> int2: if that the homeroom is not argentous is not false it is an old-timer.; int1 & int2 -> int3: the homeroom is an old-timer.; void -> assump1: Let's assume that the homeroom is an analogy.; int3 & assump1 -> int4: the homeroom is an old-timer and is an analogy.; int4 -> int5: something is an old-timer and it is an analogy.; __UNKNOWN__