the possible is a kind of unintrusive thing that is a churchyard.
sent1: the possible is unintrusive and a churchyard if the earthball is not a churchyard. sent2: the possible is unintrusive. sent3: the earthball is not a kind of a banjo. sent4: the earthball does not fingerprint earthball if it is incautious. sent5: the fact that something is an entertainer and it is a pessimist is false if it does not fingerprint earthball. sent6: something that is a pessimist is not a churchyard. sent7: if the earthball is cautious it is not a banjo. sent8: the possible is unintrusive if the earthball is not a churchyard. sent9: if the earthball does not dangle then that it is a slickness and it is a banjo does not hold. sent10: if something is not incautious then it is not a banjo. sent11: that the earthball is both an entertainer and a pessimist is not right. sent12: if the fact that something is an entertainer and is not a kind of a pessimist is not true then it is not a churchyard. sent13: the woodcock is an entertainer. sent14: the fact that the earthball is a slickness that is a banjo does not hold. sent15: the earthball is not a churchyard if it is a kind of a pessimist. sent16: if something does not fingerprint earthball then that it is a kind of an entertainer and it is not a kind of a pessimist does not hold. sent17: the earthball does not dangle. sent18: something is a kind of a slickness that is not a banjo if it is not incautious. sent19: if the earthball does not fingerprint earthball the fact that it is an entertainer and a pessimist is incorrect.
sent18 -> int1: the earthball is a kind of a slickness and is not a kind of a banjo if the fact that it is not incautious is not wrong.; void -> assump1: Let's assume that the earthball is not incautious.; int1 & assump1 -> int2: the earthball is a slickness but it is not a banjo.; sent16 -> int3: that the earthball is an entertainer and is not a kind of a pessimist is wrong if it does not fingerprint earthball.; sent12 -> int4: if that the earthball is an entertainer and not a pessimist does not hold it is not a churchyard.;
the fact that the possible is unintrusive and is a churchyard does not hold.
$hypothesis$ = the possible is a kind of unintrusive thing that is a churchyard. ; $context$ = sent1: the possible is unintrusive and a churchyard if the earthball is not a churchyard. sent2: the possible is unintrusive. sent3: the earthball is not a kind of a banjo. sent4: the earthball does not fingerprint earthball if it is incautious. sent5: the fact that something is an entertainer and it is a pessimist is false if it does not fingerprint earthball. sent6: something that is a pessimist is not a churchyard. sent7: if the earthball is cautious it is not a banjo. sent8: the possible is unintrusive if the earthball is not a churchyard. sent9: if the earthball does not dangle then that it is a slickness and it is a banjo does not hold. sent10: if something is not incautious then it is not a banjo. sent11: that the earthball is both an entertainer and a pessimist is not right. sent12: if the fact that something is an entertainer and is not a kind of a pessimist is not true then it is not a churchyard. sent13: the woodcock is an entertainer. sent14: the fact that the earthball is a slickness that is a banjo does not hold. sent15: the earthball is not a churchyard if it is a kind of a pessimist. sent16: if something does not fingerprint earthball then that it is a kind of an entertainer and it is not a kind of a pessimist does not hold. sent17: the earthball does not dangle. sent18: something is a kind of a slickness that is not a banjo if it is not incautious. sent19: if the earthball does not fingerprint earthball the fact that it is an entertainer and a pessimist is incorrect. ; $proof$ = 
sent18 -> int1: the earthball is a kind of a slickness and is not a kind of a banjo if the fact that it is not incautious is not wrong.; void -> assump1: Let's assume that the earthball is not incautious.; int1 & assump1 -> int2: the earthball is a slickness but it is not a banjo.; sent16 -> int3: that the earthball is an entertainer and is not a kind of a pessimist is wrong if it does not fingerprint earthball.; sent12 -> int4: if that the earthball is an entertainer and not a pessimist does not hold it is not a churchyard.; __UNKNOWN__