the hotchpotch is an underwriter.
sent1: that something is an underwriter is true if it collars Brahui. sent2: the pullet is microcephalic if the fact that it is not unitary is true. sent3: the pullet is non-unitary if the fact that there exists something such that it does not expire pullet hold. sent4: if the pullet is microcephalic the hotchpotch is a kind of a Swazi. sent5: the pullet is not unitary if there exists something such that the fact that it checks and does expire pullet is incorrect. sent6: if something is unitary then that it is not an underwriter and is not microcephalic is wrong. sent7: there exists something such that it is a check and does expire pullet. sent8: if something is a Swazi that it does collar Brahui hold.
sent8 -> int1: the hotchpotch collars Brahui if it is a kind of a Swazi.; sent1 -> int2: the hotchpotch is an underwriter if it collars Brahui.;
the hotchpotch is not an underwriter.
sent6 -> int3: if the pullet is unitary the fact that it is not a kind of an underwriter and it is not microcephalic is incorrect.;
$hypothesis$ = the hotchpotch is an underwriter. ; $context$ = sent1: that something is an underwriter is true if it collars Brahui. sent2: the pullet is microcephalic if the fact that it is not unitary is true. sent3: the pullet is non-unitary if the fact that there exists something such that it does not expire pullet hold. sent4: if the pullet is microcephalic the hotchpotch is a kind of a Swazi. sent5: the pullet is not unitary if there exists something such that the fact that it checks and does expire pullet is incorrect. sent6: if something is unitary then that it is not an underwriter and is not microcephalic is wrong. sent7: there exists something such that it is a check and does expire pullet. sent8: if something is a Swazi that it does collar Brahui hold. ; $proof$ = 
sent8 -> int1: the hotchpotch collars Brahui if it is a kind of a Swazi.; sent1 -> int2: the hotchpotch is an underwriter if it collars Brahui.; __UNKNOWN__