the explosive is aortal.
sent1: if something is a listed then the fact that the excelsior is verbal but not a listed does not hold. sent2: that the explosive fractures abdominousness and is not a kind of an appeal does not hold if there is something such that it is not an earth. sent3: something is aortal if the fact that it fractures abdominousness and does not appeal is incorrect. sent4: if the fact that the transplant is a startup but it is not a kind of an occurrence is wrong it is an earth. sent5: something is not architectural. sent6: if that the suburbanite is not verbal is not incorrect then the tandoor is an earth. sent7: there exists something such that it lists. sent8: if that the excelsior is verbal and is not a kind of a listed is not true then the suburbanite is not verbal. sent9: there exists something such that it is not an earth.
sent9 & sent2 -> int1: the fact that the explosive fractures abdominousness but it does not appeal does not hold.; sent3 -> int2: if that the explosive does fracture abdominousness but it is not a kind of an appeal is false it is aortal.; int1 & int2 -> hypothesis;
the explosive is not aortal.
sent7 & sent1 -> int3: that the excelsior is both verbal and not a listed does not hold.; sent8 & int3 -> int4: the suburbanite is not verbal.; sent6 & int4 -> int5: the tandoor earths.;
$hypothesis$ = the explosive is aortal. ; $context$ = sent1: if something is a listed then the fact that the excelsior is verbal but not a listed does not hold. sent2: that the explosive fractures abdominousness and is not a kind of an appeal does not hold if there is something such that it is not an earth. sent3: something is aortal if the fact that it fractures abdominousness and does not appeal is incorrect. sent4: if the fact that the transplant is a startup but it is not a kind of an occurrence is wrong it is an earth. sent5: something is not architectural. sent6: if that the suburbanite is not verbal is not incorrect then the tandoor is an earth. sent7: there exists something such that it lists. sent8: if that the excelsior is verbal and is not a kind of a listed is not true then the suburbanite is not verbal. sent9: there exists something such that it is not an earth. ; $proof$ = 
sent9 & sent2 -> int1: the fact that the explosive fractures abdominousness but it does not appeal does not hold.; sent3 -> int2: if that the explosive does fracture abdominousness but it is not a kind of an appeal is false it is aortal.; int1 & int2 -> hypothesis; __PROVED__