that the superbug is a kind of a bust and it molds awn is false.
sent1: that the superbug is a bust and it molds awn is not true if the meatus is not a bust. sent2: the gigot does not devoice gridiron but it molds retrospection. sent3: something does outsell scholarship if the fact that it does not devoice superbug and is not a skilled is wrong. sent4: the meatus is not lymphocytic and it does not outsell ribosome if the hit does not outsell ribosome. sent5: the millstone does devoice meteortropism and is a gemmule. sent6: the meatus does mold retrospection. sent7: if that something is not a wyvern and it does not mold hit does not hold it is a laryngopharynx. sent8: the superbug is a gemmule and it is a bust. sent9: if something does not devoice gridiron and molds retrospection that it does devoice superbug is correct. sent10: if the fact that the meatus does not outsell ribosome is not false then the fact that the gigot does outsell ribosome and it does mold retrospection is not correct. sent11: that the millstone does not devoice superbug and it is not a skilled is not correct if the gigot devoice superbug. sent12: if the millstone does outsell scholarship and devoices meteortropism then the hit does not outsell ribosome.
sent9 -> int1: the gigot does devoice superbug if it does not devoice gridiron and does mold retrospection.; int1 & sent2 -> int2: the gigot devoices superbug.; int2 & sent11 -> int3: the fact that the millstone does not devoice superbug and is not a skilled is not true.; sent3 -> int4: if the fact that that the millstone does not devoice superbug and it is not a skilled hold is not correct it does outsell scholarship.; int3 & int4 -> int5: the millstone does outsell scholarship.; sent5 -> int6: the fact that the millstone does devoice meteortropism hold.; int5 & int6 -> int7: the millstone does outsell scholarship and does devoice meteortropism.; int7 & sent12 -> int8: the hit does not outsell ribosome.; int8 & sent4 -> int9: the meatus is a kind of non-lymphocytic thing that does not outsell ribosome.;
$hypothesis$ = that the superbug is a kind of a bust and it molds awn is false. ; $context$ = sent1: that the superbug is a bust and it molds awn is not true if the meatus is not a bust. sent2: the gigot does not devoice gridiron but it molds retrospection. sent3: something does outsell scholarship if the fact that it does not devoice superbug and is not a skilled is wrong. sent4: the meatus is not lymphocytic and it does not outsell ribosome if the hit does not outsell ribosome. sent5: the millstone does devoice meteortropism and is a gemmule. sent6: the meatus does mold retrospection. sent7: if that something is not a wyvern and it does not mold hit does not hold it is a laryngopharynx. sent8: the superbug is a gemmule and it is a bust. sent9: if something does not devoice gridiron and molds retrospection that it does devoice superbug is correct. sent10: if the fact that the meatus does not outsell ribosome is not false then the fact that the gigot does outsell ribosome and it does mold retrospection is not correct. sent11: that the millstone does not devoice superbug and it is not a skilled is not correct if the gigot devoice superbug. sent12: if the millstone does outsell scholarship and devoices meteortropism then the hit does not outsell ribosome. ; $proof$ = 
sent9 -> int1: the gigot does devoice superbug if it does not devoice gridiron and does mold retrospection.; int1 & sent2 -> int2: the gigot devoices superbug.; int2 & sent11 -> int3: the fact that the millstone does not devoice superbug and is not a skilled is not true.; sent3 -> int4: if the fact that that the millstone does not devoice superbug and it is not a skilled hold is not correct it does outsell scholarship.; int3 & int4 -> int5: the millstone does outsell scholarship.; sent5 -> int6: the fact that the millstone does devoice meteortropism hold.; int5 & int6 -> int7: the millstone does outsell scholarship and does devoice meteortropism.; int7 & sent12 -> int8: the hit does not outsell ribosome.; int8 & sent4 -> int9: the meatus is a kind of non-lymphocytic thing that does not outsell ribosome.; __UNKNOWN__