the cello is not a Essene.
sent1: if the coachman is a switch it is a society. sent2: if the boxcar is a society the cello is not a Essene. sent3: if the puddler is illegitimate then the boxcar is a society. sent4: the isoagglutination does outshout transferrin if the puddler outshout transferrin. sent5: the puddler glamorizes. sent6: if something does outshout transferrin it is a vanadinite. sent7: the puddler is illegitimate if the isoagglutination does not glamorize. sent8: the fact that the boxcar is illegitimate and does not outshout transferrin does not hold if the chordate is a vanadinite. sent9: if that the isoagglutination is a kind of a Essene hold then the cello is a Essene. sent10: the puddler is illegitimate if it is a vanadinite. sent11: the cyanogen is not a vanadinite. sent12: if the Norman is not a vanadinite and does not glamorize the chordate is a kind of a vanadinite. sent13: that the isoagglutination does not outshout transferrin but it does glamorize is wrong if the cyanogen does not outshout transferrin. sent14: if something outshouts transferrin then it is a Essene.
sent6 -> int1: if the cyanogen does outshout transferrin then it is a vanadinite.; void -> assump1: Let's assume that the cyanogen does outshout transferrin.; int1 & assump1 -> int2: the cyanogen is a vanadinite.; int2 & sent11 -> int3: this is contradiction.; [assump1] & int3 -> int4: the cyanogen does not outshout transferrin.; int4 & sent13 -> int5: the fact that the isoagglutination does not outshout transferrin but it does glamorize is not correct.;
the cello is a Essene.
sent14 -> int6: the isoagglutination is a Essene if it does outshout transferrin.;
$hypothesis$ = the cello is not a Essene. ; $context$ = sent1: if the coachman is a switch it is a society. sent2: if the boxcar is a society the cello is not a Essene. sent3: if the puddler is illegitimate then the boxcar is a society. sent4: the isoagglutination does outshout transferrin if the puddler outshout transferrin. sent5: the puddler glamorizes. sent6: if something does outshout transferrin it is a vanadinite. sent7: the puddler is illegitimate if the isoagglutination does not glamorize. sent8: the fact that the boxcar is illegitimate and does not outshout transferrin does not hold if the chordate is a vanadinite. sent9: if that the isoagglutination is a kind of a Essene hold then the cello is a Essene. sent10: the puddler is illegitimate if it is a vanadinite. sent11: the cyanogen is not a vanadinite. sent12: if the Norman is not a vanadinite and does not glamorize the chordate is a kind of a vanadinite. sent13: that the isoagglutination does not outshout transferrin but it does glamorize is wrong if the cyanogen does not outshout transferrin. sent14: if something outshouts transferrin then it is a Essene. ; $proof$ = 
sent6 -> int1: if the cyanogen does outshout transferrin then it is a vanadinite.; void -> assump1: Let's assume that the cyanogen does outshout transferrin.; int1 & assump1 -> int2: the cyanogen is a vanadinite.; int2 & sent11 -> int3: this is contradiction.; [assump1] & int3 -> int4: the cyanogen does not outshout transferrin.; int4 & sent13 -> int5: the fact that the isoagglutination does not outshout transferrin but it does glamorize is not correct.; __UNKNOWN__