the enalapril does exalt.
sent1: if something is not an airliner that it is not a co-beneficiary but canicular does not hold. sent2: if something does not suspend gestalt or it does clue holly or both it clues hydantoin. sent3: the goshawk is a movement. sent4: the fact that the goshawk exalts and does not clue hydantoin is false if the silversword is not a movement. sent5: the silversword is not perithelial if the goshawk clues hydantoin. sent6: that the goshawk does not suspend cardsharp is not wrong. sent7: the fact that something is not a sedum but it is perithelial is incorrect if it is a co-beneficiary. sent8: the silversword is not a movement if the fact that the casing is not a sedum and is perithelial is incorrect. sent9: the casing is canicular if the silversword is a kind of a sedum but it is not a co-beneficiary. sent10: the goshawk is not a kind of a movement if that that it does not gorge and/or it suspends cardsharp is not wrong is incorrect. sent11: something that is not perithelial is a sedum that is not a kind of a co-beneficiary. sent12: the fact that the silversword is not a sedum and/or is a movement is wrong. sent13: the silversword is alkylic. sent14: the cytophotometer is not an arbiter but it clues builder. sent15: if the cytophotometer is not an arbiter then it is not antiphonary and it is not an airliner. sent16: something does clue hydantoin if it is not a kind of a gorge or suspends cardsharp or both.
void -> assump1: Let's assume that the fact that the goshawk does not gorge and/or suspends cardsharp does not hold.; sent10 & assump1 -> int1: the goshawk is not a movement.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: the goshawk is not a gorge and/or suspends cardsharp.; sent16 -> int4: if the goshawk is not a gorge or it suspends cardsharp or both then that it does clue hydantoin is not incorrect.; int3 & int4 -> int5: the goshawk clues hydantoin.; int5 & sent5 -> int6: the silversword is not perithelial.; sent11 -> int7: if the silversword is not perithelial then it is a sedum that is not a kind of a co-beneficiary.; int6 & int7 -> int8: the silversword is a kind of a sedum that is not a co-beneficiary.; int8 & sent9 -> int9: the casing is canicular.;
the enalapril does not exalt.
sent7 -> int10: if the casing is a co-beneficiary that it is not a sedum and it is perithelial is wrong.; sent1 -> int11: if the cytophotometer is not a kind of an airliner the fact that it is not a co-beneficiary but canicular is not right.; sent14 -> int12: the cytophotometer is not a kind of an arbiter.; sent15 & int12 -> int13: the cytophotometer is not a antiphonary and not an airliner.; int13 -> int14: the cytophotometer is not a kind of an airliner.; int11 & int14 -> int15: the fact that the cytophotometer is both not a co-beneficiary and canicular does not hold.; int15 -> int16: there exists something such that the fact that it is both not a co-beneficiary and canicular is incorrect.;
$hypothesis$ = the enalapril does exalt. ; $context$ = sent1: if something is not an airliner that it is not a co-beneficiary but canicular does not hold. sent2: if something does not suspend gestalt or it does clue holly or both it clues hydantoin. sent3: the goshawk is a movement. sent4: the fact that the goshawk exalts and does not clue hydantoin is false if the silversword is not a movement. sent5: the silversword is not perithelial if the goshawk clues hydantoin. sent6: that the goshawk does not suspend cardsharp is not wrong. sent7: the fact that something is not a sedum but it is perithelial is incorrect if it is a co-beneficiary. sent8: the silversword is not a movement if the fact that the casing is not a sedum and is perithelial is incorrect. sent9: the casing is canicular if the silversword is a kind of a sedum but it is not a co-beneficiary. sent10: the goshawk is not a kind of a movement if that that it does not gorge and/or it suspends cardsharp is not wrong is incorrect. sent11: something that is not perithelial is a sedum that is not a kind of a co-beneficiary. sent12: the fact that the silversword is not a sedum and/or is a movement is wrong. sent13: the silversword is alkylic. sent14: the cytophotometer is not an arbiter but it clues builder. sent15: if the cytophotometer is not an arbiter then it is not antiphonary and it is not an airliner. sent16: something does clue hydantoin if it is not a kind of a gorge or suspends cardsharp or both. ; $proof$ = 
void -> assump1: Let's assume that the fact that the goshawk does not gorge and/or suspends cardsharp does not hold.; sent10 & assump1 -> int1: the goshawk is not a movement.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: the goshawk is not a gorge and/or suspends cardsharp.; sent16 -> int4: if the goshawk is not a gorge or it suspends cardsharp or both then that it does clue hydantoin is not incorrect.; int3 & int4 -> int5: the goshawk clues hydantoin.; int5 & sent5 -> int6: the silversword is not perithelial.; sent11 -> int7: if the silversword is not perithelial then it is a sedum that is not a kind of a co-beneficiary.; int6 & int7 -> int8: the silversword is a kind of a sedum that is not a co-beneficiary.; int8 & sent9 -> int9: the casing is canicular.; __UNKNOWN__