the billfish does promise uropygium.
sent1: there is something such that it is sternal. sent2: something does not promise uropygium if that that it is not residuary or is not a listing or both is correct is false. sent3: that either something is not residuary or it is not a kind of a listing or both is wrong if it does not nose. sent4: the fact that the billfish is not sternal but it is a Horus is incorrect if something is sternal. sent5: something promises uropygium if that it is not sternal and is a Horus is not true. sent6: something promises uropygium if it is sternal.
sent5 -> int1: if that the billfish is not sternal but it is a kind of a Horus does not hold then it does promise uropygium.; sent1 & sent4 -> int2: the fact that the fact that the billfish is not sternal but it is a Horus does not hold is true.; int1 & int2 -> hypothesis;
the billfish does not promise uropygium.
sent2 -> int3: if the fact that either the billfish is not residuary or it does not list or both is wrong it does not promise uropygium.; sent3 -> int4: if the billfish does not nose then that it is either not residuary or not a listing or both is false.;
$hypothesis$ = the billfish does promise uropygium. ; $context$ = sent1: there is something such that it is sternal. sent2: something does not promise uropygium if that that it is not residuary or is not a listing or both is correct is false. sent3: that either something is not residuary or it is not a kind of a listing or both is wrong if it does not nose. sent4: the fact that the billfish is not sternal but it is a Horus is incorrect if something is sternal. sent5: something promises uropygium if that it is not sternal and is a Horus is not true. sent6: something promises uropygium if it is sternal. ; $proof$ = 
sent5 -> int1: if that the billfish is not sternal but it is a kind of a Horus does not hold then it does promise uropygium.; sent1 & sent4 -> int2: the fact that the fact that the billfish is not sternal but it is a Horus does not hold is true.; int1 & int2 -> hypothesis; __PROVED__