the okra does defend.
sent1: the axerophthol is electoral if the blackcock is a circumstance. sent2: if the axerophthol is a kind of a circumstance the okra defends. sent3: that the blackcock is a kind of a Iraqi that is a kind of a circumstance is not right. sent4: if the seductress is a kind of a Salmo or it is not a circumstance or both then the okra is not a circumstance. sent5: if the seductress is not a four-wheeler but it owns blackcock the axerophthol is a kind of a four-wheeler. sent6: the okra is a kind of a circumstance. sent7: the seductress is both not a redbrush and a chaff if it is gluttonous. sent8: the seductress is gluttonous. sent9: the axerophthol is a Salmo if something that is not a kind of an inconstancy is not a Edison. sent10: the axerophthol is a circumstance if there exists something such that it is not a kind of a Iraqi. sent11: there exists nothing such that it is a kind of a Iraqi and it is electoral. sent12: something is not an inconstancy and is not a Edison. sent13: if there exists something such that that it is a kind of a Iraqi and is not non-electoral is not true then the axerophthol is a circumstance. sent14: the axerophthol defends. sent15: if the seductress does defend then the fact that it is a kind of a Salmo or it is not a circumstance or both is correct. sent16: there is something such that that it defends and it is a Iraqi does not hold. sent17: if something is a chaff then it is not a four-wheeler and it does own blackcock.
sent11 -> int1: that the fact that the blackcock is Iraqi and is electoral does not hold is not incorrect.; int1 -> int2: there exists something such that that it is a kind of Iraqi thing that is electoral does not hold.; int2 & sent13 -> int3: the axerophthol is a circumstance.; sent2 & int3 -> hypothesis;
the okra does not defend.
sent12 & sent9 -> int4: the axerophthol is a Salmo.; sent17 -> int5: if the seductress is a chaff then it is not a four-wheeler and it does own blackcock.; sent7 & sent8 -> int6: the seductress is not a kind of a redbrush but it is a chaff.; int6 -> int7: the seductress is a chaff.; int5 & int7 -> int8: the seductress is not a four-wheeler and does own blackcock.; sent5 & int8 -> int9: the axerophthol is a four-wheeler.; int4 & int9 -> int10: the axerophthol is a Salmo and it is a four-wheeler.; int10 -> int11: there exists something such that it is a kind of a Salmo and it is a kind of a four-wheeler.;
$hypothesis$ = the okra does defend. ; $context$ = sent1: the axerophthol is electoral if the blackcock is a circumstance. sent2: if the axerophthol is a kind of a circumstance the okra defends. sent3: that the blackcock is a kind of a Iraqi that is a kind of a circumstance is not right. sent4: if the seductress is a kind of a Salmo or it is not a circumstance or both then the okra is not a circumstance. sent5: if the seductress is not a four-wheeler but it owns blackcock the axerophthol is a kind of a four-wheeler. sent6: the okra is a kind of a circumstance. sent7: the seductress is both not a redbrush and a chaff if it is gluttonous. sent8: the seductress is gluttonous. sent9: the axerophthol is a Salmo if something that is not a kind of an inconstancy is not a Edison. sent10: the axerophthol is a circumstance if there exists something such that it is not a kind of a Iraqi. sent11: there exists nothing such that it is a kind of a Iraqi and it is electoral. sent12: something is not an inconstancy and is not a Edison. sent13: if there exists something such that that it is a kind of a Iraqi and is not non-electoral is not true then the axerophthol is a circumstance. sent14: the axerophthol defends. sent15: if the seductress does defend then the fact that it is a kind of a Salmo or it is not a circumstance or both is correct. sent16: there is something such that that it defends and it is a Iraqi does not hold. sent17: if something is a chaff then it is not a four-wheeler and it does own blackcock. ; $proof$ = 
sent11 -> int1: that the fact that the blackcock is Iraqi and is electoral does not hold is not incorrect.; int1 -> int2: there exists something such that that it is a kind of Iraqi thing that is electoral does not hold.; int2 & sent13 -> int3: the axerophthol is a circumstance.; sent2 & int3 -> hypothesis; __PROVED__