the rip is onymous.
sent1: the demonstrator is not an inconstancy if it is awkward and it is unquiet. sent2: that the rip is a backdrop and it is unpreventable is incorrect if there exists something such that it defibrillates Gallicism. sent3: the demonstrator is awkward and unquiet. sent4: there exists something such that it is a Iresine. sent5: if that something is unsuccessful but it is not a positive is not right then it is a kind of a positive. sent6: an unsuccessful thing is a kind of an inconstancy. sent7: the ceramic defibrillates Gallicism if the doubler is not autotelic and it is not directional. sent8: if something does not defibrillate cohesion then it is onymous. sent9: the fact that the hornbeam does defibrillate cohesion and is awkward is not incorrect if that the universal is not unquiet is correct. sent10: there exists something such that it is a cordite. sent11: if the demonstrator does not unmake sackbut or it is a kind of a FARC or both it does unmake Stoppard. sent12: something is a kind of an inconstancy and is not discourteous if it does defibrillate cohesion. sent13: the resorcinol is not onymous. sent14: something is discourteous if it is not a backdrop and/or it is unpreventable. sent15: the rip is not awkward. sent16: if the demonstrator does not eliminate caterpillar then it is unsuccessful. sent17: the doubler is both not autotelic and not directional. sent18: that the universal is a kind of non-extraordinary thing that is a transparency does not hold. sent19: if that the universal is both not extraordinary and a transparency is incorrect then it is not unquiet. sent20: the fact that the demonstrator is not a backdrop or it is unpreventable or both hold. sent21: the fact that something is both unsuccessful and not positive is incorrect if it is a kind of an inconstancy. sent22: something that eliminates caterpillar is a discography. sent23: the hornbeam eliminates caterpillar and is onymous if the demonstrator is not a backdrop. sent24: the rip is unquiet. sent25: if something does eliminate caterpillar and it is discourteous then the fact that the rip does not defibrillate cohesion is not false. sent26: the demonstrator is awkward if the fact that it is not onymous is not incorrect.
void -> assump1: Let's assume that the demonstrator does not eliminate caterpillar.; sent16 & assump1 -> int1: the demonstrator is unsuccessful.; sent6 -> int2: the demonstrator is a kind of an inconstancy if that it is unsuccessful is true.; int1 & int2 -> int3: the demonstrator is a kind of an inconstancy.; sent1 & sent3 -> int4: the demonstrator is not an inconstancy.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the demonstrator does eliminate caterpillar.; sent14 -> int7: if the demonstrator is not a backdrop or it is unpreventable or both it is discourteous.; int7 & sent20 -> int8: the demonstrator is discourteous.; int6 & int8 -> int9: the demonstrator eliminates caterpillar and it is discourteous.; int9 -> int10: there exists something such that it does eliminate caterpillar and it is discourteous.; int10 & sent25 -> int11: the rip does not defibrillate cohesion.; sent8 -> int12: the rip is onymous if it does not defibrillate cohesion.; int11 & int12 -> hypothesis;
the hornbeam is positive and it is a discography.
sent5 -> int13: the fact that the hornbeam is positive if the fact that the hornbeam is both unsuccessful and not a positive is incorrect hold.; sent21 -> int14: if the hornbeam is an inconstancy the fact that it is unsuccessful and is not a positive does not hold.; sent12 -> int15: if the hornbeam does defibrillate cohesion then it is an inconstancy and it is not discourteous.; sent19 & sent18 -> int16: the universal is not unquiet.; sent9 & int16 -> int17: the hornbeam does defibrillate cohesion and it is awkward.; int17 -> int18: the hornbeam defibrillates cohesion.; int15 & int18 -> int19: the hornbeam is a kind of an inconstancy but it is courteous.; int19 -> int20: the hornbeam is an inconstancy.; int14 & int20 -> int21: that the hornbeam is both unsuccessful and non-positive is wrong.; int13 & int21 -> int22: the hornbeam is a kind of a positive.; sent22 -> int23: if the hornbeam does eliminate caterpillar it is a discography.; sent7 & sent17 -> int24: the ceramic does defibrillate Gallicism.; int24 -> int25: there exists something such that it does defibrillate Gallicism.; int25 & sent2 -> int26: the fact that the rip is a backdrop and it is not preventable is not right.; int26 -> int27: there is something such that the fact that it is a backdrop and it is unpreventable is not correct.;
$hypothesis$ = the rip is onymous. ; $context$ = sent1: the demonstrator is not an inconstancy if it is awkward and it is unquiet. sent2: that the rip is a backdrop and it is unpreventable is incorrect if there exists something such that it defibrillates Gallicism. sent3: the demonstrator is awkward and unquiet. sent4: there exists something such that it is a Iresine. sent5: if that something is unsuccessful but it is not a positive is not right then it is a kind of a positive. sent6: an unsuccessful thing is a kind of an inconstancy. sent7: the ceramic defibrillates Gallicism if the doubler is not autotelic and it is not directional. sent8: if something does not defibrillate cohesion then it is onymous. sent9: the fact that the hornbeam does defibrillate cohesion and is awkward is not incorrect if that the universal is not unquiet is correct. sent10: there exists something such that it is a cordite. sent11: if the demonstrator does not unmake sackbut or it is a kind of a FARC or both it does unmake Stoppard. sent12: something is a kind of an inconstancy and is not discourteous if it does defibrillate cohesion. sent13: the resorcinol is not onymous. sent14: something is discourteous if it is not a backdrop and/or it is unpreventable. sent15: the rip is not awkward. sent16: if the demonstrator does not eliminate caterpillar then it is unsuccessful. sent17: the doubler is both not autotelic and not directional. sent18: that the universal is a kind of non-extraordinary thing that is a transparency does not hold. sent19: if that the universal is both not extraordinary and a transparency is incorrect then it is not unquiet. sent20: the fact that the demonstrator is not a backdrop or it is unpreventable or both hold. sent21: the fact that something is both unsuccessful and not positive is incorrect if it is a kind of an inconstancy. sent22: something that eliminates caterpillar is a discography. sent23: the hornbeam eliminates caterpillar and is onymous if the demonstrator is not a backdrop. sent24: the rip is unquiet. sent25: if something does eliminate caterpillar and it is discourteous then the fact that the rip does not defibrillate cohesion is not false. sent26: the demonstrator is awkward if the fact that it is not onymous is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that the demonstrator does not eliminate caterpillar.; sent16 & assump1 -> int1: the demonstrator is unsuccessful.; sent6 -> int2: the demonstrator is a kind of an inconstancy if that it is unsuccessful is true.; int1 & int2 -> int3: the demonstrator is a kind of an inconstancy.; sent1 & sent3 -> int4: the demonstrator is not an inconstancy.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the demonstrator does eliminate caterpillar.; sent14 -> int7: if the demonstrator is not a backdrop or it is unpreventable or both it is discourteous.; int7 & sent20 -> int8: the demonstrator is discourteous.; int6 & int8 -> int9: the demonstrator eliminates caterpillar and it is discourteous.; int9 -> int10: there exists something such that it does eliminate caterpillar and it is discourteous.; int10 & sent25 -> int11: the rip does not defibrillate cohesion.; sent8 -> int12: the rip is onymous if it does not defibrillate cohesion.; int11 & int12 -> hypothesis; __PROVED__