the linstock is a kind of steady thing that tempers whipping.
sent1: there is something such that it is a peripatetic. sent2: The lightlessness defrays brickbat. sent3: the brickbat is metaphysical. sent4: something is not unsteady but it does temper whipping if it defrays lightlessness. sent5: if something that does defray lightlessness is metaphysical then the piste does not temper whipping. sent6: the brickbat defrays lightlessness. sent7: the fact that the linstock is unsteady and does temper whipping does not hold. sent8: the fact that the linstock is not unsteady but it does temper whipping is wrong if the piste does not temper whipping.
sent6 & sent3 -> int1: the brickbat defrays lightlessness and it is metaphysical.; int1 -> int2: there is something such that it defrays lightlessness and it is metaphysical.; int2 & sent5 -> int3: that the piste does not temper whipping is correct.; sent8 & int3 -> hypothesis;
the linstock is not unsteady and does temper whipping.
sent4 -> int4: the linstock is a kind of non-unsteady thing that tempers whipping if it defrays lightlessness.;
$hypothesis$ = the linstock is a kind of steady thing that tempers whipping. ; $context$ = sent1: there is something such that it is a peripatetic. sent2: The lightlessness defrays brickbat. sent3: the brickbat is metaphysical. sent4: something is not unsteady but it does temper whipping if it defrays lightlessness. sent5: if something that does defray lightlessness is metaphysical then the piste does not temper whipping. sent6: the brickbat defrays lightlessness. sent7: the fact that the linstock is unsteady and does temper whipping does not hold. sent8: the fact that the linstock is not unsteady but it does temper whipping is wrong if the piste does not temper whipping. ; $proof$ = 
sent6 & sent3 -> int1: the brickbat defrays lightlessness and it is metaphysical.; int1 -> int2: there is something such that it defrays lightlessness and it is metaphysical.; int2 & sent5 -> int3: that the piste does not temper whipping is correct.; sent8 & int3 -> hypothesis; __DISPROVED__