something is Brobdingnagian and it is a kind of a prescription.
sent1: something does accelerate and is Brobdingnagian if it does not process junction. sent2: something does process typescript and is yeasty if it does not accelerate. sent3: something is a doxazosin but not a pheasant. sent4: the junction is not yeasty if something that is a kind of a doxazosin is not a kind of a pheasant. sent5: the letter is a prescription if the junction does accelerate. sent6: something processes typescript if it does not accelerate. sent7: the letter is a doxazosin. sent8: the letter does process junction. sent9: the letter processes junction and it is Brobdingnagian.
sent2 -> int1: if the junction does not accelerate it does process typescript and it is yeasty.; void -> assump1: Let's assume that the junction does not accelerate.; int1 & assump1 -> int2: the junction does process typescript and it is yeasty.; int2 -> int3: the junction is yeasty.; sent3 & sent4 -> int4: the junction is not yeasty.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the junction does accelerate.; int6 & sent5 -> int7: the letter is a prescription.; sent9 -> int8: the letter is Brobdingnagian.; int7 & int8 -> int9: the letter is Brobdingnagian and it is a prescription.; int9 -> hypothesis;
the teliospore does not process typescript.
sent1 -> int10: if the wrangler does not process junction it accelerates and it is Brobdingnagian.;
$hypothesis$ = something is Brobdingnagian and it is a kind of a prescription. ; $context$ = sent1: something does accelerate and is Brobdingnagian if it does not process junction. sent2: something does process typescript and is yeasty if it does not accelerate. sent3: something is a doxazosin but not a pheasant. sent4: the junction is not yeasty if something that is a kind of a doxazosin is not a kind of a pheasant. sent5: the letter is a prescription if the junction does accelerate. sent6: something processes typescript if it does not accelerate. sent7: the letter is a doxazosin. sent8: the letter does process junction. sent9: the letter processes junction and it is Brobdingnagian. ; $proof$ = 
sent2 -> int1: if the junction does not accelerate it does process typescript and it is yeasty.; void -> assump1: Let's assume that the junction does not accelerate.; int1 & assump1 -> int2: the junction does process typescript and it is yeasty.; int2 -> int3: the junction is yeasty.; sent3 & sent4 -> int4: the junction is not yeasty.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the junction does accelerate.; int6 & sent5 -> int7: the letter is a prescription.; sent9 -> int8: the letter is Brobdingnagian.; int7 & int8 -> int9: the letter is Brobdingnagian and it is a prescription.; int9 -> hypothesis; __PROVED__