there exists something such that if the fact that it destains weasel and does not sound joust does not hold it is not a kind of a credence.
sent1: if the fact that the treadmill destains weasel but it does not sound joust is not true then it is not a credence.
sent1 -> hypothesis;
$hypothesis$ = there exists something such that if the fact that it destains weasel and does not sound joust does not hold it is not a kind of a credence. ; $context$ = sent1: if the fact that the treadmill destains weasel but it does not sound joust is not true then it is not a credence. ; $proof$ = 
sent1 -> hypothesis; __PROVED__