the aminoplast is moonlit.
sent1: the consumption is not a kind of a headboard if it is not a kind of a mincer. sent2: the consumption is not undatable. sent3: something that does gin collie is a headboard. sent4: the aminoplast is moonlit if the TRH does gin collie. sent5: something that is a mincer does gin statute. sent6: if something gins statute then it gins collie. sent7: the consumption is a headboard. sent8: the secularist is moonlit. sent9: the TRH does not gin statute. sent10: the consumption is not moonlit if it is not a headboard. sent11: the sipper does not gin collie. sent12: if the aminoplast is not non-moonlit it gins collie. sent13: something is not moonlit if that it is a kind of a mincer and it is moonlit is wrong. sent14: if the consumption is not moonlit the aminoplast is not moonlit. sent15: the TRH gins collie if the consumption gins statute. sent16: the TRH is a headboard if the consumption does gin collie.
void -> assump1: Let's assume that the fact that the consumption is not a mincer is not incorrect.; sent1 & assump1 -> int1: the fact that the consumption is not a headboard is not false.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the consumption is a kind of a mincer is not wrong.; sent5 -> int4: the consumption gins statute if it is a mincer.; int3 & int4 -> int5: the consumption gins statute.; int5 & sent15 -> int6: the TRH gins collie.; int6 & sent4 -> hypothesis;
that the aminoplast is not moonlit is correct.
sent13 -> int7: that if that the consumption is the mincer and it is moonlit is false then the consumption is moonlit is not incorrect.;
$hypothesis$ = the aminoplast is moonlit. ; $context$ = sent1: the consumption is not a kind of a headboard if it is not a kind of a mincer. sent2: the consumption is not undatable. sent3: something that does gin collie is a headboard. sent4: the aminoplast is moonlit if the TRH does gin collie. sent5: something that is a mincer does gin statute. sent6: if something gins statute then it gins collie. sent7: the consumption is a headboard. sent8: the secularist is moonlit. sent9: the TRH does not gin statute. sent10: the consumption is not moonlit if it is not a headboard. sent11: the sipper does not gin collie. sent12: if the aminoplast is not non-moonlit it gins collie. sent13: something is not moonlit if that it is a kind of a mincer and it is moonlit is wrong. sent14: if the consumption is not moonlit the aminoplast is not moonlit. sent15: the TRH gins collie if the consumption gins statute. sent16: the TRH is a headboard if the consumption does gin collie. ; $proof$ = 
void -> assump1: Let's assume that the fact that the consumption is not a mincer is not incorrect.; sent1 & assump1 -> int1: the fact that the consumption is not a headboard is not false.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the consumption is a kind of a mincer is not wrong.; sent5 -> int4: the consumption gins statute if it is a mincer.; int3 & int4 -> int5: the consumption gins statute.; int5 & sent15 -> int6: the TRH gins collie.; int6 & sent4 -> hypothesis; __PROVED__