the fact that there exists something such that if it is not precise but an arbitrage then it is not a abrocome does not hold.
sent1: the Saracen is not a bloom if it perseverates stentor and is an arbitrage. sent2: if the Saracen is imprecise thing that arbitrages it is a abrocome. sent3: if the Saracen is precise and it is an arbitrage it is not a abrocome. sent4: if the Saracen is imprecise but it does arbitrage it is not a abrocome. sent5: the stentor is not a jolly if it does not suggest spelter and is not unfathomable. sent6: there exists something such that if that it is not precise and it is an arbitrage is right then it is a kind of a abrocome. sent7: there exists something such that if it is precise an arbitrage then it is not a kind of a abrocome.
sent4 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is not precise but an arbitrage then it is not a abrocome does not hold. ; $context$ = sent1: the Saracen is not a bloom if it perseverates stentor and is an arbitrage. sent2: if the Saracen is imprecise thing that arbitrages it is a abrocome. sent3: if the Saracen is precise and it is an arbitrage it is not a abrocome. sent4: if the Saracen is imprecise but it does arbitrage it is not a abrocome. sent5: the stentor is not a jolly if it does not suggest spelter and is not unfathomable. sent6: there exists something such that if that it is not precise and it is an arbitrage is right then it is a kind of a abrocome. sent7: there exists something such that if it is precise an arbitrage then it is not a kind of a abrocome. ; $proof$ = 
sent4 -> hypothesis; __DISPROVED__