that the hypertonicity is not a kind of a nightmare is correct if the souring does fan.
sent1: if there is something such that it is not a Orozco or is not a Liederkranz or both then the ragout is not wasteful. sent2: the souring is a kind of a nightmare if the hypertonicity fans. sent3: if the souring is not non-macromolecular then the ragout is physiotherapeutic. sent4: something laughs and blankets cochineal if it is not wasteful. sent5: the fact that the subdivision is a kind of an allotrope and it is physiotherapeutic does not hold. sent6: if the subdivision is an allotrope then the hypertonicity is not a nightmare. sent7: the hypertonicity is not a kind of a nightmare if that the subdivision is not an allotrope but physiotherapeutic is not true. sent8: if the souring is a kind of a fan it is macromolecular. sent9: that the alpinist does fan hold. sent10: if that something is non-macromolecular thing that is not physiotherapeutic does not hold it is non-macromolecular. sent11: that the subdivision is an allotrope and it is physiotherapeutic is false if the ragout is physiotherapeutic. sent12: if the ragout does blanket cochineal the souring is a kind of a nightmare and/or it is not an allotrope. sent13: the currant is not a kind of a fan if the souring is either a nightmare or not an allotrope or both. sent14: the cochineal is physiotherapeutic. sent15: if that the subdivision is not an allotrope but it is not non-physiotherapeutic is false then the fact that the hypertonicity is a nightmare is true. sent16: the subdivision is not a kind of a Orozco and/or it is not a Liederkranz.
void -> assump1: Let's assume that the fact that the souring is a kind of a fan is not incorrect.; sent8 & assump1 -> int1: the souring is macromolecular.; sent3 & int1 -> int2: the ragout is physiotherapeutic.;
the currant is macromolecular.
sent10 -> int3: the currant is macromolecular if the fact that it is a kind of macromolecular thing that is not physiotherapeutic is not right.; sent4 -> int4: if the ragout is not wasteful then it is a kind of a laugh and it blankets cochineal.; sent16 -> int5: there exists something such that it is not a Orozco and/or it is not a Liederkranz.; int5 & sent1 -> int6: the fact that the ragout is not wasteful is not incorrect.; int4 & int6 -> int7: the ragout laughs and it blankets cochineal.; int7 -> int8: the ragout blankets cochineal.; sent12 & int8 -> int9: the souring either is a nightmare or is not an allotrope or both.; sent13 & int9 -> int10: the currant is not a fan.;
$hypothesis$ = that the hypertonicity is not a kind of a nightmare is correct if the souring does fan. ; $context$ = sent1: if there is something such that it is not a Orozco or is not a Liederkranz or both then the ragout is not wasteful. sent2: the souring is a kind of a nightmare if the hypertonicity fans. sent3: if the souring is not non-macromolecular then the ragout is physiotherapeutic. sent4: something laughs and blankets cochineal if it is not wasteful. sent5: the fact that the subdivision is a kind of an allotrope and it is physiotherapeutic does not hold. sent6: if the subdivision is an allotrope then the hypertonicity is not a nightmare. sent7: the hypertonicity is not a kind of a nightmare if that the subdivision is not an allotrope but physiotherapeutic is not true. sent8: if the souring is a kind of a fan it is macromolecular. sent9: that the alpinist does fan hold. sent10: if that something is non-macromolecular thing that is not physiotherapeutic does not hold it is non-macromolecular. sent11: that the subdivision is an allotrope and it is physiotherapeutic is false if the ragout is physiotherapeutic. sent12: if the ragout does blanket cochineal the souring is a kind of a nightmare and/or it is not an allotrope. sent13: the currant is not a kind of a fan if the souring is either a nightmare or not an allotrope or both. sent14: the cochineal is physiotherapeutic. sent15: if that the subdivision is not an allotrope but it is not non-physiotherapeutic is false then the fact that the hypertonicity is a nightmare is true. sent16: the subdivision is not a kind of a Orozco and/or it is not a Liederkranz. ; $proof$ = 
void -> assump1: Let's assume that the fact that the souring is a kind of a fan is not incorrect.; sent8 & assump1 -> int1: the souring is macromolecular.; sent3 & int1 -> int2: the ragout is physiotherapeutic.; __UNKNOWN__