the ammobium is expedient.
sent1: if that the ammobium is a kind of a shrug that is a Cryptocercidae is not correct then it is not agricultural. sent2: something is not a running but it is an expedient if it is not an alehouse. sent3: if something is a locomotive then it is inexpedient. sent4: that something is not a running but it is a kind of an alehouse is right if it is not a locomotive. sent5: the hairdresser is agricultural if the amputee is agricultural. sent6: the ghat is a kind of a running. sent7: the fact that something does not shrug but it is a kind of a locomotive does not hold if it is agricultural. sent8: the reeve is not a locomotive. sent9: the ammobium is a locomotive if that the hairdresser does not shrug and is a kind of a locomotive does not hold. sent10: if either something is a kind of a locomotive or it is not a kind of an expedient or both it is an alehouse. sent11: something is not a running if it is not a locomotive. sent12: the Cheddar is a paramagnet and an heir. sent13: a non-agricultural thing either is a locomotive or is not an expedient or both. sent14: if the reeve is not a locomotive then the fact that it is not a running is not wrong.
sent4 -> int1: if the reeve is non-locomotive it does not run and it is an alehouse.; int1 & sent8 -> int2: the reeve is not a running and is an alehouse.;
that the ammobium is not an expedient is true.
sent3 -> int3: the ammobium is not expedient if it is locomotive.; sent7 -> int4: if the hairdresser is agricultural the fact that it is not a shrug and it is locomotive does not hold.; sent12 -> int5: the Cheddar is a paramagnet.; int5 -> int6: something is a paramagnet.;
$hypothesis$ = the ammobium is expedient. ; $context$ = sent1: if that the ammobium is a kind of a shrug that is a Cryptocercidae is not correct then it is not agricultural. sent2: something is not a running but it is an expedient if it is not an alehouse. sent3: if something is a locomotive then it is inexpedient. sent4: that something is not a running but it is a kind of an alehouse is right if it is not a locomotive. sent5: the hairdresser is agricultural if the amputee is agricultural. sent6: the ghat is a kind of a running. sent7: the fact that something does not shrug but it is a kind of a locomotive does not hold if it is agricultural. sent8: the reeve is not a locomotive. sent9: the ammobium is a locomotive if that the hairdresser does not shrug and is a kind of a locomotive does not hold. sent10: if either something is a kind of a locomotive or it is not a kind of an expedient or both it is an alehouse. sent11: something is not a running if it is not a locomotive. sent12: the Cheddar is a paramagnet and an heir. sent13: a non-agricultural thing either is a locomotive or is not an expedient or both. sent14: if the reeve is not a locomotive then the fact that it is not a running is not wrong. ; $proof$ = 
sent4 -> int1: if the reeve is non-locomotive it does not run and it is an alehouse.; int1 & sent8 -> int2: the reeve is not a running and is an alehouse.; __UNKNOWN__