the beefsteak is not cationic.
sent1: the troposphere is not a quadrupling if the neuropil is non-supraorbital a pipeful. sent2: the fact that the neuropil is not supraorbital hold. sent3: the neuropil is a pipeful. sent4: if the troposphere is not a quadrupling then the beefsteak is both cationic and a quadrupling.
sent2 & sent3 -> int1: the neuropil is a kind of non-supraorbital a pipeful.; sent1 & int1 -> int2: the troposphere is not a quadrupling.; sent4 & int2 -> int3: the beefsteak is cationic and it does quadruple.; int3 -> hypothesis;
$hypothesis$ = the beefsteak is not cationic. ; $context$ = sent1: the troposphere is not a quadrupling if the neuropil is non-supraorbital a pipeful. sent2: the fact that the neuropil is not supraorbital hold. sent3: the neuropil is a pipeful. sent4: if the troposphere is not a quadrupling then the beefsteak is both cationic and a quadrupling. ; $proof$ = 
sent2 & sent3 -> int1: the neuropil is a kind of non-supraorbital a pipeful.; sent1 & int1 -> int2: the troposphere is not a quadrupling.; sent4 & int2 -> int3: the beefsteak is cationic and it does quadruple.; int3 -> hypothesis; __DISPROVED__