that the honkytonk does trice monolingual if the monolingual is biauricular is not true.
sent1: if that the Hope does trice monolingual is not false then the earthball is a kind of a milk-vetch. sent2: if the honkytonk is biauricular the monolingual trices monolingual. sent3: the fact that the fact that the tabard is not non-biauricular hold if the coral is a milk-vetch is true. sent4: the monolingual does trice monolingual. sent5: if something does trice monolingual then it is biauricular. sent6: if the honkytonk does trice monolingual the monolingual is a milk-vetch. sent7: if the monolingual is biauricular then the honkytonk is a milk-vetch. sent8: if something is biauricular then it is a milk-vetch. sent9: if something is biauricular it trices monolingual. sent10: the monolingual trices monolingual if the honkytonk is a milk-vetch. sent11: a milk-vetch trices monolingual. sent12: if that the honkytonk is non-biauricular is not right the fact that the monolingual is a milk-vetch is not incorrect.
void -> assump1: Let's assume that that the monolingual is biauricular hold.; sent7 & assump1 -> int1: that the honkytonk is a kind of a milk-vetch is not incorrect.; sent11 -> int2: the honkytonk trices monolingual if it is a milk-vetch.; int1 & int2 -> int3: the honkytonk does trice monolingual.; [assump1] & int3 -> hypothesis;
$hypothesis$ = that the honkytonk does trice monolingual if the monolingual is biauricular is not true. ; $context$ = sent1: if that the Hope does trice monolingual is not false then the earthball is a kind of a milk-vetch. sent2: if the honkytonk is biauricular the monolingual trices monolingual. sent3: the fact that the fact that the tabard is not non-biauricular hold if the coral is a milk-vetch is true. sent4: the monolingual does trice monolingual. sent5: if something does trice monolingual then it is biauricular. sent6: if the honkytonk does trice monolingual the monolingual is a milk-vetch. sent7: if the monolingual is biauricular then the honkytonk is a milk-vetch. sent8: if something is biauricular then it is a milk-vetch. sent9: if something is biauricular it trices monolingual. sent10: the monolingual trices monolingual if the honkytonk is a milk-vetch. sent11: a milk-vetch trices monolingual. sent12: if that the honkytonk is non-biauricular is not right the fact that the monolingual is a milk-vetch is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that that the monolingual is biauricular hold.; sent7 & assump1 -> int1: that the honkytonk is a kind of a milk-vetch is not incorrect.; sent11 -> int2: the honkytonk trices monolingual if it is a milk-vetch.; int1 & int2 -> int3: the honkytonk does trice monolingual.; [assump1] & int3 -> hypothesis; __DISPROVED__