the rest does treat Shah.
sent1: if the rest is alvine the fact that it does not treat Shah hold. sent2: the blinker is not alvine. sent3: the rest treats Shah if the flare is actinomycetal and not indexical. sent4: if that something is a kind of non-alvine thing that does squawk Brummie is not right it does not treat Shah. sent5: something is non-alvine if it does treat Shah and/or it is indexical. sent6: if something is indexical then that it is non-alvine thing that does squawk Brummie does not hold. sent7: the rest is indexical. sent8: if the rest is indexical then that it is a kind of alvine thing that squawks Brummie does not hold.
sent6 -> int1: that the rest is non-alvine thing that squawks Brummie is false if it is indexical.; int1 & sent7 -> int2: that the rest is not alvine and does squawk Brummie is not correct.; sent4 -> int3: if that the rest is not alvine and does squawk Brummie is not true it does not treat Shah.; int2 & int3 -> hypothesis;
the scallopine is not alvine.
sent5 -> int4: if the fact that the scallopine either does treat Shah or is not non-indexical or both is not false then it is non-alvine.;
$hypothesis$ = the rest does treat Shah. ; $context$ = sent1: if the rest is alvine the fact that it does not treat Shah hold. sent2: the blinker is not alvine. sent3: the rest treats Shah if the flare is actinomycetal and not indexical. sent4: if that something is a kind of non-alvine thing that does squawk Brummie is not right it does not treat Shah. sent5: something is non-alvine if it does treat Shah and/or it is indexical. sent6: if something is indexical then that it is non-alvine thing that does squawk Brummie does not hold. sent7: the rest is indexical. sent8: if the rest is indexical then that it is a kind of alvine thing that squawks Brummie does not hold. ; $proof$ = 
sent6 -> int1: that the rest is non-alvine thing that squawks Brummie is false if it is indexical.; int1 & sent7 -> int2: that the rest is not alvine and does squawk Brummie is not correct.; sent4 -> int3: if that the rest is not alvine and does squawk Brummie is not true it does not treat Shah.; int2 & int3 -> hypothesis; __DISPROVED__