the Zulu is not plantar.
sent1: if the coordinator is a Cornish then the ovipositor hurdles. sent2: the fact that the suction is unresentful or it churns subjugator or both is wrong. sent3: the Zulu is a Cornish and it is a hurdles. sent4: if that the autoplasty is plantar is correct then the Zulu is a kind of a Cornish. sent5: the Zulu is a kind of a Cornish. sent6: something that does not exsiccate maiden is a scuff and/or a Cornish. sent7: if the autoplasty is plantar then the Zulu is not non-Cornish but it is not plantar. sent8: the suction is paranormal but it is not a kind of a half-intensity if it is not peaty. sent9: something regiments if it is not a hurdles. sent10: if the fact that that something is unresentful and/or does churn subjugator hold is incorrect it is not peaty. sent11: everything is a kind of a kohlrabi and it is a kind of a hurdles. sent12: the autoplasty is plantar if it is a kohlrabi. sent13: if something is a kind of a hurdles then it is a kohlrabi. sent14: the park does not exsiccate maiden if the suction is paranormal and is not a half-intensity. sent15: if the ovipositor is plantar then the Zulu is plantar.
sent11 -> int1: the autoplasty is a kind of a kohlrabi and it is a hurdles.; int1 -> int2: the autoplasty is a kohlrabi.; int2 & sent12 -> int3: the autoplasty is plantar.; int3 & sent7 -> int4: the Zulu is Cornish but it is not plantar.; int4 -> hypothesis;
that the Zulu is not plantar does not hold.
sent13 -> int5: if the ovipositor is a hurdles that it is a kohlrabi is not incorrect.; sent6 -> int6: if the park does not exsiccate maiden then it is a scuff and/or a Cornish.; sent10 -> int7: if the fact that the suction is unresentful and/or it churns subjugator is false it is not peaty.; int7 & sent2 -> int8: the suction is non-peaty.; sent8 & int8 -> int9: the suction is paranormal and is not a half-intensity.; sent14 & int9 -> int10: the park does not exsiccate maiden.; int6 & int10 -> int11: the park scuffs and/or is a kind of a Cornish.;
$hypothesis$ = the Zulu is not plantar. ; $context$ = sent1: if the coordinator is a Cornish then the ovipositor hurdles. sent2: the fact that the suction is unresentful or it churns subjugator or both is wrong. sent3: the Zulu is a Cornish and it is a hurdles. sent4: if that the autoplasty is plantar is correct then the Zulu is a kind of a Cornish. sent5: the Zulu is a kind of a Cornish. sent6: something that does not exsiccate maiden is a scuff and/or a Cornish. sent7: if the autoplasty is plantar then the Zulu is not non-Cornish but it is not plantar. sent8: the suction is paranormal but it is not a kind of a half-intensity if it is not peaty. sent9: something regiments if it is not a hurdles. sent10: if the fact that that something is unresentful and/or does churn subjugator hold is incorrect it is not peaty. sent11: everything is a kind of a kohlrabi and it is a kind of a hurdles. sent12: the autoplasty is plantar if it is a kohlrabi. sent13: if something is a kind of a hurdles then it is a kohlrabi. sent14: the park does not exsiccate maiden if the suction is paranormal and is not a half-intensity. sent15: if the ovipositor is plantar then the Zulu is plantar. ; $proof$ = 
sent11 -> int1: the autoplasty is a kind of a kohlrabi and it is a hurdles.; int1 -> int2: the autoplasty is a kohlrabi.; int2 & sent12 -> int3: the autoplasty is plantar.; int3 & sent7 -> int4: the Zulu is Cornish but it is not plantar.; int4 -> hypothesis; __PROVED__