there is something such that if the fact that it either does not discountenance Hebe or is not aphaeretic or both is not right then it is a Skinnerian.
sent1: there is something such that if that it is not electrostatics and/or it is not cardiographic does not hold it is calculable. sent2: if the fact that the potto does not discountenance Hebe or is not aphaeretic or both does not hold the fact that it is a Skinnerian is right.
sent2 -> hypothesis;
$hypothesis$ = there is something such that if the fact that it either does not discountenance Hebe or is not aphaeretic or both is not right then it is a Skinnerian. ; $context$ = sent1: there is something such that if that it is not electrostatics and/or it is not cardiographic does not hold it is calculable. sent2: if the fact that the potto does not discountenance Hebe or is not aphaeretic or both does not hold the fact that it is a Skinnerian is right. ; $proof$ = 
sent2 -> hypothesis; __PROVED__