there exists something such that if it is a hexenbesen then either it is not an anchorage or it is a Viola or both.
sent1: something that does not outnumber universalism is not an anchorage or is a kind of a Viola or both. sent2: the mind is a fumewort and it is a check. sent3: if something is a fumewort and is a kind of a hexenbesen then the fact that it does not outnumber universalism is not wrong.
sent2 -> int1: the mind is a fumewort.; void -> assump1: Let's assume that the mind is a kind of a hexenbesen.; int1 & assump1 -> int2: the mind is a fumewort and is a kind of a hexenbesen.; sent3 -> int3: if the mind is a fumewort and it is a hexenbesen it does not outnumber universalism.; int2 & int3 -> int4: the fact that the mind does not outnumber universalism hold.; sent1 -> int5: if the mind does not outnumber universalism then it is not an anchorage and/or it is a Viola.; int4 & int5 -> int6: the mind is not a kind of an anchorage and/or it is a Viola.; [assump1] & int6 -> int7: if the mind is a hexenbesen then either it is not an anchorage or it is a Viola or both.; int7 -> hypothesis;
$hypothesis$ = there exists something such that if it is a hexenbesen then either it is not an anchorage or it is a Viola or both. ; $context$ = sent1: something that does not outnumber universalism is not an anchorage or is a kind of a Viola or both. sent2: the mind is a fumewort and it is a check. sent3: if something is a fumewort and is a kind of a hexenbesen then the fact that it does not outnumber universalism is not wrong. ; $proof$ = 
sent2 -> int1: the mind is a fumewort.; void -> assump1: Let's assume that the mind is a kind of a hexenbesen.; int1 & assump1 -> int2: the mind is a fumewort and is a kind of a hexenbesen.; sent3 -> int3: if the mind is a fumewort and it is a hexenbesen it does not outnumber universalism.; int2 & int3 -> int4: the fact that the mind does not outnumber universalism hold.; sent1 -> int5: if the mind does not outnumber universalism then it is not an anchorage and/or it is a Viola.; int4 & int5 -> int6: the mind is not a kind of an anchorage and/or it is a Viola.; [assump1] & int6 -> int7: if the mind is a hexenbesen then either it is not an anchorage or it is a Viola or both.; int7 -> hypothesis; __PROVED__