the scorer is a history.
sent1: if the seedsman is xerographic but it does not mean Scomberomorus the vanadinite is a kind of a shear. sent2: the scorer is xerographic if the delft is xerographic. sent3: that the seedsman is xerographic is true if it does mean Scomberomorus. sent4: if the delft is acanthotic thing that is not a disguise the seaborgium is a shear. sent5: if the seedsman is xerographic then the vanadinite is not a contrapuntist and it is not xerographic. sent6: the seedsman does mean Scomberomorus if there exists something such that the fact that it is acanthotic thing that is not a disguise is not correct. sent7: the seaborgium is not a shear.
void -> assump1: Let's assume that the delft is acanthotic and not a disguise.; sent4 & assump1 -> int1: the seaborgium is a kind of a shear.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the delft is acanthotic but it is not a disguise is not true.; int3 -> int4: there is something such that the fact that that it is acanthotic and it is not a kind of a disguise is true is not true.; int4 & sent6 -> int5: the seedsman means Scomberomorus.; int5 & sent3 -> int6: the seedsman is xerographic.; int6 & sent5 -> int7: the vanadinite is both not a contrapuntist and not xerographic.; int7 -> int8: something is not a contrapuntist and not xerographic.;
that the scorer is xerographic hold.
$hypothesis$ = the scorer is a history. ; $context$ = sent1: if the seedsman is xerographic but it does not mean Scomberomorus the vanadinite is a kind of a shear. sent2: the scorer is xerographic if the delft is xerographic. sent3: that the seedsman is xerographic is true if it does mean Scomberomorus. sent4: if the delft is acanthotic thing that is not a disguise the seaborgium is a shear. sent5: if the seedsman is xerographic then the vanadinite is not a contrapuntist and it is not xerographic. sent6: the seedsman does mean Scomberomorus if there exists something such that the fact that it is acanthotic thing that is not a disguise is not correct. sent7: the seaborgium is not a shear. ; $proof$ = 
void -> assump1: Let's assume that the delft is acanthotic and not a disguise.; sent4 & assump1 -> int1: the seaborgium is a kind of a shear.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the delft is acanthotic but it is not a disguise is not true.; int3 -> int4: there is something such that the fact that that it is acanthotic and it is not a kind of a disguise is true is not true.; int4 & sent6 -> int5: the seedsman means Scomberomorus.; int5 & sent3 -> int6: the seedsman is xerographic.; int6 & sent5 -> int7: the vanadinite is both not a contrapuntist and not xerographic.; int7 -> int8: something is not a contrapuntist and not xerographic.; __UNKNOWN__