the alp is not a kind of a decor if the circlet mounds alp.
sent1: the circlet urticates accident. sent2: something urticates accident and is attritional if it does not mound alp. sent3: if the circlet urticates accident it is attritional. sent4: the fact that something is a minute and it is a net hold. sent5: the alp is not a decor if something that is attritional mounds alp. sent6: The accident urticates circlet.
sent3 & sent1 -> int1: the circlet is attritional.; void -> assump1: Let's assume that that the circlet mounds alp is not false.; int1 & assump1 -> int2: the circlet is a kind of attritional thing that does mound alp.; int2 -> int3: something is a kind of attritional thing that mounds alp.; int3 & sent5 -> int4: the alp is not a kind of a decor.; [assump1] & int4 -> hypothesis;
the yam is attritional.
sent2 -> int5: the yam urticates accident and it is attritional if it does not mound alp.;
$hypothesis$ = the alp is not a kind of a decor if the circlet mounds alp. ; $context$ = sent1: the circlet urticates accident. sent2: something urticates accident and is attritional if it does not mound alp. sent3: if the circlet urticates accident it is attritional. sent4: the fact that something is a minute and it is a net hold. sent5: the alp is not a decor if something that is attritional mounds alp. sent6: The accident urticates circlet. ; $proof$ = 
sent3 & sent1 -> int1: the circlet is attritional.; void -> assump1: Let's assume that that the circlet mounds alp is not false.; int1 & assump1 -> int2: the circlet is a kind of attritional thing that does mound alp.; int2 -> int3: something is a kind of attritional thing that mounds alp.; int3 & sent5 -> int4: the alp is not a kind of a decor.; [assump1] & int4 -> hypothesis; __PROVED__