the metic is not a kind of a raise.
sent1: if something is delicate but it is not a few then the metic is not surface-to-air. sent2: that the laser is a waterfront but it does not shelter BA is false. sent3: the metic does shelter BA if there exists something such that that it is a waterfront that does not shelter BA is false. sent4: there is something such that it is unactable. sent5: something is a kind of a waterfront and does not shelter BA. sent6: that the laser is a waterfront that does shelter BA is not true. sent7: everything is a kind of delicate thing that is not a kind of a few. sent8: the devil is not a few. sent9: if the metic shelters BA but it is not surface-to-air then it does not raise.
sent7 -> int1: the devil is delicate and is not few.; int1 -> int2: there are delicate and non-few things.; int2 & sent1 -> int3: the metic is not surface-to-air.; sent2 -> int4: there exists something such that that it is a kind of a waterfront that does not shelter BA is not true.; int4 & sent3 -> int5: the metic does shelter BA.; int3 & int5 -> int6: the metic does shelter BA but it is not surface-to-air.; int6 & sent9 -> hypothesis;
$hypothesis$ = the metic is not a kind of a raise. ; $context$ = sent1: if something is delicate but it is not a few then the metic is not surface-to-air. sent2: that the laser is a waterfront but it does not shelter BA is false. sent3: the metic does shelter BA if there exists something such that that it is a waterfront that does not shelter BA is false. sent4: there is something such that it is unactable. sent5: something is a kind of a waterfront and does not shelter BA. sent6: that the laser is a waterfront that does shelter BA is not true. sent7: everything is a kind of delicate thing that is not a kind of a few. sent8: the devil is not a few. sent9: if the metic shelters BA but it is not surface-to-air then it does not raise. ; $proof$ = 
sent7 -> int1: the devil is delicate and is not few.; int1 -> int2: there are delicate and non-few things.; int2 & sent1 -> int3: the metic is not surface-to-air.; sent2 -> int4: there exists something such that that it is a kind of a waterfront that does not shelter BA is not true.; int4 & sent3 -> int5: the metic does shelter BA.; int3 & int5 -> int6: the metic does shelter BA but it is not surface-to-air.; int6 & sent9 -> hypothesis; __PROVED__