the dicloxacillin is a deceptiveness and it halves hospital.
sent1: there exists something such that it is a walk-on. sent2: if either something is conjunct or it is not a immateriality or both it is not empiric. sent3: if the particle does not function Echo then the dicloxacillin function Echo. sent4: the dicloxacillin halves hospital and it is a immateriality. sent5: the hospital is a inconsequence and does dive copal. sent6: that something is a kind of a deceptiveness and it halves hospital is false if it is not a walk-on. sent7: the freeholder is not a kind of a walk-on and it does not dive copal if the bandsman is not empiric. sent8: something that is not empiric is a kind of a deceptiveness. sent9: the dicloxacillin is not a kind of a walk-on if the freeholder is not a walk-on and does not dive copal. sent10: the dicloxacillin is a secrecy. sent11: the dicloxacillin is a kind of a immateriality. sent12: the dicloxacillin is a deceptiveness if it is not empiric. sent13: the fact that the dicloxacillin does not dive copal and is empiric does not hold if there is something such that it is a walk-on. sent14: something is a kind of a deceptiveness if the fact that it does not dive copal and is empiric is wrong.
sent1 & sent13 -> int1: the fact that the dicloxacillin does not dive copal but it is empiric does not hold.; sent14 -> int2: the dicloxacillin is a deceptiveness if the fact that it does not dive copal and it is empiric does not hold.; int1 & int2 -> int3: the dicloxacillin is a kind of a deceptiveness.; sent4 -> int4: the dicloxacillin halves hospital.; int3 & int4 -> hypothesis;
that the dicloxacillin is a deceptiveness and it does halve hospital is not correct.
sent6 -> int5: that that the dicloxacillin is a deceptiveness and halves hospital is right does not hold if it is not a walk-on.; sent2 -> int6: if the bandsman is conjunct and/or it is not a immateriality it is not empiric.;
$hypothesis$ = the dicloxacillin is a deceptiveness and it halves hospital. ; $context$ = sent1: there exists something such that it is a walk-on. sent2: if either something is conjunct or it is not a immateriality or both it is not empiric. sent3: if the particle does not function Echo then the dicloxacillin function Echo. sent4: the dicloxacillin halves hospital and it is a immateriality. sent5: the hospital is a inconsequence and does dive copal. sent6: that something is a kind of a deceptiveness and it halves hospital is false if it is not a walk-on. sent7: the freeholder is not a kind of a walk-on and it does not dive copal if the bandsman is not empiric. sent8: something that is not empiric is a kind of a deceptiveness. sent9: the dicloxacillin is not a kind of a walk-on if the freeholder is not a walk-on and does not dive copal. sent10: the dicloxacillin is a secrecy. sent11: the dicloxacillin is a kind of a immateriality. sent12: the dicloxacillin is a deceptiveness if it is not empiric. sent13: the fact that the dicloxacillin does not dive copal and is empiric does not hold if there is something such that it is a walk-on. sent14: something is a kind of a deceptiveness if the fact that it does not dive copal and is empiric is wrong. ; $proof$ = 
sent1 & sent13 -> int1: the fact that the dicloxacillin does not dive copal but it is empiric does not hold.; sent14 -> int2: the dicloxacillin is a deceptiveness if the fact that it does not dive copal and it is empiric does not hold.; int1 & int2 -> int3: the dicloxacillin is a kind of a deceptiveness.; sent4 -> int4: the dicloxacillin halves hospital.; int3 & int4 -> hypothesis; __PROVED__