there exists something such that if it is a kind of a blackhead it is not a kind of a paging.
sent1: if something is a blackhead and is a kind of an alumina then it is a paging. sent2: the T-square is both a amateurishness and pragmatics. sent3: the T-square is curtainless. sent4: the T-square does not clinch Macrocephalon. sent5: if the fact that something is curtained and it is not an alumina is wrong it does clinch toponymy. sent6: if the T-square is a kind of a blackhead and it is an alumina then it is a paging. sent7: if the T-square is a blackhead it pages. sent8: the T-square does not sidle lavatory. sent9: there is something such that if it is a blackhead then the fact that it does page is correct. sent10: the fact that the fesse is not curtainless and it is not a kind of an alumina is false. sent11: if the T-square is a blackhead that is a kind of a quinine then it is a cedar. sent12: the T-square does page. sent13: if there exists something such that it is not a kind of an alumina then the washstand is curtainless and does sidle endarterectomy. sent14: the youth-on-age is a Volvariella and does page. sent15: the T-square does pipe. sent16: there exists something such that if it is curtainless then it is not a paging. sent17: the T-square is curtainless and it is an alumina. sent18: the catalase is a kind of a blackhead and it is a tall. sent19: if the lamasery is a blackhead then it is sociological. sent20: the T-square is curtainless and it boats.
sent17 -> int1: the T-square is a kind of an alumina.; void -> assump1: Let's assume that the T-square is a kind of a blackhead.; int1 & assump1 -> int2: the T-square is a blackhead and an alumina.;
the fesse does clinch toponymy and it is toxic.
sent5 -> int3: if the fact that the fesse is not curtainless and it is not a kind of an alumina is not correct that it does clinch toponymy is not false.; int3 & sent10 -> int4: the fesse does clinch toponymy.;
$hypothesis$ = there exists something such that if it is a kind of a blackhead it is not a kind of a paging. ; $context$ = sent1: if something is a blackhead and is a kind of an alumina then it is a paging. sent2: the T-square is both a amateurishness and pragmatics. sent3: the T-square is curtainless. sent4: the T-square does not clinch Macrocephalon. sent5: if the fact that something is curtained and it is not an alumina is wrong it does clinch toponymy. sent6: if the T-square is a kind of a blackhead and it is an alumina then it is a paging. sent7: if the T-square is a blackhead it pages. sent8: the T-square does not sidle lavatory. sent9: there is something such that if it is a blackhead then the fact that it does page is correct. sent10: the fact that the fesse is not curtainless and it is not a kind of an alumina is false. sent11: if the T-square is a blackhead that is a kind of a quinine then it is a cedar. sent12: the T-square does page. sent13: if there exists something such that it is not a kind of an alumina then the washstand is curtainless and does sidle endarterectomy. sent14: the youth-on-age is a Volvariella and does page. sent15: the T-square does pipe. sent16: there exists something such that if it is curtainless then it is not a paging. sent17: the T-square is curtainless and it is an alumina. sent18: the catalase is a kind of a blackhead and it is a tall. sent19: if the lamasery is a blackhead then it is sociological. sent20: the T-square is curtainless and it boats. ; $proof$ = 
sent17 -> int1: the T-square is a kind of an alumina.; void -> assump1: Let's assume that the T-square is a kind of a blackhead.; int1 & assump1 -> int2: the T-square is a blackhead and an alumina.; __UNKNOWN__