the pyromorphite does gin rollback.
sent1: if the magnum is penicillin-resistant the fact that it does disown ostentation is correct. sent2: something is endomorphic if it is a kind of a carbohydrate. sent3: if the magnum does gin rollback then that the pyromorphite is not endomorphic and it is not a carbohydrate is wrong. sent4: if the pyromorphite does gin rollback then the magnum is a carbohydrate. sent5: something that is not a carbohydrate does gin rollback. sent6: the magnum is penicillin-resistant. sent7: if the magnum is penicillin-resistant then it is not endomorphic and disowns ostentation.
void -> assump1: Let's assume that the pyromorphite does gin rollback.; sent4 & assump1 -> int1: the magnum is a carbohydrate.; sent2 -> int2: the magnum is endomorphic if it is a carbohydrate.; int1 & int2 -> int3: the magnum is endomorphic.; sent7 & sent6 -> int4: the magnum is non-endomorphic thing that disowns ostentation.; int4 -> int5: the magnum is not endomorphic.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
the horsehide is endomorphic.
$hypothesis$ = the pyromorphite does gin rollback. ; $context$ = sent1: if the magnum is penicillin-resistant the fact that it does disown ostentation is correct. sent2: something is endomorphic if it is a kind of a carbohydrate. sent3: if the magnum does gin rollback then that the pyromorphite is not endomorphic and it is not a carbohydrate is wrong. sent4: if the pyromorphite does gin rollback then the magnum is a carbohydrate. sent5: something that is not a carbohydrate does gin rollback. sent6: the magnum is penicillin-resistant. sent7: if the magnum is penicillin-resistant then it is not endomorphic and disowns ostentation. ; $proof$ = 
void -> assump1: Let's assume that the pyromorphite does gin rollback.; sent4 & assump1 -> int1: the magnum is a carbohydrate.; sent2 -> int2: the magnum is endomorphic if it is a carbohydrate.; int1 & int2 -> int3: the magnum is endomorphic.; sent7 & sent6 -> int4: the magnum is non-endomorphic thing that disowns ostentation.; int4 -> int5: the magnum is not endomorphic.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __DISPROVED__