the motorboat is not royal.
sent1: that the bracken does not expire bracken is not false. sent2: if there exists something such that it is a Hawthorne either the handstamp does not minstrel Wain or it is a Hawthorne or both. sent3: something is a fawn if it expires bracken. sent4: if the greenhood does clean it does not mire. sent5: the greenhood is a Polish. sent6: the motorboat is not a kind of a fawn if the handstamp is a kind of a royal. sent7: the greenhood is not an issue and not a cleaning if the fact that the motorboat is Polish is right. sent8: the handstamp is not a fawn if it is amylolytic or it expires bracken or both. sent9: if something does not minstrel Wain or is a Hawthorne or both it is a fawn. sent10: the motorboat expires bracken if it is not a Polish or it is a kind of a royal or both. sent11: the Angolan is a Hawthorne. sent12: the Angolan is not a Hawthorne and/or it does expire bracken. sent13: if something is not Polish then the fact that it is not a royal hold.
void -> assump1: Let's assume that the motorboat is a Polish.; sent7 & assump1 -> int1: the greenhood is not a kind of an issue and does not clean.; sent9 -> int2: if the handstamp does not minstrel Wain and/or it is a kind of a Hawthorne then it fawns.; sent11 -> int3: there is something such that it is a kind of a Hawthorne.; int3 & sent2 -> int4: the handstamp does not minstrel Wain and/or is a Hawthorne.; int2 & int4 -> int5: the handstamp is a kind of a fawn.; sent13 -> int6: the motorboat is not royal if it is not a Polish.;
$hypothesis$ = the motorboat is not royal. ; $context$ = sent1: that the bracken does not expire bracken is not false. sent2: if there exists something such that it is a Hawthorne either the handstamp does not minstrel Wain or it is a Hawthorne or both. sent3: something is a fawn if it expires bracken. sent4: if the greenhood does clean it does not mire. sent5: the greenhood is a Polish. sent6: the motorboat is not a kind of a fawn if the handstamp is a kind of a royal. sent7: the greenhood is not an issue and not a cleaning if the fact that the motorboat is Polish is right. sent8: the handstamp is not a fawn if it is amylolytic or it expires bracken or both. sent9: if something does not minstrel Wain or is a Hawthorne or both it is a fawn. sent10: the motorboat expires bracken if it is not a Polish or it is a kind of a royal or both. sent11: the Angolan is a Hawthorne. sent12: the Angolan is not a Hawthorne and/or it does expire bracken. sent13: if something is not Polish then the fact that it is not a royal hold. ; $proof$ = 
void -> assump1: Let's assume that the motorboat is a Polish.; sent7 & assump1 -> int1: the greenhood is not a kind of an issue and does not clean.; sent9 -> int2: if the handstamp does not minstrel Wain and/or it is a kind of a Hawthorne then it fawns.; sent11 -> int3: there is something such that it is a kind of a Hawthorne.; int3 & sent2 -> int4: the handstamp does not minstrel Wain and/or is a Hawthorne.; int2 & int4 -> int5: the handstamp is a kind of a fawn.; sent13 -> int6: the motorboat is not royal if it is not a Polish.; __UNKNOWN__