the bureaucrat is geometric if it is not non-quadraphonic.
sent1: something is not geometric if it reads disfigurement and is angiospermous. sent2: something is a cordovan if it does not coach muckraker. sent3: the leaf reads bot and it is a prelims. sent4: the pulse is a fief. sent5: something is geometric if it is not a prelims. sent6: if a car-ferry bubbles then it is not a prelims. sent7: the bureaucrat does bubble and is a fief. sent8: if the bureaucrat is quadraphonic that it is not a kind of a car-ferry is wrong.
void -> assump1: Let's assume that the bureaucrat is not non-quadraphonic.; sent8 & assump1 -> int1: the bureaucrat is a car-ferry.; sent7 -> int2: the bureaucrat is a bubbling.; int1 & int2 -> int3: the fact that the bureaucrat is a kind of a car-ferry that is a bubbling hold.; sent6 -> int4: if that the bureaucrat is a car-ferry and it does bubble is not incorrect then it is not a prelims.; int3 & int4 -> int5: the bureaucrat is not a kind of a prelims.; sent5 -> int6: the bureaucrat is geometric if it is not a prelims.; int5 & int6 -> int7: the bureaucrat is geometric.; [assump1] & int7 -> hypothesis;
the fact that the chelate is not geometric is not false if it reads disfigurement and it is angiospermous.
sent1 -> hypothesis;
$hypothesis$ = the bureaucrat is geometric if it is not non-quadraphonic. ; $context$ = sent1: something is not geometric if it reads disfigurement and is angiospermous. sent2: something is a cordovan if it does not coach muckraker. sent3: the leaf reads bot and it is a prelims. sent4: the pulse is a fief. sent5: something is geometric if it is not a prelims. sent6: if a car-ferry bubbles then it is not a prelims. sent7: the bureaucrat does bubble and is a fief. sent8: if the bureaucrat is quadraphonic that it is not a kind of a car-ferry is wrong. ; $proof$ = 
void -> assump1: Let's assume that the bureaucrat is not non-quadraphonic.; sent8 & assump1 -> int1: the bureaucrat is a car-ferry.; sent7 -> int2: the bureaucrat is a bubbling.; int1 & int2 -> int3: the fact that the bureaucrat is a kind of a car-ferry that is a bubbling hold.; sent6 -> int4: if that the bureaucrat is a car-ferry and it does bubble is not incorrect then it is not a prelims.; int3 & int4 -> int5: the bureaucrat is not a kind of a prelims.; sent5 -> int6: the bureaucrat is geometric if it is not a prelims.; int5 & int6 -> int7: the bureaucrat is geometric.; [assump1] & int7 -> hypothesis; __PROVED__