the sapodilla is a sumac.
sent1: the sapodilla is facultative if there is something such that that it is a unguiculate that is a kind of a Herrick is false. sent2: if the nature negotiates boarhound it is non-apian thing that is not institutional. sent3: something is facultative but not a townsman if it is not a fluorapatite. sent4: if the patchcord is a kind of a unguiculate the nature is a Herrick. sent5: the fact that the nature negotiates boarhound is not wrong. sent6: the patchcord is extragalactic if there exists something such that it is both facultative and not a townsman. sent7: that something is a fluorapatite that is a kind of a sumac does not hold if that it is not a townsman is not wrong. sent8: something is not a townsman if it is facultative and is extragalactic. sent9: something is not a kind of a sumac if the fact that it is a fluorapatite and a sumac is not correct. sent10: there is something such that it is a Twin. sent11: The fact that the boarhound negotiates nature is not wrong. sent12: if the busbar is institutional it is a Diesel. sent13: the sapodilla is a kind of a sumac if that the busbar does mantle and/or it is not a Diesel is incorrect. sent14: something that is both non-apian and noninstitutional is not a Herrick. sent15: if something is a kind of a Twin the fact that the ingrate is both unguiculate and a Herrick does not hold. sent16: the sapodilla is extragalactic if it is institutional. sent17: if there is something such that either it is a mantle or it is not a Diesel or both then the ingrate is not a fluorapatite. sent18: if something is non-apian then the fact that the nature is not a townsman hold.
void -> assump1: Let's assume that the busbar either is a mantle or is not a Diesel or both.; assump1 -> int1: there is something such that it is a mantle and/or is not a kind of a Diesel.; int1 & sent17 -> int2: the ingrate is not a fluorapatite.; sent3 -> int3: if the ingrate is not a kind of a fluorapatite it is facultative thing that is not a kind of a townsman.; int2 & int3 -> int4: the ingrate is facultative but it is not a townsman.; int4 -> int5: something is facultative but it is not a kind of a townsman.; int5 & sent6 -> int6: the patchcord is extragalactic.; sent14 -> int7: the nature is not a Herrick if that it is not apian and it is not institutional is correct.; sent2 & sent5 -> int8: the nature is not apian and not institutional.; int7 & int8 -> int9: the nature is not a Herrick.;
the sapodilla is not a kind of a sumac.
sent9 -> int10: if that the sapodilla is a fluorapatite and is a kind of a sumac is not true then it is not a sumac.; sent7 -> int11: that the sapodilla is a kind of a fluorapatite and it is a sumac is not correct if it is not a townsman.; sent8 -> int12: if the sapodilla is facultative and it is extragalactic then it is not a kind of a townsman.; sent10 & sent15 -> int13: that the ingrate is a unguiculate that is a kind of a Herrick is not true.; int13 -> int14: there is something such that the fact that it is unguiculate a Herrick is not correct.; int14 & sent1 -> int15: the sapodilla is facultative.;
$hypothesis$ = the sapodilla is a sumac. ; $context$ = sent1: the sapodilla is facultative if there is something such that that it is a unguiculate that is a kind of a Herrick is false. sent2: if the nature negotiates boarhound it is non-apian thing that is not institutional. sent3: something is facultative but not a townsman if it is not a fluorapatite. sent4: if the patchcord is a kind of a unguiculate the nature is a Herrick. sent5: the fact that the nature negotiates boarhound is not wrong. sent6: the patchcord is extragalactic if there exists something such that it is both facultative and not a townsman. sent7: that something is a fluorapatite that is a kind of a sumac does not hold if that it is not a townsman is not wrong. sent8: something is not a townsman if it is facultative and is extragalactic. sent9: something is not a kind of a sumac if the fact that it is a fluorapatite and a sumac is not correct. sent10: there is something such that it is a Twin. sent11: The fact that the boarhound negotiates nature is not wrong. sent12: if the busbar is institutional it is a Diesel. sent13: the sapodilla is a kind of a sumac if that the busbar does mantle and/or it is not a Diesel is incorrect. sent14: something that is both non-apian and noninstitutional is not a Herrick. sent15: if something is a kind of a Twin the fact that the ingrate is both unguiculate and a Herrick does not hold. sent16: the sapodilla is extragalactic if it is institutional. sent17: if there is something such that either it is a mantle or it is not a Diesel or both then the ingrate is not a fluorapatite. sent18: if something is non-apian then the fact that the nature is not a townsman hold. ; $proof$ = 
void -> assump1: Let's assume that the busbar either is a mantle or is not a Diesel or both.; assump1 -> int1: there is something such that it is a mantle and/or is not a kind of a Diesel.; int1 & sent17 -> int2: the ingrate is not a fluorapatite.; sent3 -> int3: if the ingrate is not a kind of a fluorapatite it is facultative thing that is not a kind of a townsman.; int2 & int3 -> int4: the ingrate is facultative but it is not a townsman.; int4 -> int5: something is facultative but it is not a kind of a townsman.; int5 & sent6 -> int6: the patchcord is extragalactic.; sent14 -> int7: the nature is not a Herrick if that it is not apian and it is not institutional is correct.; sent2 & sent5 -> int8: the nature is not apian and not institutional.; int7 & int8 -> int9: the nature is not a Herrick.; __UNKNOWN__