the tree-frog does not focus.
sent1: if the incense is a corynebacterium and it does splinter then the equipment is not a Scophthalmus. sent2: the incense is not a Photostat. sent3: if something is a Scophthalmus the fact that it does not focus and does hash erasure is incorrect. sent4: the incense is a corynebacterium and is a splinter. sent5: the equipment is a Scophthalmus if the proctor is not extrasystolic and not a Scophthalmus. sent6: if the equipment is sexual then it does not oppose purpose and it is a potboy. sent7: the equipment is sexual. sent8: the fact that the incense is both not a splinter and a focus is not true. sent9: if the equipment does not hash erasure that it does not oppose purpose and it is a potboy does not hold. sent10: if the proctor is not a Photostat the tree-frog is extrasystolic but it does not focus. sent11: the proctor is not a Photostat if the equipment is not a Scophthalmus and hashes erasure.
void -> assump1: Let's assume that the equipment does not hash erasure.; sent9 & assump1 -> int1: the fact that the equipment does not oppose purpose but it is a potboy is not correct.; sent6 & sent7 -> int2: the equipment does not oppose purpose but it is a potboy.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the equipment does hash erasure.; sent1 & sent4 -> int5: the equipment is not a Scophthalmus.; int4 & int5 -> int6: the equipment is not a Scophthalmus and hashes erasure.; int6 & sent11 -> int7: the proctor is not a Photostat.; int7 & sent10 -> int8: the tree-frog is extrasystolic but not a focus.; int8 -> hypothesis;
the tree-frog is a focus.
sent3 -> int9: if the equipment is a Scophthalmus the fact that it is not a focus and hashes erasure is false.;
$hypothesis$ = the tree-frog does not focus. ; $context$ = sent1: if the incense is a corynebacterium and it does splinter then the equipment is not a Scophthalmus. sent2: the incense is not a Photostat. sent3: if something is a Scophthalmus the fact that it does not focus and does hash erasure is incorrect. sent4: the incense is a corynebacterium and is a splinter. sent5: the equipment is a Scophthalmus if the proctor is not extrasystolic and not a Scophthalmus. sent6: if the equipment is sexual then it does not oppose purpose and it is a potboy. sent7: the equipment is sexual. sent8: the fact that the incense is both not a splinter and a focus is not true. sent9: if the equipment does not hash erasure that it does not oppose purpose and it is a potboy does not hold. sent10: if the proctor is not a Photostat the tree-frog is extrasystolic but it does not focus. sent11: the proctor is not a Photostat if the equipment is not a Scophthalmus and hashes erasure. ; $proof$ = 
void -> assump1: Let's assume that the equipment does not hash erasure.; sent9 & assump1 -> int1: the fact that the equipment does not oppose purpose but it is a potboy is not correct.; sent6 & sent7 -> int2: the equipment does not oppose purpose but it is a potboy.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the equipment does hash erasure.; sent1 & sent4 -> int5: the equipment is not a Scophthalmus.; int4 & int5 -> int6: the equipment is not a Scophthalmus and hashes erasure.; int6 & sent11 -> int7: the proctor is not a Photostat.; int7 & sent10 -> int8: the tree-frog is extrasystolic but not a focus.; int8 -> hypothesis; __PROVED__