the Forester is not drinkable and it does not shoot if the pus is not a kind of a neuroscientist.
sent1: the Forester does not rake extremeness and is not Keynesian if there is something such that it is not a shoot. sent2: if the orphrey is not a Keynesian the humate does not block pennyweight. sent3: the Forester is not a Keynesian if that the humate is drinkable and does block pennyweight is not true. sent4: if the pus is not a neuroscientist then that the orphrey rakes extremeness and is a Keynesian is not true. sent5: the fact that the Forester is not a Keynesian hold. sent6: something blocks pennyweight. sent7: if there exists something such that it does not block pennyweight the Forester is not drinkable and it does not shoot. sent8: if the pus is a kind of a neuroscientist the Forester is both not drinkable and not a shoot. sent9: if there exists something such that it does not block pennyweight the Forester is not a shoot. sent10: the playbox is not a neuroscientist but it is a pine. sent11: the Forester is both not a shoot and not a Keynesian. sent12: the catamite is not a neuroscientist and does not block humate. sent13: the humate does not block pennyweight if that the orphrey rakes extremeness and it is a Keynesian does not hold. sent14: there is something such that it does rake extremeness. sent15: if there is something such that it does not block pennyweight then the humate does not rake extremeness but it is a kind of a shoot. sent16: the pus is not a Keynesian and is not a neuroscientist.
void -> assump1: Let's assume that the fact that the pus is not a neuroscientist is not wrong.; sent4 & assump1 -> int1: the fact that the orphrey rakes extremeness and is a kind of a Keynesian is not correct.; sent13 & int1 -> int2: the humate does not block pennyweight.; int2 -> int3: something does not block pennyweight.; int3 & sent7 -> int4: the Forester is both not drinkable and not a shoot.; [assump1] & int4 -> hypothesis;
$hypothesis$ = the Forester is not drinkable and it does not shoot if the pus is not a kind of a neuroscientist. ; $context$ = sent1: the Forester does not rake extremeness and is not Keynesian if there is something such that it is not a shoot. sent2: if the orphrey is not a Keynesian the humate does not block pennyweight. sent3: the Forester is not a Keynesian if that the humate is drinkable and does block pennyweight is not true. sent4: if the pus is not a neuroscientist then that the orphrey rakes extremeness and is a Keynesian is not true. sent5: the fact that the Forester is not a Keynesian hold. sent6: something blocks pennyweight. sent7: if there exists something such that it does not block pennyweight the Forester is not drinkable and it does not shoot. sent8: if the pus is a kind of a neuroscientist the Forester is both not drinkable and not a shoot. sent9: if there exists something such that it does not block pennyweight the Forester is not a shoot. sent10: the playbox is not a neuroscientist but it is a pine. sent11: the Forester is both not a shoot and not a Keynesian. sent12: the catamite is not a neuroscientist and does not block humate. sent13: the humate does not block pennyweight if that the orphrey rakes extremeness and it is a Keynesian does not hold. sent14: there is something such that it does rake extremeness. sent15: if there is something such that it does not block pennyweight then the humate does not rake extremeness but it is a kind of a shoot. sent16: the pus is not a Keynesian and is not a neuroscientist. ; $proof$ = 
void -> assump1: Let's assume that the fact that the pus is not a neuroscientist is not wrong.; sent4 & assump1 -> int1: the fact that the orphrey rakes extremeness and is a kind of a Keynesian is not correct.; sent13 & int1 -> int2: the humate does not block pennyweight.; int2 -> int3: something does not block pennyweight.; int3 & sent7 -> int4: the Forester is both not drinkable and not a shoot.; [assump1] & int4 -> hypothesis; __PROVED__