the tubule is both a wild and not stored-program.
sent1: that something is a kind of Norman a ecarte is not true if it is not a rummy. sent2: the tubule is wild if something is not a aviatrix but it is sincere. sent3: something that does not drape Roentgen is both not exoergic and not non-isentropic. sent4: if either the snow-on-the-mountain is not stored-program or it is not isentropic or both the tubule is not stored-program. sent5: the fact that something is a wild and not stored-program is not correct if it is not a ecarte. sent6: that the snow-on-the-mountain does not drape Roentgen hold. sent7: if the fact that something is not a kind of a ecarte and is Norman is wrong then it is not a aviatrix. sent8: something is non-stored-program or it is not isentropic or both if that it does not drape Roentgen is right. sent9: the twilight does not drape Roentgen. sent10: the snow-on-the-mountain is not stored-program and/or it is a aviatrix. sent11: the snow-on-the-mountain is a wild. sent12: if something is a rummy then the fact that it is not a ecarte and it is a Norman is wrong. sent13: the hair does not drape Roentgen if the snow-on-the-mountain is unmusical. sent14: if there is something such that it is not a aviatrix and it is stored-program then the twilight is a ecarte. sent15: if something is not stored-program the bract is wild or is not exoergic or both. sent16: if something that is not exoergic is isentropic then the twilight is not a kind of a rummy. sent17: the hair is both not a rummy and a wild. sent18: the hair is exoergic. sent19: the hair is a ecarte if the twilight is a kind of a Norman. sent20: if that the twilight drapes Roentgen is not true it is both not stored-program and isentropic. sent21: That the Roentgen does not drape snow-on-the-mountain hold. sent22: if something is a kind of a rummy and/or is a ecarte then it is not exoergic.
void -> assump1: Let's assume that the fact that the twilight is not a aviatrix but it is sincere is incorrect.; sent22 -> int1: the hair is not exoergic if either it is a rummy or it is a ecarte or both.; sent8 -> int2: if the snow-on-the-mountain does not drape Roentgen either it is not stored-program or it is not isentropic or both.; int2 & sent6 -> int3: the snow-on-the-mountain is non-stored-program or it is not isentropic or both.; sent4 & int3 -> int4: the tubule is not stored-program.;
the bract is not a aviatrix.
sent7 -> int5: the bract is not a aviatrix if the fact that it is both not a ecarte and a Norman is not right.; sent12 -> int6: if the bract is a rummy that it is not a ecarte but a Norman is not right.; sent20 & sent9 -> int7: the twilight is a kind of non-stored-program thing that is isentropic.; int7 -> int8: the twilight is not stored-program.; int8 -> int9: the fact that something is not stored-program hold.; int9 & sent15 -> int10: the bract is a wild and/or it is not exoergic.;
$hypothesis$ = the tubule is both a wild and not stored-program. ; $context$ = sent1: that something is a kind of Norman a ecarte is not true if it is not a rummy. sent2: the tubule is wild if something is not a aviatrix but it is sincere. sent3: something that does not drape Roentgen is both not exoergic and not non-isentropic. sent4: if either the snow-on-the-mountain is not stored-program or it is not isentropic or both the tubule is not stored-program. sent5: the fact that something is a wild and not stored-program is not correct if it is not a ecarte. sent6: that the snow-on-the-mountain does not drape Roentgen hold. sent7: if the fact that something is not a kind of a ecarte and is Norman is wrong then it is not a aviatrix. sent8: something is non-stored-program or it is not isentropic or both if that it does not drape Roentgen is right. sent9: the twilight does not drape Roentgen. sent10: the snow-on-the-mountain is not stored-program and/or it is a aviatrix. sent11: the snow-on-the-mountain is a wild. sent12: if something is a rummy then the fact that it is not a ecarte and it is a Norman is wrong. sent13: the hair does not drape Roentgen if the snow-on-the-mountain is unmusical. sent14: if there is something such that it is not a aviatrix and it is stored-program then the twilight is a ecarte. sent15: if something is not stored-program the bract is wild or is not exoergic or both. sent16: if something that is not exoergic is isentropic then the twilight is not a kind of a rummy. sent17: the hair is both not a rummy and a wild. sent18: the hair is exoergic. sent19: the hair is a ecarte if the twilight is a kind of a Norman. sent20: if that the twilight drapes Roentgen is not true it is both not stored-program and isentropic. sent21: That the Roentgen does not drape snow-on-the-mountain hold. sent22: if something is a kind of a rummy and/or is a ecarte then it is not exoergic. ; $proof$ = 
void -> assump1: Let's assume that the fact that the twilight is not a aviatrix but it is sincere is incorrect.; sent22 -> int1: the hair is not exoergic if either it is a rummy or it is a ecarte or both.; sent8 -> int2: if the snow-on-the-mountain does not drape Roentgen either it is not stored-program or it is not isentropic or both.; int2 & sent6 -> int3: the snow-on-the-mountain is non-stored-program or it is not isentropic or both.; sent4 & int3 -> int4: the tubule is not stored-program.; __UNKNOWN__