the fact that the astrolabe is not a belay and is not a kind of a sprayer is not right.
sent1: the fact that the feather is a kind of a retroversion is false. sent2: the sphinx is not a kind of a vault if the astrolabe is not a belay and not a sprayer. sent3: if the sphinx does not vault it is a satori. sent4: the feather is a kind of a retroversion if the sphinx is a satori. sent5: the fact that that the astrolabe does not belay but it is a kind of a sprayer is correct is wrong. sent6: if the sphinx is a sprayer then that the astrolabe is a satori hold.
void -> assump1: Let's assume that the astrolabe does not belay and is not a sprayer.; sent2 & assump1 -> int1: the sphinx is not a vault.; int1 & sent3 -> int2: the sphinx is a satori.; int2 & sent4 -> int3: the feather is a retroversion.; int3 & sent1 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis;
$hypothesis$ = the fact that the astrolabe is not a belay and is not a kind of a sprayer is not right. ; $context$ = sent1: the fact that the feather is a kind of a retroversion is false. sent2: the sphinx is not a kind of a vault if the astrolabe is not a belay and not a sprayer. sent3: if the sphinx does not vault it is a satori. sent4: the feather is a kind of a retroversion if the sphinx is a satori. sent5: the fact that that the astrolabe does not belay but it is a kind of a sprayer is correct is wrong. sent6: if the sphinx is a sprayer then that the astrolabe is a satori hold. ; $proof$ = 
void -> assump1: Let's assume that the astrolabe does not belay and is not a sprayer.; sent2 & assump1 -> int1: the sphinx is not a vault.; int1 & sent3 -> int2: the sphinx is a satori.; int2 & sent4 -> int3: the feather is a retroversion.; int3 & sent1 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis; __PROVED__