the Loestrin is both not an account and not shelflike.
sent1: if the Loestrin is a kind of a Pandion it is apneic. sent2: the oboe is a kind of a Pandion if that the draftsman does not sleep smoker is not false. sent3: the fact that the draftsman is both ventral and amino is incorrect if it is not a look. sent4: there exists something such that it does not ding combat. sent5: something is a Pandion if it is a kind of a lithium. sent6: the Loestrin is not an account and it is non-shelflike if it is not a lithium. sent7: something does ding combat and does sleep smoker. sent8: the draftsman is not a look. sent9: if the Loestrin is not a lithium it is not shelflike. sent10: if something does not ding combat and does sleep smoker then that the Loestrin is not a lithium is correct. sent11: if something is apneic then that it is not an account and it is not shelflike is not right. sent12: if that the fact that the draftsman does not ding combat and does sleep smoker is not incorrect is not right the oboe is a Pandion. sent13: something that is not a kind of a plaza is a lithium that does uncloak. sent14: the oboe is not apneic. sent15: something is apneic if it is a Pandion.
void -> assump1: Let's assume that that the draftsman does not ding combat and does sleep smoker is wrong.; sent12 & assump1 -> int1: the oboe is a Pandion.; sent15 -> int2: if the oboe is a Pandion then it is apneic.; int1 & int2 -> int3: the oboe is apneic.; int3 & sent14 -> int4: this is contradiction.; [assump1] & int4 -> int5: the draftsman does not ding combat and does sleep smoker.; int5 -> int6: there is something such that it does not ding combat and does sleep smoker.; int6 & sent10 -> int7: the Loestrin is not a lithium.; int7 & sent6 -> hypothesis;
that the Loestrin does not account and is not shelflike is not correct.
sent11 -> int8: if the Loestrin is apneic the fact that it is not an account and is not shelflike is wrong.; sent5 -> int9: that the Loestrin is the Pandion if the Loestrin is a lithium hold.; sent13 -> int10: the Loestrin is a lithium and it does uncloak if it is not a plaza.; sent3 & sent8 -> int11: that the draftsman is ventral and it is amino is not correct.; int11 -> int12: there exists something such that that it is ventral and it is an amino is not true.;
$hypothesis$ = the Loestrin is both not an account and not shelflike. ; $context$ = sent1: if the Loestrin is a kind of a Pandion it is apneic. sent2: the oboe is a kind of a Pandion if that the draftsman does not sleep smoker is not false. sent3: the fact that the draftsman is both ventral and amino is incorrect if it is not a look. sent4: there exists something such that it does not ding combat. sent5: something is a Pandion if it is a kind of a lithium. sent6: the Loestrin is not an account and it is non-shelflike if it is not a lithium. sent7: something does ding combat and does sleep smoker. sent8: the draftsman is not a look. sent9: if the Loestrin is not a lithium it is not shelflike. sent10: if something does not ding combat and does sleep smoker then that the Loestrin is not a lithium is correct. sent11: if something is apneic then that it is not an account and it is not shelflike is not right. sent12: if that the fact that the draftsman does not ding combat and does sleep smoker is not incorrect is not right the oboe is a Pandion. sent13: something that is not a kind of a plaza is a lithium that does uncloak. sent14: the oboe is not apneic. sent15: something is apneic if it is a Pandion. ; $proof$ = 
void -> assump1: Let's assume that that the draftsman does not ding combat and does sleep smoker is wrong.; sent12 & assump1 -> int1: the oboe is a Pandion.; sent15 -> int2: if the oboe is a Pandion then it is apneic.; int1 & int2 -> int3: the oboe is apneic.; int3 & sent14 -> int4: this is contradiction.; [assump1] & int4 -> int5: the draftsman does not ding combat and does sleep smoker.; int5 -> int6: there is something such that it does not ding combat and does sleep smoker.; int6 & sent10 -> int7: the Loestrin is not a lithium.; int7 & sent6 -> hypothesis; __PROVED__