the shelter is quantal.
sent1: if the sentimentalist is hexangular it is fossorial. sent2: the evolution is not gnostic. sent3: the sentimentalist is not a racecard. sent4: the sentimentalist is discomycetous if it is fossorial. sent5: if the sentimentalist is not hexangular and not a racecard the evolution is gnostic. sent6: if the sentimentalist is discomycetous then it is a Loafer that is not a kind of a ultramontane. sent7: the fact that the shelter is quantal is true if that the sentimentalist is a Loafer but it is not a ultramontane is right. sent8: the shelter is a Nice. sent9: if something is unfrozen then it is a cardroom and is not a Zoroastrian. sent10: the sentimentalist is a kind of a Loafer if it is discomycetous. sent11: if the evolution is gnostic it is a kind of a racecard. sent12: the sentimentalist is a Loafer.
void -> assump1: Let's assume that the sentimentalist is not hexangular.; assump1 & sent3 -> int1: the sentimentalist is non-hexangular thing that is not a racecard.; int1 & sent5 -> int2: the evolution is gnostic.; int2 & sent2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the sentimentalist is hexangular.; int4 & sent1 -> int5: the sentimentalist is fossorial.; int5 & sent4 -> int6: the sentimentalist is discomycetous.; int6 & sent6 -> int7: the sentimentalist is a Loafer and is not a ultramontane.; int7 & sent7 -> hypothesis;
the victim is a cardroom and not a Zoroastrian if it is unfrozen.
sent9 -> hypothesis;
$hypothesis$ = the shelter is quantal. ; $context$ = sent1: if the sentimentalist is hexangular it is fossorial. sent2: the evolution is not gnostic. sent3: the sentimentalist is not a racecard. sent4: the sentimentalist is discomycetous if it is fossorial. sent5: if the sentimentalist is not hexangular and not a racecard the evolution is gnostic. sent6: if the sentimentalist is discomycetous then it is a Loafer that is not a kind of a ultramontane. sent7: the fact that the shelter is quantal is true if that the sentimentalist is a Loafer but it is not a ultramontane is right. sent8: the shelter is a Nice. sent9: if something is unfrozen then it is a cardroom and is not a Zoroastrian. sent10: the sentimentalist is a kind of a Loafer if it is discomycetous. sent11: if the evolution is gnostic it is a kind of a racecard. sent12: the sentimentalist is a Loafer. ; $proof$ = 
void -> assump1: Let's assume that the sentimentalist is not hexangular.; assump1 & sent3 -> int1: the sentimentalist is non-hexangular thing that is not a racecard.; int1 & sent5 -> int2: the evolution is gnostic.; int2 & sent2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the sentimentalist is hexangular.; int4 & sent1 -> int5: the sentimentalist is fossorial.; int5 & sent4 -> int6: the sentimentalist is discomycetous.; int6 & sent6 -> int7: the sentimentalist is a Loafer and is not a ultramontane.; int7 & sent7 -> hypothesis; __PROVED__