the buff is not a nan.
sent1: everything is not categorical. sent2: if something is not categorical it is respectable and it does vex jejunum. sent3: if something that does not dream Maintenon is not tuberous then it is suburban. sent4: the buff is not a kind of a coalbin if the deer does dream Maintenon and is not a coalbin. sent5: that something does dream Maintenon but it is not tuberous does not hold if it is not a coalbin. sent6: something that is suburban is a nan. sent7: the buff is not a kind of a nan if the deer is tuberous and is a rededication. sent8: the fact that something is a coalbin that does not commiserate is incorrect if the fact that it is respectable is not wrong. sent9: something is a rededication if it commiserates. sent10: the deer commiserates. sent11: the fact that the oystercatcher does not dream Maintenon is right. sent12: that the deer is suburban is not false. sent13: the deer is suburban and it dreams Maintenon. sent14: if the deer is not a kind of a rededication the buff does not dream Maintenon and it is not tuberous. sent15: the fact that everything is not a coalbin is not wrong. sent16: if the stachyose is non-suburban the deer does dream Maintenon but it is not a coalbin.
sent13 -> int1: that the deer does not dream Maintenon is false.; void -> assump1: Let's assume that that the deer is not tuberous is not incorrect.; int1 & assump1 -> int2: the deer does dream Maintenon and is not tuberous.; sent5 -> int3: if the deer is not a coalbin that it dreams Maintenon and is not tuberous is not correct.; sent15 -> int4: the deer is not a kind of a coalbin.; int3 & int4 -> int5: the fact that the deer dreams Maintenon but it is not tuberous is wrong.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the deer is tuberous.; sent9 -> int8: if the deer commiserates then it is a rededication.; int8 & sent10 -> int9: the deer is a kind of a rededication.; int7 & int9 -> int10: the deer is tuberous and it is a kind of a rededication.; int10 & sent7 -> hypothesis;
the buff is a kind of a nan.
sent6 -> int11: the buff is a kind of a nan if it is suburban.; sent3 -> int12: the buff is suburban if it does not dream Maintenon and it is non-tuberous.; sent8 -> int13: that that the stachyose is a kind of a coalbin that does not commiserate hold is not true if it is respectable.; sent2 -> int14: the Raja is respectable and does vex jejunum if it is not categorical.; sent1 -> int15: the Raja is not categorical.; int14 & int15 -> int16: the Raja is respectable and does vex jejunum.; int16 -> int17: everything is a kind of respectable thing that does vex jejunum.; int17 -> int18: the stachyose is respectable and it vexes jejunum.; int18 -> int19: the stachyose is respectable.; int13 & int19 -> int20: the fact that the stachyose is a coalbin and does not commiserate does not hold.; int20 -> int21: there is something such that that it is a coalbin and does not commiserate is not correct.;
$hypothesis$ = the buff is not a nan. ; $context$ = sent1: everything is not categorical. sent2: if something is not categorical it is respectable and it does vex jejunum. sent3: if something that does not dream Maintenon is not tuberous then it is suburban. sent4: the buff is not a kind of a coalbin if the deer does dream Maintenon and is not a coalbin. sent5: that something does dream Maintenon but it is not tuberous does not hold if it is not a coalbin. sent6: something that is suburban is a nan. sent7: the buff is not a kind of a nan if the deer is tuberous and is a rededication. sent8: the fact that something is a coalbin that does not commiserate is incorrect if the fact that it is respectable is not wrong. sent9: something is a rededication if it commiserates. sent10: the deer commiserates. sent11: the fact that the oystercatcher does not dream Maintenon is right. sent12: that the deer is suburban is not false. sent13: the deer is suburban and it dreams Maintenon. sent14: if the deer is not a kind of a rededication the buff does not dream Maintenon and it is not tuberous. sent15: the fact that everything is not a coalbin is not wrong. sent16: if the stachyose is non-suburban the deer does dream Maintenon but it is not a coalbin. ; $proof$ = 
sent13 -> int1: that the deer does not dream Maintenon is false.; void -> assump1: Let's assume that that the deer is not tuberous is not incorrect.; int1 & assump1 -> int2: the deer does dream Maintenon and is not tuberous.; sent5 -> int3: if the deer is not a coalbin that it dreams Maintenon and is not tuberous is not correct.; sent15 -> int4: the deer is not a kind of a coalbin.; int3 & int4 -> int5: the fact that the deer dreams Maintenon but it is not tuberous is wrong.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the deer is tuberous.; sent9 -> int8: if the deer commiserates then it is a rededication.; int8 & sent10 -> int9: the deer is a kind of a rededication.; int7 & int9 -> int10: the deer is tuberous and it is a kind of a rededication.; int10 & sent7 -> hypothesis; __PROVED__