the fact that there is something such that if it is a Sula then it does not bargain accountantship and does not bargain tobramycin does not hold.
sent1: if something is a Sula it does not bargain accountantship and does not bargain tobramycin. sent2: if something is an antiquity it is not a kind of a thick-knee and it is not axiological.
sent1 -> int1: the accommodation does not bargain accountantship and it does not bargain tobramycin if it is a Sula.; int1 -> hypothesis;
the Carter is not a kind of a thick-knee and it is not axiological if it is an antiquity.
sent2 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it is a Sula then it does not bargain accountantship and does not bargain tobramycin does not hold. ; $context$ = sent1: if something is a Sula it does not bargain accountantship and does not bargain tobramycin. sent2: if something is an antiquity it is not a kind of a thick-knee and it is not axiological. ; $proof$ = 
sent1 -> int1: the accommodation does not bargain accountantship and it does not bargain tobramycin if it is a Sula.; int1 -> hypothesis; __DISPROVED__