the cornetfish is a deaf.
sent1: if the disa is not non-Himalayan the telethermometer is non-Himalayan. sent2: the disa is deaf but it is not a dastard if the fact that the cornetfish is not Himalayan is correct. sent3: the spearfish is anal. sent4: the cornetfish is not non-deaf if there is something such that the fact that it is either a Cyril or a dastard or both hold. sent5: that the assassin is a Cyril and is not a kin does not hold if something is not deaf. sent6: if something is a kind of a Cyril the cornetfish is deaf. sent7: the spearfish is not a kin. sent8: if the spearfish is not Himalayan then the fact that it is a kind of a schistosome and it is not a kin does not hold. sent9: the spearfish is anal but it is not Himalayan if the disa is not a dastard. sent10: if the spearfish is not Himalayan and it is not a kind of a schistosome then the disa is Himalayan. sent11: if a kin is not a Cyril the disa is a kind of a schistosome. sent12: the telescope is not a kind of a deaf but it is a spinal. sent13: the spearfish is a kind of a schistosome. sent14: the spearfish is anal if the disa is not a dastard.
void -> assump1: Let's assume that the disa is not a dastard.; sent9 & assump1 -> int1: the spearfish is not non-anal but non-Himalayan.; int1 -> int2: the fact that the spearfish is not Himalayan hold.; int2 & sent8 -> int3: the fact that the spearfish is a kind of a schistosome but it is not a kin is not true.; sent13 & sent7 -> int4: the spearfish is a schistosome but it is not a kin.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the disa is a kind of a dastard.; int6 -> int7: either the disa is a Cyril or it is a kind of a dastard or both.; int7 -> int8: there exists something such that it is a kind of a Cyril or it is a dastard or both.; int8 & sent4 -> hypothesis;
the cornetfish is not deaf.
$hypothesis$ = the cornetfish is a deaf. ; $context$ = sent1: if the disa is not non-Himalayan the telethermometer is non-Himalayan. sent2: the disa is deaf but it is not a dastard if the fact that the cornetfish is not Himalayan is correct. sent3: the spearfish is anal. sent4: the cornetfish is not non-deaf if there is something such that the fact that it is either a Cyril or a dastard or both hold. sent5: that the assassin is a Cyril and is not a kin does not hold if something is not deaf. sent6: if something is a kind of a Cyril the cornetfish is deaf. sent7: the spearfish is not a kin. sent8: if the spearfish is not Himalayan then the fact that it is a kind of a schistosome and it is not a kin does not hold. sent9: the spearfish is anal but it is not Himalayan if the disa is not a dastard. sent10: if the spearfish is not Himalayan and it is not a kind of a schistosome then the disa is Himalayan. sent11: if a kin is not a Cyril the disa is a kind of a schistosome. sent12: the telescope is not a kind of a deaf but it is a spinal. sent13: the spearfish is a kind of a schistosome. sent14: the spearfish is anal if the disa is not a dastard. ; $proof$ = 
void -> assump1: Let's assume that the disa is not a dastard.; sent9 & assump1 -> int1: the spearfish is not non-anal but non-Himalayan.; int1 -> int2: the fact that the spearfish is not Himalayan hold.; int2 & sent8 -> int3: the fact that the spearfish is a kind of a schistosome but it is not a kin is not true.; sent13 & sent7 -> int4: the spearfish is a schistosome but it is not a kin.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the disa is a kind of a dastard.; int6 -> int7: either the disa is a Cyril or it is a kind of a dastard or both.; int7 -> int8: there exists something such that it is a kind of a Cyril or it is a dastard or both.; int8 & sent4 -> hypothesis; __PROVED__