the primaquine is not a Sango.
sent1: that if the epicranium does camber slinging then the fact that the dipper does not derail and it is not leaden is false is not false. sent2: that the fact that the dipper does derail and it is far is true does not hold. sent3: that the dipper is not a Sango and does camber slinging is not correct if the epicranium is not a kind of an adventurer. sent4: if the tungstate is leaden that the epicranium is not an adventurer and it does not camber slinging is wrong. sent5: if something is leaden but it is not a flail then it is not an adventurer. sent6: the epicranium is not leaden. sent7: the tungstate is leaden. sent8: the fact that something does not flail and it is not leaden is wrong if it is an insecticide. sent9: if that something does not camber slinging and is not far is not correct it is far. sent10: something does camber slinging if that it is not an adventurer and it does not camber slinging is wrong. sent11: if something does not camber slinging that it is an adventurer and is not a Sango does not hold. sent12: if something rolls Mongol then the dipper is an insecticide. sent13: if that the dipper does not derail and is far is not true then the epicranium does not camber slinging. sent14: if the fact that something is not a flail and is not leaden is wrong then that it does not camber slinging is correct. sent15: if the primaquine is a kind of a Sango that the dipper does not derail but it is far is false. sent16: something does roll Mongol and trucks baiza if it is not a kind of a horology. sent17: everything is not a horology. sent18: if the primaquine is a Sango that that the dipper derails and it is not non-far is wrong is not false. sent19: the fact that the primaquine is not far is right if the dipper is a kind of a Sango. sent20: something is far if the fact that it does not derail and it is not far is incorrect. sent21: the fact that the dipper is a kind of non-far thing that is an adventurer is not true.
void -> assump1: Let's assume that the primaquine is a Sango.; sent15 & assump1 -> int1: the fact that the dipper does not derail but it is far is not correct.; int1 & sent13 -> int2: the fact that the epicranium does not camber slinging is not wrong.; sent10 -> int3: if the fact that the epicranium is not an adventurer and it does not camber slinging does not hold then it does camber slinging.; sent4 & sent7 -> int4: the fact that the epicranium is not a kind of an adventurer and does not camber slinging is false.; int3 & int4 -> int5: the epicranium does camber slinging.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
the primaquine is a Sango.
sent5 -> int7: the epicranium is not a kind of an adventurer if it is both leaden and not a flail.;
$hypothesis$ = the primaquine is not a Sango. ; $context$ = sent1: that if the epicranium does camber slinging then the fact that the dipper does not derail and it is not leaden is false is not false. sent2: that the fact that the dipper does derail and it is far is true does not hold. sent3: that the dipper is not a Sango and does camber slinging is not correct if the epicranium is not a kind of an adventurer. sent4: if the tungstate is leaden that the epicranium is not an adventurer and it does not camber slinging is wrong. sent5: if something is leaden but it is not a flail then it is not an adventurer. sent6: the epicranium is not leaden. sent7: the tungstate is leaden. sent8: the fact that something does not flail and it is not leaden is wrong if it is an insecticide. sent9: if that something does not camber slinging and is not far is not correct it is far. sent10: something does camber slinging if that it is not an adventurer and it does not camber slinging is wrong. sent11: if something does not camber slinging that it is an adventurer and is not a Sango does not hold. sent12: if something rolls Mongol then the dipper is an insecticide. sent13: if that the dipper does not derail and is far is not true then the epicranium does not camber slinging. sent14: if the fact that something is not a flail and is not leaden is wrong then that it does not camber slinging is correct. sent15: if the primaquine is a kind of a Sango that the dipper does not derail but it is far is false. sent16: something does roll Mongol and trucks baiza if it is not a kind of a horology. sent17: everything is not a horology. sent18: if the primaquine is a Sango that that the dipper derails and it is not non-far is wrong is not false. sent19: the fact that the primaquine is not far is right if the dipper is a kind of a Sango. sent20: something is far if the fact that it does not derail and it is not far is incorrect. sent21: the fact that the dipper is a kind of non-far thing that is an adventurer is not true. ; $proof$ = 
void -> assump1: Let's assume that the primaquine is a Sango.; sent15 & assump1 -> int1: the fact that the dipper does not derail but it is far is not correct.; int1 & sent13 -> int2: the fact that the epicranium does not camber slinging is not wrong.; sent10 -> int3: if the fact that the epicranium is not an adventurer and it does not camber slinging does not hold then it does camber slinging.; sent4 & sent7 -> int4: the fact that the epicranium is not a kind of an adventurer and does not camber slinging is false.; int3 & int4 -> int5: the epicranium does camber slinging.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __PROVED__