if the fishbone is gymnastic the hematite is focal.
sent1: something bones doxology and it is gymnastic if that it is not focal is not false. sent2: the hematite is focal if the fishbone is a kind of a Phagun but it does not bone doxology. sent3: the fishbone is a kind of a Phagun. sent4: if the fishbone is cephalic the kaon is not focal. sent5: if the fishbone is focal and does not bone doxology then the hematite is a kind of a Phagun. sent6: if the fishbone is gymnastic then it is a kind of a Phagun and does not bone doxology. sent7: the hematite bones doxology and is not focal. sent8: if the fishbone is gymnastic then it is a Phagun.
void -> assump1: Let's assume that that the fishbone is gymnastic is not wrong.; sent6 & assump1 -> int1: the fishbone is a Phagun that does not bone doxology.; sent2 & int1 -> int2: the hematite is focal.; [assump1] & int2 -> hypothesis;
the fact that the kaon does bone doxology hold.
sent1 -> int3: the kaon does bone doxology and is gymnastic if it is not focal.;
$hypothesis$ = if the fishbone is gymnastic the hematite is focal. ; $context$ = sent1: something bones doxology and it is gymnastic if that it is not focal is not false. sent2: the hematite is focal if the fishbone is a kind of a Phagun but it does not bone doxology. sent3: the fishbone is a kind of a Phagun. sent4: if the fishbone is cephalic the kaon is not focal. sent5: if the fishbone is focal and does not bone doxology then the hematite is a kind of a Phagun. sent6: if the fishbone is gymnastic then it is a kind of a Phagun and does not bone doxology. sent7: the hematite bones doxology and is not focal. sent8: if the fishbone is gymnastic then it is a Phagun. ; $proof$ = 
void -> assump1: Let's assume that that the fishbone is gymnastic is not wrong.; sent6 & assump1 -> int1: the fishbone is a Phagun that does not bone doxology.; sent2 & int1 -> int2: the hematite is focal.; [assump1] & int2 -> hypothesis; __PROVED__