the storage ratchets jag and it does close if the phenothiazine is not inductive.
sent1: if the phenothiazine is inductive then the fact that the mount junketeers is correct. sent2: the storage is not saprophytic. sent3: the storage junketeers. sent4: the phenothiazine is a asterisked and junketeers. sent5: if the phenothiazine is a kind of a Bihari the fact that the storage is not saprophytic is not correct. sent6: if the phenothiazine is inductive then the storage ratchets jag and it does close. sent7: the storage is a Bihari. sent8: if the storage is not saprophytic it is a Bihari. sent9: if the phenothiazine is not inductive then the mount does junketeer. sent10: the camelhair is close. sent11: if the mount does junketeer then the storage ratchets jag. sent12: the mount closes. sent13: that the mount does ratchet jag is right.
void -> assump1: Let's assume that that the phenothiazine is not inductive is not false.; sent9 & assump1 -> int1: the fact that the mount does junketeer is true.; int1 & sent11 -> int2: the storage does ratchet jag.;
$hypothesis$ = the storage ratchets jag and it does close if the phenothiazine is not inductive. ; $context$ = sent1: if the phenothiazine is inductive then the fact that the mount junketeers is correct. sent2: the storage is not saprophytic. sent3: the storage junketeers. sent4: the phenothiazine is a asterisked and junketeers. sent5: if the phenothiazine is a kind of a Bihari the fact that the storage is not saprophytic is not correct. sent6: if the phenothiazine is inductive then the storage ratchets jag and it does close. sent7: the storage is a Bihari. sent8: if the storage is not saprophytic it is a Bihari. sent9: if the phenothiazine is not inductive then the mount does junketeer. sent10: the camelhair is close. sent11: if the mount does junketeer then the storage ratchets jag. sent12: the mount closes. sent13: that the mount does ratchet jag is right. ; $proof$ = 
void -> assump1: Let's assume that that the phenothiazine is not inductive is not false.; sent9 & assump1 -> int1: the fact that the mount does junketeer is true.; int1 & sent11 -> int2: the storage does ratchet jag.; __UNKNOWN__