the Burundian is not a Songhai.
sent1: that the Pyrethrum does jockey surfer is right if the fact that it is lentic and it is not anthropological is not wrong. sent2: if that something is not lentic or it does jockey surfer or both is wrong then it is cupric. sent3: the Liechtensteiner is not unofficial and it does not clank walk-up if the laureate is not non-anthropological. sent4: the dormitory is transuranic. sent5: if the glass-cutter is not cupric the Pyrethrum clanks Higginson and it does jockey mayhaw. sent6: if the Pyrethrum does jockey mayhaw then the fact that it is not lentic or does jockey surfer or both does not hold. sent7: if something does not jockey mayhaw and is not cupric then it is a Songhai. sent8: if the Liechtensteiner does not jockey surfer the dormitory is a sniper but it does not clank walk-up. sent9: if the Liechtensteiner is not unofficial and it does not clank walk-up the Burundian is not a Songhai. sent10: something is transuranic if it ages and it does not jockey Pyrethrum. sent11: the dormitory is a sniper. sent12: if there exists something such that it is a sniper the Pyrethrum is not cupric. sent13: the glass-cutter does not jockey Pyrethrum. sent14: if the glass-cutter is transuranic the laureate is anthropological.
void -> assump1: Let's assume that that the Pyrethrum does jockey mayhaw is true.; sent6 & assump1 -> int1: the fact that the Pyrethrum is not lentic and/or jockeys surfer is not true.; sent2 -> int2: the Pyrethrum is cupric if that it is not lentic or it jockeys surfer or both is false.; int1 & int2 -> int3: the Pyrethrum is cupric.; sent11 -> int4: there is something such that it is a kind of a sniper.; int4 & sent12 -> int5: the Pyrethrum is not cupric.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the Pyrethrum does not jockey mayhaw.; sent10 -> int8: the glass-cutter is transuranic if it ages and does not jockey Pyrethrum.;
there is something such that it clanks Higginson.
$hypothesis$ = the Burundian is not a Songhai. ; $context$ = sent1: that the Pyrethrum does jockey surfer is right if the fact that it is lentic and it is not anthropological is not wrong. sent2: if that something is not lentic or it does jockey surfer or both is wrong then it is cupric. sent3: the Liechtensteiner is not unofficial and it does not clank walk-up if the laureate is not non-anthropological. sent4: the dormitory is transuranic. sent5: if the glass-cutter is not cupric the Pyrethrum clanks Higginson and it does jockey mayhaw. sent6: if the Pyrethrum does jockey mayhaw then the fact that it is not lentic or does jockey surfer or both does not hold. sent7: if something does not jockey mayhaw and is not cupric then it is a Songhai. sent8: if the Liechtensteiner does not jockey surfer the dormitory is a sniper but it does not clank walk-up. sent9: if the Liechtensteiner is not unofficial and it does not clank walk-up the Burundian is not a Songhai. sent10: something is transuranic if it ages and it does not jockey Pyrethrum. sent11: the dormitory is a sniper. sent12: if there exists something such that it is a sniper the Pyrethrum is not cupric. sent13: the glass-cutter does not jockey Pyrethrum. sent14: if the glass-cutter is transuranic the laureate is anthropological. ; $proof$ = 
void -> assump1: Let's assume that that the Pyrethrum does jockey mayhaw is true.; sent6 & assump1 -> int1: the fact that the Pyrethrum is not lentic and/or jockeys surfer is not true.; sent2 -> int2: the Pyrethrum is cupric if that it is not lentic or it jockeys surfer or both is false.; int1 & int2 -> int3: the Pyrethrum is cupric.; sent11 -> int4: there is something such that it is a kind of a sniper.; int4 & sent12 -> int5: the Pyrethrum is not cupric.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the Pyrethrum does not jockey mayhaw.; sent10 -> int8: the glass-cutter is transuranic if it ages and does not jockey Pyrethrum.; __UNKNOWN__