there is something such that if it does not dun deipnosophist then it does rendezvous salting and it is a kind of a trichotomy.
sent1: the fact that something does rendezvous salting and is a trichotomy is not incorrect if it does not dun deipnosophist.
sent1 -> int1: the bedside does rendezvous salting and is a trichotomy if it does not dun deipnosophist.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it does not dun deipnosophist then it does rendezvous salting and it is a kind of a trichotomy. ; $context$ = sent1: the fact that something does rendezvous salting and is a trichotomy is not incorrect if it does not dun deipnosophist. ; $proof$ = 
sent1 -> int1: the bedside does rendezvous salting and is a trichotomy if it does not dun deipnosophist.; int1 -> hypothesis; __PROVED__