the spoiler is a Hemofil if the spotlight is intrusive.
sent1: the fact that the fact that the spotlight is unintrusive but it is a Frisian is true is not correct if the fact that the millerite is nonspherical hold. sent2: that the millerite is nonspherical a Frisian is false. sent3: that the grocer is intrusive is not wrong. sent4: that the spotlight is not Frisian but it is intrusive is not correct. sent5: the millerite is intrusive. sent6: if the spotlight is intrusive the fact that the millerite is not nonspherical but Frisian does not hold. sent7: the spotlight is nonspherical if the fact that the spoiler is a kind of unintrusive a Hemofil is not true. sent8: the spoiler is nonspherical. sent9: if the fact that the millerite is both not nonspherical and Frisian is wrong then the spoiler is a Hemofil. sent10: the fact that the silversword is intrusive is not incorrect. sent11: the spoiler is a Frisian. sent12: if the millerite is intrusive the fact that the spotlight is not a Hemofil but it is nonspherical does not hold. sent13: if the fact that the spotlight is not a kind of a Hemofil but it is intrusive is incorrect then that the spoiler is a Frisian hold. sent14: the spotlight is a Frisian if the millerite is intrusive. sent15: if the spotlight is intrusive that the millerite is nonspherical and it is a Frisian is not right. sent16: the spoiler is a Hemofil if the millerite is nonspherical. sent17: if the spotlight is a Hemofil the spoiler is intrusive. sent18: the millerite is a Hemofil if the spoiler is Frisian. sent19: the millerite is a doggerel.
void -> assump1: Let's assume that the spotlight is intrusive.; sent6 & assump1 -> int1: that the millerite is not nonspherical but Frisian does not hold.; sent9 & int1 -> int2: the spoiler is a Hemofil.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the spoiler is a Hemofil if the spotlight is intrusive. ; $context$ = sent1: the fact that the fact that the spotlight is unintrusive but it is a Frisian is true is not correct if the fact that the millerite is nonspherical hold. sent2: that the millerite is nonspherical a Frisian is false. sent3: that the grocer is intrusive is not wrong. sent4: that the spotlight is not Frisian but it is intrusive is not correct. sent5: the millerite is intrusive. sent6: if the spotlight is intrusive the fact that the millerite is not nonspherical but Frisian does not hold. sent7: the spotlight is nonspherical if the fact that the spoiler is a kind of unintrusive a Hemofil is not true. sent8: the spoiler is nonspherical. sent9: if the fact that the millerite is both not nonspherical and Frisian is wrong then the spoiler is a Hemofil. sent10: the fact that the silversword is intrusive is not incorrect. sent11: the spoiler is a Frisian. sent12: if the millerite is intrusive the fact that the spotlight is not a Hemofil but it is nonspherical does not hold. sent13: if the fact that the spotlight is not a kind of a Hemofil but it is intrusive is incorrect then that the spoiler is a Frisian hold. sent14: the spotlight is a Frisian if the millerite is intrusive. sent15: if the spotlight is intrusive that the millerite is nonspherical and it is a Frisian is not right. sent16: the spoiler is a Hemofil if the millerite is nonspherical. sent17: if the spotlight is a Hemofil the spoiler is intrusive. sent18: the millerite is a Hemofil if the spoiler is Frisian. sent19: the millerite is a doggerel. ; $proof$ = 
void -> assump1: Let's assume that the spotlight is intrusive.; sent6 & assump1 -> int1: that the millerite is not nonspherical but Frisian does not hold.; sent9 & int1 -> int2: the spoiler is a Hemofil.; [assump1] & int2 -> hypothesis; __PROVED__