the hail is a kind of a tracheophyte.
sent1: if something is kafkaesque but it does not broom discoloration it is not a hospice. sent2: the olive is a kind of a spiritualization if it bestrews strabotomy. sent3: if the olive is a tracheophyte and/or does not bestrew Nuytsia then the hail is not a tracheophyte. sent4: the shocker is not a spiritualization if the strand is not a kind of a spiritualization. sent5: if the fact that the bloodwort is kafkaesque thing that does not broom discoloration is false the hail is a kind of a tracheophyte. sent6: The strabotomy bestrews swaggerer. sent7: if the fact that the olive is not a hospice but it does bestrew Nuytsia is incorrect the strand is not a spiritualization. sent8: the fact that the shocker is a hospice is not false if that the bloodwort is xerographic but it is not a spiritualization does not hold. sent9: that the strand is not a spiritualization hold if the fact that the olive is not a hospice but it is xerographic is false. sent10: if the hail is a tracheophyte that does not bestrew Nuytsia then the bloodwort does not broom discoloration. sent11: the olive is a kind of a tracheophyte that bestrews strabotomy if the strand does not broom dunce. sent12: if something is both a spiritualization and a hospice it does not bestrew Nuytsia. sent13: if that something is not a spiritualization is not incorrect the fact that it is not a hospice and does not bestrew strabotomy is not correct. sent14: if the shocker is both xerographic and not kafkaesque then it is not a spiritualization. sent15: the shocker is xerographic and is not a spiritualization if the strand is not a kind of a spiritualization. sent16: the fact that the swaggerer does not bestrew strabotomy is not wrong if the shocker is xerographic but it is not a spiritualization. sent17: that the olive is not a kind of a hospice but it does bestrew Nuytsia is not right if the bloodwort is not a hospice. sent18: the hail is not xerographic.
sent1 -> int1: the bloodwort is not a kind of a hospice if it is kafkaesque and does not broom discoloration.; void -> assump1: Let's assume that the bloodwort is a kind of kafkaesque thing that does not broom discoloration.; int1 & assump1 -> int2: the bloodwort is not a kind of a hospice.; int2 & sent17 -> int3: that the olive is not a hospice and bestrews Nuytsia is not correct.; int3 & sent7 -> int4: the strand is not a kind of a spiritualization.; int4 & sent15 -> int5: the shocker is xerographic but not a spiritualization.; int5 & sent16 -> int6: the swaggerer does not bestrew strabotomy.;
the swaggerer is a horsefly but it is not xerographic.
sent12 -> int7: that the olive does not bestrew Nuytsia if the olive is a kind of a spiritualization and it is a kind of a hospice is not wrong.;
$hypothesis$ = the hail is a kind of a tracheophyte. ; $context$ = sent1: if something is kafkaesque but it does not broom discoloration it is not a hospice. sent2: the olive is a kind of a spiritualization if it bestrews strabotomy. sent3: if the olive is a tracheophyte and/or does not bestrew Nuytsia then the hail is not a tracheophyte. sent4: the shocker is not a spiritualization if the strand is not a kind of a spiritualization. sent5: if the fact that the bloodwort is kafkaesque thing that does not broom discoloration is false the hail is a kind of a tracheophyte. sent6: The strabotomy bestrews swaggerer. sent7: if the fact that the olive is not a hospice but it does bestrew Nuytsia is incorrect the strand is not a spiritualization. sent8: the fact that the shocker is a hospice is not false if that the bloodwort is xerographic but it is not a spiritualization does not hold. sent9: that the strand is not a spiritualization hold if the fact that the olive is not a hospice but it is xerographic is false. sent10: if the hail is a tracheophyte that does not bestrew Nuytsia then the bloodwort does not broom discoloration. sent11: the olive is a kind of a tracheophyte that bestrews strabotomy if the strand does not broom dunce. sent12: if something is both a spiritualization and a hospice it does not bestrew Nuytsia. sent13: if that something is not a spiritualization is not incorrect the fact that it is not a hospice and does not bestrew strabotomy is not correct. sent14: if the shocker is both xerographic and not kafkaesque then it is not a spiritualization. sent15: the shocker is xerographic and is not a spiritualization if the strand is not a kind of a spiritualization. sent16: the fact that the swaggerer does not bestrew strabotomy is not wrong if the shocker is xerographic but it is not a spiritualization. sent17: that the olive is not a kind of a hospice but it does bestrew Nuytsia is not right if the bloodwort is not a hospice. sent18: the hail is not xerographic. ; $proof$ = 
sent1 -> int1: the bloodwort is not a kind of a hospice if it is kafkaesque and does not broom discoloration.; void -> assump1: Let's assume that the bloodwort is a kind of kafkaesque thing that does not broom discoloration.; int1 & assump1 -> int2: the bloodwort is not a kind of a hospice.; int2 & sent17 -> int3: that the olive is not a hospice and bestrews Nuytsia is not correct.; int3 & sent7 -> int4: the strand is not a kind of a spiritualization.; int4 & sent15 -> int5: the shocker is xerographic but not a spiritualization.; int5 & sent16 -> int6: the swaggerer does not bestrew strabotomy.; __UNKNOWN__