the Nanticoke is not unsocial.
sent1: something that is not a Edecrin sparkles deuterium and is not a telecast. sent2: the MEDLINE is non-documentary if the fact that it is not a Hasdrubal and investigates soldiering is false. sent3: the MEDLINE is not non-documentary. sent4: if the Nanticoke is unsocial it does telecast. sent5: if the fact that the omelet is a kind of a Hasdrubal is true the fact that the MEDLINE is a kind of a Hasdrubal and it does investigate soldiering does not hold. sent6: the fact that the MEDLINE is not a Hasdrubal but it does investigate soldiering is wrong if the omelet is a kind of a Hasdrubal. sent7: if that there is something such that it does not investigate soldiering and scatters hold then that the sailor's-choice is not a kind of a Hasdrubal is correct. sent8: there is something such that it does not investigate soldiering and it scatters. sent9: something is not a kind of a Edecrin if it is not a Hasdrubal. sent10: if something that sparkles deuterium is not a telecast then it is unsocial. sent11: the cyprinid is a kind of a Edecrin if the Nanticoke does sparkle deuterium. sent12: the omelet is a Hasdrubal if the cyprinid is a kind of a Edecrin. sent13: the fact that the Nanticoke does sparkle deuterium hold if it is a telecast. sent14: something is documentary if the fact that it is either social or a telecast or both is not right.
void -> assump1: Let's assume that the Nanticoke is unsocial.; sent4 & assump1 -> int1: the Nanticoke is a kind of a telecast.; int1 & sent13 -> int2: the Nanticoke sparkles deuterium.; int2 & sent11 -> int3: the cyprinid is a Edecrin.; int3 & sent12 -> int4: the fact that the omelet is a Hasdrubal hold.; int4 & sent6 -> int5: that the MEDLINE is not a Hasdrubal and does investigate soldiering does not hold.; int5 & sent2 -> int6: the fact that the MEDLINE is not a documentary is not wrong.; int6 & sent3 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the sailor's-choice is a documentary.
sent14 -> int8: the sailor's-choice is a documentary if the fact that it either is not unsocial or is a telecast or both is not correct.; sent8 & sent7 -> int9: the sailor's-choice is not a Hasdrubal.;
$hypothesis$ = the Nanticoke is not unsocial. ; $context$ = sent1: something that is not a Edecrin sparkles deuterium and is not a telecast. sent2: the MEDLINE is non-documentary if the fact that it is not a Hasdrubal and investigates soldiering is false. sent3: the MEDLINE is not non-documentary. sent4: if the Nanticoke is unsocial it does telecast. sent5: if the fact that the omelet is a kind of a Hasdrubal is true the fact that the MEDLINE is a kind of a Hasdrubal and it does investigate soldiering does not hold. sent6: the fact that the MEDLINE is not a Hasdrubal but it does investigate soldiering is wrong if the omelet is a kind of a Hasdrubal. sent7: if that there is something such that it does not investigate soldiering and scatters hold then that the sailor's-choice is not a kind of a Hasdrubal is correct. sent8: there is something such that it does not investigate soldiering and it scatters. sent9: something is not a kind of a Edecrin if it is not a Hasdrubal. sent10: if something that sparkles deuterium is not a telecast then it is unsocial. sent11: the cyprinid is a kind of a Edecrin if the Nanticoke does sparkle deuterium. sent12: the omelet is a Hasdrubal if the cyprinid is a kind of a Edecrin. sent13: the fact that the Nanticoke does sparkle deuterium hold if it is a telecast. sent14: something is documentary if the fact that it is either social or a telecast or both is not right. ; $proof$ = 
void -> assump1: Let's assume that the Nanticoke is unsocial.; sent4 & assump1 -> int1: the Nanticoke is a kind of a telecast.; int1 & sent13 -> int2: the Nanticoke sparkles deuterium.; int2 & sent11 -> int3: the cyprinid is a Edecrin.; int3 & sent12 -> int4: the fact that the omelet is a Hasdrubal hold.; int4 & sent6 -> int5: that the MEDLINE is not a Hasdrubal and does investigate soldiering does not hold.; int5 & sent2 -> int6: the fact that the MEDLINE is not a documentary is not wrong.; int6 & sent3 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __PROVED__