the somniloquist is not a hollow.
sent1: if the increase is a mushroom then that the passkey is not a Masa but a Burgess is false. sent2: the somniloquist is not a mushroom. sent3: the fact that the increase is a mushroom is not incorrect. sent4: the somniloquist is not a mushroom if the increase does not hollow. sent5: the tightrope is a mushroom. sent6: the increase is a kind of a Masa. sent7: that the passkey is not a Burgess but a mushroom does not hold. sent8: the increase is not a Burgess if that the somniloquist is both not a hollow and a mushroom does not hold. sent9: the somniloquist is not hollow if that the passkey is not a Masa but it is a kind of a Burgess is incorrect. sent10: the fact that the somniloquist is both not a Burgess and estimable is not correct. sent11: that the increase does not mushroom but it is a Burgess does not hold. sent12: the increase is not a hollow if the fact that the passkey is not a kind of a Masa but it is a mushroom does not hold. sent13: if that the passkey is not a Burgess and is hollow does not hold then that the somniloquist is not a Masa is not incorrect. sent14: that the somniloquist is both not a Masa and a Burgess does not hold if the passkey is a kind of a hollow. sent15: the fact that the passkey does not mushroom but it is not non-hollow does not hold if the somniloquist is a Masa. sent16: the somniloquist is not a kind of a Burgess if the passkey is not a hollow. sent17: the bang is not a kind of a Masa. sent18: if the somniloquist is not a kind of a Masa then the passkey is not a kind of a hollow.
sent1 & sent3 -> int1: the fact that the passkey is not a Masa but it is a kind of a Burgess is not right.; int1 & sent9 -> hypothesis;
$hypothesis$ = the somniloquist is not a hollow. ; $context$ = sent1: if the increase is a mushroom then that the passkey is not a Masa but a Burgess is false. sent2: the somniloquist is not a mushroom. sent3: the fact that the increase is a mushroom is not incorrect. sent4: the somniloquist is not a mushroom if the increase does not hollow. sent5: the tightrope is a mushroom. sent6: the increase is a kind of a Masa. sent7: that the passkey is not a Burgess but a mushroom does not hold. sent8: the increase is not a Burgess if that the somniloquist is both not a hollow and a mushroom does not hold. sent9: the somniloquist is not hollow if that the passkey is not a Masa but it is a kind of a Burgess is incorrect. sent10: the fact that the somniloquist is both not a Burgess and estimable is not correct. sent11: that the increase does not mushroom but it is a Burgess does not hold. sent12: the increase is not a hollow if the fact that the passkey is not a kind of a Masa but it is a mushroom does not hold. sent13: if that the passkey is not a Burgess and is hollow does not hold then that the somniloquist is not a Masa is not incorrect. sent14: that the somniloquist is both not a Masa and a Burgess does not hold if the passkey is a kind of a hollow. sent15: the fact that the passkey does not mushroom but it is not non-hollow does not hold if the somniloquist is a Masa. sent16: the somniloquist is not a kind of a Burgess if the passkey is not a hollow. sent17: the bang is not a kind of a Masa. sent18: if the somniloquist is not a kind of a Masa then the passkey is not a kind of a hollow. ; $proof$ = 
sent1 & sent3 -> int1: the fact that the passkey is not a Masa but it is a kind of a Burgess is not right.; int1 & sent9 -> hypothesis; __PROVED__