the cool is not a kind of an express.
sent1: the rose-root is not a kind of an intermediate if there exists something such that it is a kind of an express. sent2: if that the airfield does not subtilize and it is not pretentious does not hold the cool is not an express. sent3: the airfield does not configure likelihood if the fact that it configure likelihood and it is not a sunstone is false. sent4: the cool is not pretentious. sent5: the airfield does not disunify snarl. sent6: the cultivator is not an intermediate. sent7: the sunlamp is not a replica and it is not a kind of a papulovesicle. sent8: if the airfield subtilizes the cool does not express. sent9: something is not a kind of a replica but it is a kind of a Sinai if it does not configure likelihood. sent10: the cool is not a replica if that the cultivator is both not an express and not intermediate is not right. sent11: the airfield does not subtilize. sent12: the fact that the cultivator is a replica hold if the airfield subtilizes but it is not pretentious. sent13: the cultivator is not a replica and is not an intermediate. sent14: if something does not disunify snarl then the fact that it does configure likelihood and it is not a sunstone is not true. sent15: that the airfield does subtilize and is not pretentious is incorrect.
void -> assump1: Let's assume that the airfield does not subtilize and is not pretentious.; sent13 -> int1: the cultivator is not a replica.;
the rose-root is not intermediate.
sent9 -> int2: if the airfield does not configure likelihood it is not a kind of a replica and is a kind of a Sinai.; sent14 -> int3: that the airfield does configure likelihood and is not a sunstone is not right if it does not disunify snarl.; int3 & sent5 -> int4: that the airfield does configure likelihood but it is not a kind of a sunstone is incorrect.; sent3 & int4 -> int5: the airfield does not configure likelihood.; int2 & int5 -> int6: the airfield is not a replica and is a Sinai.; int6 -> int7: the airfield is not a replica.;
$hypothesis$ = the cool is not a kind of an express. ; $context$ = sent1: the rose-root is not a kind of an intermediate if there exists something such that it is a kind of an express. sent2: if that the airfield does not subtilize and it is not pretentious does not hold the cool is not an express. sent3: the airfield does not configure likelihood if the fact that it configure likelihood and it is not a sunstone is false. sent4: the cool is not pretentious. sent5: the airfield does not disunify snarl. sent6: the cultivator is not an intermediate. sent7: the sunlamp is not a replica and it is not a kind of a papulovesicle. sent8: if the airfield subtilizes the cool does not express. sent9: something is not a kind of a replica but it is a kind of a Sinai if it does not configure likelihood. sent10: the cool is not a replica if that the cultivator is both not an express and not intermediate is not right. sent11: the airfield does not subtilize. sent12: the fact that the cultivator is a replica hold if the airfield subtilizes but it is not pretentious. sent13: the cultivator is not a replica and is not an intermediate. sent14: if something does not disunify snarl then the fact that it does configure likelihood and it is not a sunstone is not true. sent15: that the airfield does subtilize and is not pretentious is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the airfield does not subtilize and is not pretentious.; sent13 -> int1: the cultivator is not a replica.; __UNKNOWN__