the instrumentation does not adduct instrumentation.
sent1: something is a conger if it is choragic. sent2: the kingcup does adduct galere. sent3: something that does model is important. sent4: if the kingcup lambs Wolffia then the repair adducts galere. sent5: the fact that if the kingcup is the ID then the kingcup does lamb Wolffia is true. sent6: the instrumentation is not a inspissation if the repair is a kind of a conger and it adducts galere. sent7: if something is not a kind of a inspissation it does not adduct instrumentation. sent8: the repair is choragic. sent9: the costermonger does adduct instrumentation and it is a ID if the kingcup does not lamb Wolffia. sent10: if the kingcup is a conger then the repair does lamb Wolffia.
sent1 -> int1: the repair is a conger if it is choragic.; int1 & sent8 -> int2: the repair is a conger.; sent7 -> int3: if the instrumentation is not a inspissation then it does not adduct instrumentation.;
the costermonger does adduct instrumentation.
$hypothesis$ = the instrumentation does not adduct instrumentation. ; $context$ = sent1: something is a conger if it is choragic. sent2: the kingcup does adduct galere. sent3: something that does model is important. sent4: if the kingcup lambs Wolffia then the repair adducts galere. sent5: the fact that if the kingcup is the ID then the kingcup does lamb Wolffia is true. sent6: the instrumentation is not a inspissation if the repair is a kind of a conger and it adducts galere. sent7: if something is not a kind of a inspissation it does not adduct instrumentation. sent8: the repair is choragic. sent9: the costermonger does adduct instrumentation and it is a ID if the kingcup does not lamb Wolffia. sent10: if the kingcup is a conger then the repair does lamb Wolffia. ; $proof$ = 
sent1 -> int1: the repair is a conger if it is choragic.; int1 & sent8 -> int2: the repair is a conger.; sent7 -> int3: if the instrumentation is not a inspissation then it does not adduct instrumentation.; __UNKNOWN__