the synonymist is mindful.
sent1: something is not mindful if the fact that it is mindful a cottager does not hold. sent2: if the cofactor is a cottager then the synonymist is mindful. sent3: the cofactor is a cottager if it is noncollapsible and it is dominical. sent4: that something is mindful and it is a cottager is wrong if it is not a colloid. sent5: if a non-viceregal thing does not receive then it is not a kind of a colloid. sent6: if something is noncollapsible but it is not dominical then the fact that it is a cottager is not false. sent7: the abnegator is not viceregal if the fact that the Sumatran is emphysematous thing that is not viceregal does not hold. sent8: the cofactor is not dominical. sent9: the fact that that the Sumatran is emphysematous and not viceregal hold is incorrect if it is an astringent. sent10: the Sumatran is mutative if the quark is a colloid. sent11: everything is not dominical. sent12: the Sumatran is a kind of astringent thing that does deteriorate if it does not drink incapacity. sent13: everything is noncollapsible and is not dominical. sent14: the abnegator does not receive. sent15: if the abnegator is a cottager the synonymist is a kind of a cottager. sent16: if the fact that something is not mutative but it is mindful does not hold the fact that it is not mindful is not false. sent17: the Sumatran does not drink incapacity. sent18: if the hoop does not receive then the quark is a kind of a colloid and it is viceregal. sent19: a noncollapsible thing that is dominical is a cottager. sent20: if that the reductase does receive and it is astringent is not right the hoop does not receive.
sent13 -> int1: the cofactor is noncollapsible but it is not dominical.; sent6 -> int2: if the cofactor is noncollapsible but it is not dominical it is a kind of a cottager.; int1 & int2 -> int3: the cofactor is a kind of a cottager.; int3 & sent2 -> hypothesis;
the synonymist is not mindful.
sent16 -> int4: if that the synonymist is not mutative but it is mindful is not correct it is mindful.; sent1 -> int5: if the fact that the abnegator is mindful thing that is a cottager is incorrect then it is not mindful.; sent4 -> int6: if the abnegator is not a kind of a colloid then that it is mindful and it is a kind of a cottager is false.; sent5 -> int7: if the abnegator is not viceregal and it does not receive then it is not a colloid.; sent12 & sent17 -> int8: the Sumatran is astringent thing that deteriorates.; int8 -> int9: the Sumatran is an astringent.; sent9 & int9 -> int10: the fact that the Sumatran is emphysematous but it is not viceregal is false.; sent7 & int10 -> int11: the abnegator is not viceregal.; int11 & sent14 -> int12: the abnegator is not viceregal and it does not receive.; int7 & int12 -> int13: the abnegator is not a colloid.; int6 & int13 -> int14: the fact that the abnegator is not unmindful and it is a cottager does not hold.; int5 & int14 -> int15: the abnegator is not mindful.; int15 -> int16: there exists something such that that it is not mindful hold.;
$hypothesis$ = the synonymist is mindful. ; $context$ = sent1: something is not mindful if the fact that it is mindful a cottager does not hold. sent2: if the cofactor is a cottager then the synonymist is mindful. sent3: the cofactor is a cottager if it is noncollapsible and it is dominical. sent4: that something is mindful and it is a cottager is wrong if it is not a colloid. sent5: if a non-viceregal thing does not receive then it is not a kind of a colloid. sent6: if something is noncollapsible but it is not dominical then the fact that it is a cottager is not false. sent7: the abnegator is not viceregal if the fact that the Sumatran is emphysematous thing that is not viceregal does not hold. sent8: the cofactor is not dominical. sent9: the fact that that the Sumatran is emphysematous and not viceregal hold is incorrect if it is an astringent. sent10: the Sumatran is mutative if the quark is a colloid. sent11: everything is not dominical. sent12: the Sumatran is a kind of astringent thing that does deteriorate if it does not drink incapacity. sent13: everything is noncollapsible and is not dominical. sent14: the abnegator does not receive. sent15: if the abnegator is a cottager the synonymist is a kind of a cottager. sent16: if the fact that something is not mutative but it is mindful does not hold the fact that it is not mindful is not false. sent17: the Sumatran does not drink incapacity. sent18: if the hoop does not receive then the quark is a kind of a colloid and it is viceregal. sent19: a noncollapsible thing that is dominical is a cottager. sent20: if that the reductase does receive and it is astringent is not right the hoop does not receive. ; $proof$ = 
sent13 -> int1: the cofactor is noncollapsible but it is not dominical.; sent6 -> int2: if the cofactor is noncollapsible but it is not dominical it is a kind of a cottager.; int1 & int2 -> int3: the cofactor is a kind of a cottager.; int3 & sent2 -> hypothesis; __PROVED__