if the parturition is a Centaurium then the straw does credit claim.
sent1: something is a kind of a Machiavellian if it does depressurize sild. sent2: the straw is not a kind of a Machiavellian. sent3: if the parturition is a kind of a Centaurium then it is unwholesome. sent4: if the parturition is unwholesome then it is a EU. sent5: if the parturition is a EU the straw is unwholesome. sent6: if the Fang is a kind of a crooner it closes. sent7: the straw is non-Machiavellian if the parturition is a EU. sent8: if something is not a kind of a EU and it is not a Machiavellian it credits claim. sent9: if something that is not a kind of a EU is a kind of a Machiavellian it credits claim. sent10: the straw is not a kind of a EU and is not a Machiavellian if that the parturition is a EU hold.
void -> assump1: Let's assume that the parturition is a kind of a Centaurium.; sent3 & assump1 -> int1: the parturition is unwholesome.; int1 & sent4 -> int2: the parturition is a EU.; int2 & sent10 -> int3: the straw is both not a EU and not a Machiavellian.; sent8 -> int4: if the straw is not a EU and it is not Machiavellian it credits claim.; int3 & int4 -> int5: the straw credits claim.; [assump1] & int5 -> hypothesis;
the auklet is Machiavellian if it does depressurize sild.
sent1 -> hypothesis;
$hypothesis$ = if the parturition is a Centaurium then the straw does credit claim. ; $context$ = sent1: something is a kind of a Machiavellian if it does depressurize sild. sent2: the straw is not a kind of a Machiavellian. sent3: if the parturition is a kind of a Centaurium then it is unwholesome. sent4: if the parturition is unwholesome then it is a EU. sent5: if the parturition is a EU the straw is unwholesome. sent6: if the Fang is a kind of a crooner it closes. sent7: the straw is non-Machiavellian if the parturition is a EU. sent8: if something is not a kind of a EU and it is not a Machiavellian it credits claim. sent9: if something that is not a kind of a EU is a kind of a Machiavellian it credits claim. sent10: the straw is not a kind of a EU and is not a Machiavellian if that the parturition is a EU hold. ; $proof$ = 
void -> assump1: Let's assume that the parturition is a kind of a Centaurium.; sent3 & assump1 -> int1: the parturition is unwholesome.; int1 & sent4 -> int2: the parturition is a EU.; int2 & sent10 -> int3: the straw is both not a EU and not a Machiavellian.; sent8 -> int4: if the straw is not a EU and it is not Machiavellian it credits claim.; int3 & int4 -> int5: the straw credits claim.; [assump1] & int5 -> hypothesis; __PROVED__