the analyst is not a kind of an attribution.
sent1: if something is a stair-rod and not an electric it is not a kind of a Dyirbal. sent2: if the mesa does not silt and is a barbasco that the analyst is not a kind of an attribution is not false. sent3: something is an attribution if it is not non-pilosebaceous. sent4: if the fact that the lint does not fit tallow and/or it does not titillate is not right then the zidovudine reciprocates. sent5: the secobarbital is a stair-rod and non-electric if the mesa is pilosebaceous. sent6: if the mesa is not pilosebaceous then it is both not a silt and a barbasco. sent7: the zidovudine reciprocates if that the lint does fit tallow or it does not titillate or both does not hold. sent8: the secobarbital does not silt if the mesa is a kind of a stair-rod. sent9: if something does reciprocate then the fact that it does fit tallow or it does not titillate or both is not true. sent10: if the mesa is not non-pilosebaceous then the secobarbital is a stair-rod. sent11: if something is not a Dyirbal then it is not a barbasco and is not pilosebaceous. sent12: if the zidovudine is not a kind of a femtometer it contorts Fonteyn and it is polymorphemic. sent13: if the secobarbital is not a Dyirbal then that the lint does not fit tallow and/or it does not titillate is not right. sent14: the zidovudine does not reciprocate but it is neotenic if it does contort Fonteyn. sent15: something is pilosebaceous and is a Dyirbal if that it does not titillate is right.
void -> assump1: Let's assume that the mesa is pilosebaceous.; sent5 & assump1 -> int1: the secobarbital is a stair-rod but it is not electric.; sent1 -> int2: the secobarbital is not a Dyirbal if it is a stair-rod and not an electric.; int1 & int2 -> int3: the secobarbital is not a Dyirbal.; int3 & sent13 -> int4: the fact that the lint does not fit tallow and/or it does not titillate is not correct.; int4 & sent4 -> int5: the zidovudine does reciprocate.;
the analyst is an attribution.
sent3 -> int6: if the analyst is pilosebaceous it is an attribution.; sent15 -> int7: the analyst is pilosebaceous and it is a Dyirbal if it does not titillate.;
$hypothesis$ = the analyst is not a kind of an attribution. ; $context$ = sent1: if something is a stair-rod and not an electric it is not a kind of a Dyirbal. sent2: if the mesa does not silt and is a barbasco that the analyst is not a kind of an attribution is not false. sent3: something is an attribution if it is not non-pilosebaceous. sent4: if the fact that the lint does not fit tallow and/or it does not titillate is not right then the zidovudine reciprocates. sent5: the secobarbital is a stair-rod and non-electric if the mesa is pilosebaceous. sent6: if the mesa is not pilosebaceous then it is both not a silt and a barbasco. sent7: the zidovudine reciprocates if that the lint does fit tallow or it does not titillate or both does not hold. sent8: the secobarbital does not silt if the mesa is a kind of a stair-rod. sent9: if something does reciprocate then the fact that it does fit tallow or it does not titillate or both is not true. sent10: if the mesa is not non-pilosebaceous then the secobarbital is a stair-rod. sent11: if something is not a Dyirbal then it is not a barbasco and is not pilosebaceous. sent12: if the zidovudine is not a kind of a femtometer it contorts Fonteyn and it is polymorphemic. sent13: if the secobarbital is not a Dyirbal then that the lint does not fit tallow and/or it does not titillate is not right. sent14: the zidovudine does not reciprocate but it is neotenic if it does contort Fonteyn. sent15: something is pilosebaceous and is a Dyirbal if that it does not titillate is right. ; $proof$ = 
void -> assump1: Let's assume that the mesa is pilosebaceous.; sent5 & assump1 -> int1: the secobarbital is a stair-rod but it is not electric.; sent1 -> int2: the secobarbital is not a Dyirbal if it is a stair-rod and not an electric.; int1 & int2 -> int3: the secobarbital is not a Dyirbal.; int3 & sent13 -> int4: the fact that the lint does not fit tallow and/or it does not titillate is not correct.; int4 & sent4 -> int5: the zidovudine does reciprocate.; __UNKNOWN__