the fact that there exists something such that if it is both not unprofitable and an archer then it is a Cretan does not hold.
sent1: there is something such that if it is unprofitable and is an archer it is a Cretan. sent2: if something that is not unprofitable is a kind of an archer it is a Cretan.
sent2 -> int1: if the kicksorter is not unprofitable but it is an archer it is a Cretan.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is both not unprofitable and an archer then it is a Cretan does not hold. ; $context$ = sent1: there is something such that if it is unprofitable and is an archer it is a Cretan. sent2: if something that is not unprofitable is a kind of an archer it is a Cretan. ; $proof$ = 
sent2 -> int1: if the kicksorter is not unprofitable but it is an archer it is a Cretan.; int1 -> hypothesis; __DISPROVED__