the fact that the wayside is both not Puranic and not placable does not hold.
sent1: the fact that the wayside is both not Puranic and not placable is false if the chyle does not transfer derangement. sent2: the chyle is not a Mespilus if that it is not a kind of an image is right. sent3: if something refers apar and is a cockscomb it is not a kind of an image. sent4: the chyle is a cockscomb if it does transfer derangement. sent5: the chyle is galactic. sent6: the chyle is a kind of a Mespilus that is a Rachycentridae. sent7: the fact that if that the chyle is galactic is not incorrect then the chyle does refer apar is correct.
void -> assump1: Let's assume that the chyle transfers derangement.; sent4 & assump1 -> int1: the chyle is a cockscomb.; sent7 & sent5 -> int2: the chyle does refer apar.; int1 & int2 -> int3: the chyle does refer apar and it is a cockscomb.; sent3 -> int4: the chyle is not a kind of an image if it refers apar and is a kind of a cockscomb.; int3 & int4 -> int5: the chyle does not image.; int5 & sent2 -> int6: the chyle is not a Mespilus.; sent6 -> int7: the chyle is a Mespilus.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the fact that the chyle does not transfer derangement hold.; int9 & sent1 -> hypothesis;
$hypothesis$ = the fact that the wayside is both not Puranic and not placable does not hold. ; $context$ = sent1: the fact that the wayside is both not Puranic and not placable is false if the chyle does not transfer derangement. sent2: the chyle is not a Mespilus if that it is not a kind of an image is right. sent3: if something refers apar and is a cockscomb it is not a kind of an image. sent4: the chyle is a cockscomb if it does transfer derangement. sent5: the chyle is galactic. sent6: the chyle is a kind of a Mespilus that is a Rachycentridae. sent7: the fact that if that the chyle is galactic is not incorrect then the chyle does refer apar is correct. ; $proof$ = 
void -> assump1: Let's assume that the chyle transfers derangement.; sent4 & assump1 -> int1: the chyle is a cockscomb.; sent7 & sent5 -> int2: the chyle does refer apar.; int1 & int2 -> int3: the chyle does refer apar and it is a cockscomb.; sent3 -> int4: the chyle is not a kind of an image if it refers apar and is a kind of a cockscomb.; int3 & int4 -> int5: the chyle does not image.; int5 & sent2 -> int6: the chyle is not a Mespilus.; sent6 -> int7: the chyle is a Mespilus.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the fact that the chyle does not transfer derangement hold.; int9 & sent1 -> hypothesis; __PROVED__