the earner is not unavailable.
sent1: if a haemophilic thing coats earner the earner is not unavailable. sent2: if something does not coat earner then it is unavailable and is haemophilic. sent3: if the fact that something is not a sene and does shine poundal is wrong then it does not coat earner. sent4: the comb is a kind of haemophilic thing that does coat earner.
sent4 -> int1: something is haemophilic and it coats earner.; int1 & sent1 -> hypothesis;
the fact that the earner is unavailable is right.
sent2 -> int2: the earner is unavailable and it is haemophilic if it does not coat earner.; sent3 -> int3: the earner does not coat earner if that it is not a sene and shines poundal is not true.;
$hypothesis$ = the earner is not unavailable. ; $context$ = sent1: if a haemophilic thing coats earner the earner is not unavailable. sent2: if something does not coat earner then it is unavailable and is haemophilic. sent3: if the fact that something is not a sene and does shine poundal is wrong then it does not coat earner. sent4: the comb is a kind of haemophilic thing that does coat earner. ; $proof$ = 
sent4 -> int1: something is haemophilic and it coats earner.; int1 & sent1 -> hypothesis; __PROVED__