the partition is both a disembowelment and not a Tanoan.
sent1: The Pterospermum finalizes stator. sent2: the fact that the partition is a disembowelment and it is a Tanoan is not true. sent3: if the epinephrine is impressive and it is a cameraman the waterproof is not abomasal. sent4: if the stator finalizes Pterospermum the waterproof does finalizes Pterospermum. sent5: there exists something such that it is not a cameraman. sent6: the partition is abomasal. sent7: if the epinephrine is not a cameraman then that the rigger is not a cameraman is not wrong. sent8: if there exists something such that that it is not a cameraman and does finalize prospect is true the bondholder is not a disembowelment. sent9: if something that is a kind of a cameraman does finalize prospect then the bondholder is not a disembowelment. sent10: the rigger is not a kind of a cameraman and finalizes prospect if the epinephrine is not a cameraman. sent11: the fact that something is abomasal if that it does finalize Pterospermum is not incorrect is not false. sent12: the stator finalizes Pterospermum. sent13: the epinephrine is impressive. sent14: if the bondholder is not a disembowelment the fact that the partition is a kind of a disembowelment that is not a kind of a Tanoan is wrong.
void -> assump1: Let's assume that the epinephrine is a kind of a cameraman.; sent13 & assump1 -> int1: the epinephrine is impressive and a cameraman.; int1 & sent3 -> int2: the waterproof is not abomasal.; sent11 -> int3: if the fact that the waterproof does finalize Pterospermum is not wrong then it is abomasal.; sent4 & sent12 -> int4: the waterproof finalizes Pterospermum.; int3 & int4 -> int5: the waterproof is abomasal.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the epinephrine is not a cameraman.; int7 & sent10 -> int8: the rigger is not a cameraman but it finalizes prospect.; int8 -> int9: there is something such that it is not a cameraman and finalizes prospect.; int9 & sent8 -> int10: the bondholder is not a disembowelment.; int10 & sent14 -> hypothesis;
$hypothesis$ = the partition is both a disembowelment and not a Tanoan. ; $context$ = sent1: The Pterospermum finalizes stator. sent2: the fact that the partition is a disembowelment and it is a Tanoan is not true. sent3: if the epinephrine is impressive and it is a cameraman the waterproof is not abomasal. sent4: if the stator finalizes Pterospermum the waterproof does finalizes Pterospermum. sent5: there exists something such that it is not a cameraman. sent6: the partition is abomasal. sent7: if the epinephrine is not a cameraman then that the rigger is not a cameraman is not wrong. sent8: if there exists something such that that it is not a cameraman and does finalize prospect is true the bondholder is not a disembowelment. sent9: if something that is a kind of a cameraman does finalize prospect then the bondholder is not a disembowelment. sent10: the rigger is not a kind of a cameraman and finalizes prospect if the epinephrine is not a cameraman. sent11: the fact that something is abomasal if that it does finalize Pterospermum is not incorrect is not false. sent12: the stator finalizes Pterospermum. sent13: the epinephrine is impressive. sent14: if the bondholder is not a disembowelment the fact that the partition is a kind of a disembowelment that is not a kind of a Tanoan is wrong. ; $proof$ = 
void -> assump1: Let's assume that the epinephrine is a kind of a cameraman.; sent13 & assump1 -> int1: the epinephrine is impressive and a cameraman.; int1 & sent3 -> int2: the waterproof is not abomasal.; sent11 -> int3: if the fact that the waterproof does finalize Pterospermum is not wrong then it is abomasal.; sent4 & sent12 -> int4: the waterproof finalizes Pterospermum.; int3 & int4 -> int5: the waterproof is abomasal.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the epinephrine is not a cameraman.; int7 & sent10 -> int8: the rigger is not a cameraman but it finalizes prospect.; int8 -> int9: there is something such that it is not a cameraman and finalizes prospect.; int9 & sent8 -> int10: the bondholder is not a disembowelment.; int10 & sent14 -> hypothesis; __DISPROVED__