the megacolon is a kind of a paleodendrology.
sent1: the fact that the Rus is not a kind of a Podargidae hold if that it is not acetylic and does not spray Enlightenment is not true. sent2: the Rus is non-acetylic if the approver is a kind of a Podargidae that does spray Enlightenment. sent3: the approver does spray Enlightenment. sent4: something does not spray tormentor if the fact that it is non-acetylic and it is not a minelayer is not right. sent5: the dendrite does not spray retardation and does not spray checksum if it is not a kind of a Gibbon. sent6: if there exists something such that it does not spray retardation and does not spray checksum the Rus does spray trowel. sent7: if something is a kind of a paleodendrology the fact that it does not reconvert and it does not spray yardarm does not hold. sent8: the dendrite is not a Gibbon. sent9: the fact that the dendrite is a kind of non-acetylic a minelayer is not true. sent10: the fact that the dendrite is both not acetylic and not a minelayer does not hold if the Rus is not acetylic. sent11: everything does not spray tormentor or is not a minelayer or both. sent12: if something does not spray tormentor it is a paleodendrology and it is not non-acetylic. sent13: the dendrite does spray tormentor and sprays trowel. sent14: if something is not acetylic and it does not spray tormentor it is not a paleodendrology. sent15: if the Rus is non-acetylic that the dendrite is not non-acetylic and is a minelayer is not right.
void -> assump1: Let's assume that the megacolon is not a paleodendrology.; sent4 -> int1: the dendrite does not spray tormentor if that it is not acetylic and it is not a kind of a minelayer does not hold.; sent13 -> int2: the dendrite does spray tormentor.;
the megacolon is not a kind of a paleodendrology.
sent14 -> int3: if the fact that the megacolon is not acetylic and it does not spray tormentor is not wrong then it is not a paleodendrology.; sent5 & sent8 -> int4: the dendrite does not spray retardation and it does not spray checksum.; int4 -> int5: something does not spray retardation and it does not spray checksum.; int5 & sent6 -> int6: the Rus sprays trowel.; int6 -> int7: there is something such that it sprays trowel.;
$hypothesis$ = the megacolon is a kind of a paleodendrology. ; $context$ = sent1: the fact that the Rus is not a kind of a Podargidae hold if that it is not acetylic and does not spray Enlightenment is not true. sent2: the Rus is non-acetylic if the approver is a kind of a Podargidae that does spray Enlightenment. sent3: the approver does spray Enlightenment. sent4: something does not spray tormentor if the fact that it is non-acetylic and it is not a minelayer is not right. sent5: the dendrite does not spray retardation and does not spray checksum if it is not a kind of a Gibbon. sent6: if there exists something such that it does not spray retardation and does not spray checksum the Rus does spray trowel. sent7: if something is a kind of a paleodendrology the fact that it does not reconvert and it does not spray yardarm does not hold. sent8: the dendrite is not a Gibbon. sent9: the fact that the dendrite is a kind of non-acetylic a minelayer is not true. sent10: the fact that the dendrite is both not acetylic and not a minelayer does not hold if the Rus is not acetylic. sent11: everything does not spray tormentor or is not a minelayer or both. sent12: if something does not spray tormentor it is a paleodendrology and it is not non-acetylic. sent13: the dendrite does spray tormentor and sprays trowel. sent14: if something is not acetylic and it does not spray tormentor it is not a paleodendrology. sent15: if the Rus is non-acetylic that the dendrite is not non-acetylic and is a minelayer is not right. ; $proof$ = 
void -> assump1: Let's assume that the megacolon is not a paleodendrology.; sent4 -> int1: the dendrite does not spray tormentor if that it is not acetylic and it is not a kind of a minelayer does not hold.; sent13 -> int2: the dendrite does spray tormentor.; __UNKNOWN__