the fact that the nonpartisan is a knee is not wrong.
sent1: if something is not a knee then the fact that it is upland and it is not prudent is not correct. sent2: the fact that the nonpartisan is both upland and prudent is wrong. sent3: the nonpartisan is a simple. sent4: if the fact that something is a knee that does not clap nursery is wrong it is not a knee. sent5: something claps C-section if the fact that it is upland and it is not prudent does not hold. sent6: the nonpartisan does not barricade Oleandra if there exists something such that it does not disguise Tomistoma and does barricade quintal. sent7: if something is not a knee then the fact that it is upland and it is prudent does not hold. sent8: a prudent thing claps C-section. sent9: something does not disguise Tomistoma but it barricades quintal. sent10: something does not disguise Tomistoma. sent11: the Turner claps C-section if the stockpot does claps C-section. sent12: something does clap nursery if it does clap C-section. sent13: if the fact that the nonpartisan is not a knee hold that it is upland and it is prudent is not correct. sent14: something does not clap Melanoplus and does julienne bigamy. sent15: that the nonpartisan is a knee and does not clap nursery is incorrect if the Turner claps C-section. sent16: there is something such that it barricades quintal. sent17: there exists something such that that it disguises Tomistoma and does barricade quintal hold. sent18: something does not disguise follow-through but it is a Priapus.
sent1 -> int1: if the nonpartisan is not a knee then that it is upland and it is not prudent is not true.; void -> assump1: Let's assume that the nonpartisan is not a knee.; int1 & assump1 -> int2: the fact that the nonpartisan is both upland and not prudent is false.; sent5 -> int3: if that the nonpartisan is upland thing that is imprudent is not correct it does clap C-section.; int2 & int3 -> int4: the nonpartisan claps C-section.; sent12 -> int5: the nonpartisan claps nursery if the fact that it claps C-section is not wrong.; int4 & int5 -> int6: the nonpartisan does clap nursery.; sent9 & sent6 -> int7: the nonpartisan does not barricade Oleandra.;
the fact that the nonpartisan is not a knee is correct.
sent4 -> int8: if that that the nonpartisan is a kind of a knee but it does not clap nursery is true does not hold then it is not a knee.;
$hypothesis$ = the fact that the nonpartisan is a knee is not wrong. ; $context$ = sent1: if something is not a knee then the fact that it is upland and it is not prudent is not correct. sent2: the fact that the nonpartisan is both upland and prudent is wrong. sent3: the nonpartisan is a simple. sent4: if the fact that something is a knee that does not clap nursery is wrong it is not a knee. sent5: something claps C-section if the fact that it is upland and it is not prudent does not hold. sent6: the nonpartisan does not barricade Oleandra if there exists something such that it does not disguise Tomistoma and does barricade quintal. sent7: if something is not a knee then the fact that it is upland and it is prudent does not hold. sent8: a prudent thing claps C-section. sent9: something does not disguise Tomistoma but it barricades quintal. sent10: something does not disguise Tomistoma. sent11: the Turner claps C-section if the stockpot does claps C-section. sent12: something does clap nursery if it does clap C-section. sent13: if the fact that the nonpartisan is not a knee hold that it is upland and it is prudent is not correct. sent14: something does not clap Melanoplus and does julienne bigamy. sent15: that the nonpartisan is a knee and does not clap nursery is incorrect if the Turner claps C-section. sent16: there is something such that it barricades quintal. sent17: there exists something such that that it disguises Tomistoma and does barricade quintal hold. sent18: something does not disguise follow-through but it is a Priapus. ; $proof$ = 
sent1 -> int1: if the nonpartisan is not a knee then that it is upland and it is not prudent is not true.; void -> assump1: Let's assume that the nonpartisan is not a knee.; int1 & assump1 -> int2: the fact that the nonpartisan is both upland and not prudent is false.; sent5 -> int3: if that the nonpartisan is upland thing that is imprudent is not correct it does clap C-section.; int2 & int3 -> int4: the nonpartisan claps C-section.; sent12 -> int5: the nonpartisan claps nursery if the fact that it claps C-section is not wrong.; int4 & int5 -> int6: the nonpartisan does clap nursery.; sent9 & sent6 -> int7: the nonpartisan does not barricade Oleandra.; __UNKNOWN__