if the interface is an octane then the endoplasm is not a kind of a innateness.
sent1: the interface does not trisect digitoxin. sent2: the dynamometer is not a innateness. sent3: if that something is not a masturbator and it is not multilevel is not correct then it is multilevel. sent4: the endoplasm is a innateness. sent5: that the interface is a grisaille and it is a kind of a innateness hold. sent6: the endoplasm is a innateness if the fact that the interface is not a masturbator but it is an octane hold. sent7: if the interface is not a masturbator and is a kind of a innateness the endoplasm is not a kind of an octane. sent8: the endoplasm is not a innateness if the interface is not a masturbator and is a kind of an octane. sent9: the endoplasm is not epiphytic. sent10: if there is something such that it is a innateness that the aquatics is not a kind of an octane and it is not a kind of a innateness does not hold. sent11: the interface is not a volatile and is a kind of a grisaille if the endoplasm does not soldier Antoninus. sent12: something does not negotiate wurtzite if that it is not an octane and it is not a kind of a innateness is false. sent13: that the vintage is not a masturbator is not wrong. sent14: the endoplasm is not Salvadoran but it is olfactory. sent15: if the interface is an octane then the endoplasm is a innateness. sent16: the endoplasm is a masturbator if the interface is not a kind of an octane but it is a innateness. sent17: the interface is not a kind of a masturbator. sent18: something is an octane and is a masturbator if it is not a kind of a innateness. sent19: if the endoplasm is not an octane but a innateness the interface is not a kind of a masturbator. sent20: if the endoplasm is not a masturbator and is a innateness the interface is not an octane. sent21: the endoplasm is a masturbator.
void -> assump1: Let's assume that the interface is an octane.; sent17 & assump1 -> int1: the interface is not a masturbator but it is an octane.; sent8 & int1 -> int2: the endoplasm is not a innateness.; [assump1] & int2 -> hypothesis;
the promiscuity is a masturbator.
sent18 -> int3: if the promiscuity is not a kind of a innateness then it is an octane and it is a masturbator.;
$hypothesis$ = if the interface is an octane then the endoplasm is not a kind of a innateness. ; $context$ = sent1: the interface does not trisect digitoxin. sent2: the dynamometer is not a innateness. sent3: if that something is not a masturbator and it is not multilevel is not correct then it is multilevel. sent4: the endoplasm is a innateness. sent5: that the interface is a grisaille and it is a kind of a innateness hold. sent6: the endoplasm is a innateness if the fact that the interface is not a masturbator but it is an octane hold. sent7: if the interface is not a masturbator and is a kind of a innateness the endoplasm is not a kind of an octane. sent8: the endoplasm is not a innateness if the interface is not a masturbator and is a kind of an octane. sent9: the endoplasm is not epiphytic. sent10: if there is something such that it is a innateness that the aquatics is not a kind of an octane and it is not a kind of a innateness does not hold. sent11: the interface is not a volatile and is a kind of a grisaille if the endoplasm does not soldier Antoninus. sent12: something does not negotiate wurtzite if that it is not an octane and it is not a kind of a innateness is false. sent13: that the vintage is not a masturbator is not wrong. sent14: the endoplasm is not Salvadoran but it is olfactory. sent15: if the interface is an octane then the endoplasm is a innateness. sent16: the endoplasm is a masturbator if the interface is not a kind of an octane but it is a innateness. sent17: the interface is not a kind of a masturbator. sent18: something is an octane and is a masturbator if it is not a kind of a innateness. sent19: if the endoplasm is not an octane but a innateness the interface is not a kind of a masturbator. sent20: if the endoplasm is not a masturbator and is a innateness the interface is not an octane. sent21: the endoplasm is a masturbator. ; $proof$ = 
void -> assump1: Let's assume that the interface is an octane.; sent17 & assump1 -> int1: the interface is not a masturbator but it is an octane.; sent8 & int1 -> int2: the endoplasm is not a innateness.; [assump1] & int2 -> hypothesis; __PROVED__