the convector either is insincere or grunts or both.
sent1: if the pyrogallol is a variability the fact that the convector is insincere is true. sent2: the pyrogallol is a have-not and a platen. sent3: if something is not a have-not then that either it is insincere or it grunts or both is not correct. sent4: if the pyrogallol is a have-not it is a variability.
sent2 -> int1: the pyrogallol is a kind of a have-not.; int1 & sent4 -> int2: the pyrogallol is a kind of a variability.; int2 & sent1 -> int3: the convector is insincere.; int3 -> hypothesis;
that the convector is insincere and/or does grunt does not hold.
sent3 -> int4: the fact that the convector is insincere and/or it does grunt is wrong if it is not a kind of a have-not.;
$hypothesis$ = the convector either is insincere or grunts or both. ; $context$ = sent1: if the pyrogallol is a variability the fact that the convector is insincere is true. sent2: the pyrogallol is a have-not and a platen. sent3: if something is not a have-not then that either it is insincere or it grunts or both is not correct. sent4: if the pyrogallol is a have-not it is a variability. ; $proof$ = 
sent2 -> int1: the pyrogallol is a kind of a have-not.; int1 & sent4 -> int2: the pyrogallol is a kind of a variability.; int2 & sent1 -> int3: the convector is insincere.; int3 -> hypothesis; __PROVED__