the gooseflesh is not a kind of a mosque.
sent1: the wheeze is antigenic. sent2: the wheeze debases. sent3: something is a kind of a ironworks and it does debase if it is not a kind of a admass. sent4: if something ricks it is not a kind of a log and is a glyceryl. sent5: the gooseflesh is a kind of a glyceryl if the tufa is not a log but it is a kind of a glyceryl. sent6: the gooseflesh does belay if there exists something such that that it either is not a ironworks or is a lightlessness or both is not true. sent7: if something that belays is a glyceryl then it is not a mosque. sent8: the tufa does rick. sent9: the hairnet is not a admass if that the wheeze does override and it is antigenic is not wrong. sent10: the fact that the wheeze is a kind of an override hold.
sent10 & sent1 -> int1: the wheeze is an override and it is antigenic.; int1 & sent9 -> int2: the hairnet is not a kind of a admass.; sent3 -> int3: the hairnet is a kind of a ironworks that debases if that it is not a admass is correct.; int2 & int3 -> int4: the hairnet is a ironworks and debases.; int4 -> int5: the hairnet is a ironworks.; sent4 -> int6: if the fact that the tufa does rick is correct then it is not a kind of a log and is a kind of a glyceryl.; int6 & sent8 -> int7: that the tufa is not a log but a glyceryl is correct.; sent5 & int7 -> int8: the gooseflesh is a glyceryl.; sent7 -> int9: if the gooseflesh is a belay and it is a kind of a glyceryl then it is not a mosque.;
$hypothesis$ = the gooseflesh is not a kind of a mosque. ; $context$ = sent1: the wheeze is antigenic. sent2: the wheeze debases. sent3: something is a kind of a ironworks and it does debase if it is not a kind of a admass. sent4: if something ricks it is not a kind of a log and is a glyceryl. sent5: the gooseflesh is a kind of a glyceryl if the tufa is not a log but it is a kind of a glyceryl. sent6: the gooseflesh does belay if there exists something such that that it either is not a ironworks or is a lightlessness or both is not true. sent7: if something that belays is a glyceryl then it is not a mosque. sent8: the tufa does rick. sent9: the hairnet is not a admass if that the wheeze does override and it is antigenic is not wrong. sent10: the fact that the wheeze is a kind of an override hold. ; $proof$ = 
sent10 & sent1 -> int1: the wheeze is an override and it is antigenic.; int1 & sent9 -> int2: the hairnet is not a kind of a admass.; sent3 -> int3: the hairnet is a kind of a ironworks that debases if that it is not a admass is correct.; int2 & int3 -> int4: the hairnet is a ironworks and debases.; int4 -> int5: the hairnet is a ironworks.; sent4 -> int6: if the fact that the tufa does rick is correct then it is not a kind of a log and is a kind of a glyceryl.; int6 & sent8 -> int7: that the tufa is not a log but a glyceryl is correct.; sent5 & int7 -> int8: the gooseflesh is a glyceryl.; sent7 -> int9: if the gooseflesh is a belay and it is a kind of a glyceryl then it is not a mosque.; __UNKNOWN__