the seedcake is seraphic.
sent1: the A-line is non-asphaltic if the trimer is a redtail. sent2: the webworm is a grits. sent3: the fact that the seedcake is not a sixth-former or it stables or both does not hold if the fact that it is a Medawar is not incorrect. sent4: the seedcake is a kind of a sixth-former if it is a kind of a Medawar. sent5: the right-hander offers if it is not a kind of a sixth-former. sent6: the gadolinite is a sixth-former. sent7: the gadolinite grits if the webworm does grits. sent8: the fact that the webworm is either not a Medawar or a grits or both is not right if it is a sixth-former. sent9: the seedcake is a redtail. sent10: the A-line does not patronage demography. sent11: the A-line is seraphic. sent12: if the gadolinite is asphaltic then it is not a Medawar. sent13: if the A-line is not asphaltic the fact that that the gadolinite does not patronage demography and is not asphaltic is right does not hold. sent14: something is seraphic if that it is not a Medawar is true. sent15: if the seedcake is asphaltic then that it is not seraphic and/or patronages demography is wrong. sent16: the gadolinite does not patronage demography and it is not asphaltic if it is a grits. sent17: the AMD is not a Medawar. sent18: if the trimer is not asphaltic then it is a redtail and it is a Medawar. sent19: the gadolinite is a Medawar if the fact that it does not grit is not wrong.
void -> assump1: Let's assume that the seedcake is a Medawar.; sent3 & assump1 -> int1: the fact that the seedcake is not a kind of a sixth-former and/or it stables is not correct.; sent7 & sent2 -> int2: the gadolinite is a grits.; sent16 & int2 -> int3: the gadolinite does not patronage demography and it is not asphaltic.; sent14 -> int4: the seedcake is not non-seraphic if the fact that it is not a kind of a Medawar hold.;
the seedcake is not seraphic.
$hypothesis$ = the seedcake is seraphic. ; $context$ = sent1: the A-line is non-asphaltic if the trimer is a redtail. sent2: the webworm is a grits. sent3: the fact that the seedcake is not a sixth-former or it stables or both does not hold if the fact that it is a Medawar is not incorrect. sent4: the seedcake is a kind of a sixth-former if it is a kind of a Medawar. sent5: the right-hander offers if it is not a kind of a sixth-former. sent6: the gadolinite is a sixth-former. sent7: the gadolinite grits if the webworm does grits. sent8: the fact that the webworm is either not a Medawar or a grits or both is not right if it is a sixth-former. sent9: the seedcake is a redtail. sent10: the A-line does not patronage demography. sent11: the A-line is seraphic. sent12: if the gadolinite is asphaltic then it is not a Medawar. sent13: if the A-line is not asphaltic the fact that that the gadolinite does not patronage demography and is not asphaltic is right does not hold. sent14: something is seraphic if that it is not a Medawar is true. sent15: if the seedcake is asphaltic then that it is not seraphic and/or patronages demography is wrong. sent16: the gadolinite does not patronage demography and it is not asphaltic if it is a grits. sent17: the AMD is not a Medawar. sent18: if the trimer is not asphaltic then it is a redtail and it is a Medawar. sent19: the gadolinite is a Medawar if the fact that it does not grit is not wrong. ; $proof$ = 
void -> assump1: Let's assume that the seedcake is a Medawar.; sent3 & assump1 -> int1: the fact that the seedcake is not a kind of a sixth-former and/or it stables is not correct.; sent7 & sent2 -> int2: the gadolinite is a grits.; sent16 & int2 -> int3: the gadolinite does not patronage demography and it is not asphaltic.; sent14 -> int4: the seedcake is not non-seraphic if the fact that it is not a kind of a Medawar hold.; __UNKNOWN__