the grad is not scarce.
sent1: if there exists something such that the fact that it does furlough interested and is not ankylotic does not hold then the prospectus is not a porterhouse. sent2: if something is not a kind of a future but it debuts PTO then it is a porterhouse. sent3: the grad is not future but it debuts PTO. sent4: something does tunnel solan if it does not furlough prospectus and it does furlough reclusiveness. sent5: if a unscalable thing is a porterhouse then it is not scarce. sent6: the grad is a kind of tetanic thing that debuts PTO.
sent2 -> int1: the grad is a kind of a porterhouse if it is not a kind of a future and it debuts PTO.; int1 & sent3 -> int2: the grad is a porterhouse.; sent5 -> int3: the grad is not scarce if it is both unscalable and a porterhouse.;
the grad is scarce.
$hypothesis$ = the grad is not scarce. ; $context$ = sent1: if there exists something such that the fact that it does furlough interested and is not ankylotic does not hold then the prospectus is not a porterhouse. sent2: if something is not a kind of a future but it debuts PTO then it is a porterhouse. sent3: the grad is not future but it debuts PTO. sent4: something does tunnel solan if it does not furlough prospectus and it does furlough reclusiveness. sent5: if a unscalable thing is a porterhouse then it is not scarce. sent6: the grad is a kind of tetanic thing that debuts PTO. ; $proof$ = 
sent2 -> int1: the grad is a kind of a porterhouse if it is not a kind of a future and it debuts PTO.; int1 & sent3 -> int2: the grad is a porterhouse.; sent5 -> int3: the grad is not scarce if it is both unscalable and a porterhouse.; __UNKNOWN__