the fact that the dhak is a kind of priming thing that does not domesticate is not right if the wirehair is adequate.
sent1: the dhak does not think. sent2: the fact that the dhak does not domesticate is true. sent3: the dhak primes. sent4: the fact that the dhak does prime and it domesticates is incorrect. sent5: if the dhak is a priming and does not domesticate then the wirehair is not adequate. sent6: the dhak is adequate and does not domesticate. sent7: if the dhak is a priming and it domesticates then the wirehair is not adequate. sent8: the fact that the dhak primes and does domesticate is false if the wirehair is adequate. sent9: the dhak is a priming and does not domesticate if the wirehair is adequate.
void -> assump1: Let's assume that the dhak is a kind of a priming but it does not domesticate.; sent5 & assump1 -> int1: the wirehair is not adequate.; void -> assump2: Let's assume that the wirehair is adequate.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the dhak primes but it does not domesticate is not correct.; [assump2] & int3 -> hypothesis;
$hypothesis$ = the fact that the dhak is a kind of priming thing that does not domesticate is not right if the wirehair is adequate. ; $context$ = sent1: the dhak does not think. sent2: the fact that the dhak does not domesticate is true. sent3: the dhak primes. sent4: the fact that the dhak does prime and it domesticates is incorrect. sent5: if the dhak is a priming and does not domesticate then the wirehair is not adequate. sent6: the dhak is adequate and does not domesticate. sent7: if the dhak is a priming and it domesticates then the wirehair is not adequate. sent8: the fact that the dhak primes and does domesticate is false if the wirehair is adequate. sent9: the dhak is a priming and does not domesticate if the wirehair is adequate. ; $proof$ = 
void -> assump1: Let's assume that the dhak is a kind of a priming but it does not domesticate.; sent5 & assump1 -> int1: the wirehair is not adequate.; void -> assump2: Let's assume that the wirehair is adequate.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the dhak primes but it does not domesticate is not correct.; [assump2] & int3 -> hypothesis; __PROVED__