the fact that there is something such that that either it is popliteal or it is non-Argentine or both does not hold is not right.
sent1: there exists something such that it is a kind of a Charleston. sent2: there exists something such that the fact that it is popliteal or Argentine or both is not correct. sent3: the fact that if the breadfruit is popliteal and/or it is not Argentine the tetracaine is not bipolar is true. sent4: if that something is not a yips and is a Charleston is incorrect it is not bipolar. sent5: if that something is not bipolar but it does maintain margin is not right it is a Sequoiadendron. sent6: the tossup is not a kind of a Sequoiadendron and is a yips if it Charlestons. sent7: the fact that the tossup is not bipolar but it maintains margin is not right if the fact that the tetracaine is bipolar is wrong. sent8: the tossup is a yips if it is a Charleston. sent9: the fact that the tossup is not a balletomane or it is not a bow or both is not true. sent10: the tetracaine is not a bow if the fact that the fact that the tossup is not a kind of a balletomane or is not a bow or both is not wrong is wrong. sent11: the fact that the tossup is a Charleston is right.
void -> assump1: Let's assume that the breadfruit is popliteal or it is not Argentine or both.; sent3 & assump1 -> int1: the tetracaine is non-bipolar.; int1 & sent7 -> int2: the fact that the tossup is not bipolar and does maintain margin is not true.; sent5 -> int3: the tossup is a Sequoiadendron if the fact that it is not bipolar and it does maintain margin is false.; int2 & int3 -> int4: the tossup is a Sequoiadendron.; sent6 & sent11 -> int5: the tossup is not a Sequoiadendron and is a yips.; int5 -> int6: the tossup is not a Sequoiadendron.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the fact that the breadfruit is popliteal and/or not Argentine is not correct.; int8 -> hypothesis;
the breadfruit does maintain margin.
sent4 -> int9: the breadfruit is not bipolar if that it is not a kind of a yips and Charlestons does not hold.; sent10 & sent9 -> int10: the tetracaine is not a bow.; int10 -> int11: there is something such that that it does not bow is correct.;
$hypothesis$ = the fact that there is something such that that either it is popliteal or it is non-Argentine or both does not hold is not right. ; $context$ = sent1: there exists something such that it is a kind of a Charleston. sent2: there exists something such that the fact that it is popliteal or Argentine or both is not correct. sent3: the fact that if the breadfruit is popliteal and/or it is not Argentine the tetracaine is not bipolar is true. sent4: if that something is not a yips and is a Charleston is incorrect it is not bipolar. sent5: if that something is not bipolar but it does maintain margin is not right it is a Sequoiadendron. sent6: the tossup is not a kind of a Sequoiadendron and is a yips if it Charlestons. sent7: the fact that the tossup is not bipolar but it maintains margin is not right if the fact that the tetracaine is bipolar is wrong. sent8: the tossup is a yips if it is a Charleston. sent9: the fact that the tossup is not a balletomane or it is not a bow or both is not true. sent10: the tetracaine is not a bow if the fact that the fact that the tossup is not a kind of a balletomane or is not a bow or both is not wrong is wrong. sent11: the fact that the tossup is a Charleston is right. ; $proof$ = 
void -> assump1: Let's assume that the breadfruit is popliteal or it is not Argentine or both.; sent3 & assump1 -> int1: the tetracaine is non-bipolar.; int1 & sent7 -> int2: the fact that the tossup is not bipolar and does maintain margin is not true.; sent5 -> int3: the tossup is a Sequoiadendron if the fact that it is not bipolar and it does maintain margin is false.; int2 & int3 -> int4: the tossup is a Sequoiadendron.; sent6 & sent11 -> int5: the tossup is not a Sequoiadendron and is a yips.; int5 -> int6: the tossup is not a Sequoiadendron.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the fact that the breadfruit is popliteal and/or not Argentine is not correct.; int8 -> hypothesis; __DISPROVED__