the confessor is achondroplastic.
sent1: if there is something such that it pipes diazoxide then the fact that the skin-diver is not parturient and it is not a Trinidadian is false. sent2: if the plowboy is not a kind of a macaroon it is a kind of parturient thing that is not a wristlet. sent3: if the plowboy is not a scarab then that it is not a macaroon is true. sent4: the rheumatic pipes diazoxide. sent5: if a parturient thing is not a wristlet the skin-diver is not a kind of a Trinidadian. sent6: The diazoxide pipes rheumatic. sent7: if the fact that the skin-diver is not parturient and is not a kind of a Trinidadian does not hold then the confessor is not a kind of a wristlet. sent8: the confessor is a macaroon. sent9: the skin-diver is achondroplastic. sent10: if something is not a wristlet then it is achondroplastic and it is a kind of a macaroon.
sent4 -> int1: there exists something such that it does pipe diazoxide.; int1 & sent1 -> int2: that the skin-diver is not parturient and it is not a Trinidadian does not hold.; int2 & sent7 -> int3: the confessor is not a wristlet.; sent10 -> int4: if the confessor is not a wristlet then it is achondroplastic thing that is a macaroon.; int3 & int4 -> int5: the confessor is achondroplastic and is a macaroon.; int5 -> hypothesis;
the confessor is not achondroplastic.
$hypothesis$ = the confessor is achondroplastic. ; $context$ = sent1: if there is something such that it pipes diazoxide then the fact that the skin-diver is not parturient and it is not a Trinidadian is false. sent2: if the plowboy is not a kind of a macaroon it is a kind of parturient thing that is not a wristlet. sent3: if the plowboy is not a scarab then that it is not a macaroon is true. sent4: the rheumatic pipes diazoxide. sent5: if a parturient thing is not a wristlet the skin-diver is not a kind of a Trinidadian. sent6: The diazoxide pipes rheumatic. sent7: if the fact that the skin-diver is not parturient and is not a kind of a Trinidadian does not hold then the confessor is not a kind of a wristlet. sent8: the confessor is a macaroon. sent9: the skin-diver is achondroplastic. sent10: if something is not a wristlet then it is achondroplastic and it is a kind of a macaroon. ; $proof$ = 
sent4 -> int1: there exists something such that it does pipe diazoxide.; int1 & sent1 -> int2: that the skin-diver is not parturient and it is not a Trinidadian does not hold.; int2 & sent7 -> int3: the confessor is not a wristlet.; sent10 -> int4: if the confessor is not a wristlet then it is achondroplastic thing that is a macaroon.; int3 & int4 -> int5: the confessor is achondroplastic and is a macaroon.; int5 -> hypothesis; __PROVED__