the paperboard does spring.
sent1: that something is fewer thing that is not a booming does not hold if it is not campylotropous. sent2: the spurge does offer Ruscus and is prosthetic. sent3: that the ivy is a booming is not incorrect. sent4: there exists something such that it does not spring. sent5: the ivy does not offer Ruscus. sent6: if something does not offer Ruscus then that it is not prosthetic and it is campylotropous is incorrect. sent7: if there exists something such that the fact that it is a kind of fewer thing that is not campylotropous is incorrect then the trophotropism is fewer. sent8: if that there is something such that it offers Ruscus is not false then that the ivy is fewer but it is non-campylotropous is not right. sent9: the trophotropism does boom and it is fewer if there is something such that that it is not a narthex hold. sent10: the paperboard is not opaque. sent11: if the trophotropism is not a narthex the scorpion is non-opaque a spring. sent12: if the scorpion is a kind of non-opaque a spring that the paperboard does not spring is not false. sent13: if something is not a spring and is not opaque then the scorpion is not a narthex.
void -> assump1: Let's assume that the paperboard does not spring.; assump1 & sent10 -> int1: the paperboard does not spring and it is not opaque.; int1 -> int2: there exists something such that it does not spring and it is not opaque.; int2 & sent13 -> int3: the scorpion is not a narthex.; int3 -> int4: there is something such that it is not a kind of a narthex.; int4 & sent9 -> int5: the trophotropism is a booming that is fewer.; int5 -> int6: the trophotropism is fewer.; sent2 -> int7: the fact that the spurge does offer Ruscus is true.; int7 -> int8: there is something such that it offers Ruscus.; int8 & sent8 -> int9: that the ivy is fewer but it is non-campylotropous does not hold.; int9 -> int10: there is something such that the fact that it is fewer and not campylotropous is false.; int10 & sent7 -> int11: the trophotropism is not fewer.; int6 & int11 -> int12: this is contradiction.; [assump1] & int12 -> hypothesis;
the paperboard is not a kind of a spring.
sent1 -> int13: if the fact that the trophotropism is not campylotropous is right that it is fewer thing that does not boom is not right.; sent6 -> int14: that the ivy is not prosthetic and not non-campylotropous does not hold if it does not offer Ruscus.; int14 & sent5 -> int15: the fact that the ivy is not prosthetic but it is campylotropous does not hold.; int15 -> int16: there is something such that the fact that it is both not prosthetic and campylotropous is false.;
$hypothesis$ = the paperboard does spring. ; $context$ = sent1: that something is fewer thing that is not a booming does not hold if it is not campylotropous. sent2: the spurge does offer Ruscus and is prosthetic. sent3: that the ivy is a booming is not incorrect. sent4: there exists something such that it does not spring. sent5: the ivy does not offer Ruscus. sent6: if something does not offer Ruscus then that it is not prosthetic and it is campylotropous is incorrect. sent7: if there exists something such that the fact that it is a kind of fewer thing that is not campylotropous is incorrect then the trophotropism is fewer. sent8: if that there is something such that it offers Ruscus is not false then that the ivy is fewer but it is non-campylotropous is not right. sent9: the trophotropism does boom and it is fewer if there is something such that that it is not a narthex hold. sent10: the paperboard is not opaque. sent11: if the trophotropism is not a narthex the scorpion is non-opaque a spring. sent12: if the scorpion is a kind of non-opaque a spring that the paperboard does not spring is not false. sent13: if something is not a spring and is not opaque then the scorpion is not a narthex. ; $proof$ = 
void -> assump1: Let's assume that the paperboard does not spring.; assump1 & sent10 -> int1: the paperboard does not spring and it is not opaque.; int1 -> int2: there exists something such that it does not spring and it is not opaque.; int2 & sent13 -> int3: the scorpion is not a narthex.; int3 -> int4: there is something such that it is not a kind of a narthex.; int4 & sent9 -> int5: the trophotropism is a booming that is fewer.; int5 -> int6: the trophotropism is fewer.; sent2 -> int7: the fact that the spurge does offer Ruscus is true.; int7 -> int8: there is something such that it offers Ruscus.; int8 & sent8 -> int9: that the ivy is fewer but it is non-campylotropous does not hold.; int9 -> int10: there is something such that the fact that it is fewer and not campylotropous is false.; int10 & sent7 -> int11: the trophotropism is not fewer.; int6 & int11 -> int12: this is contradiction.; [assump1] & int12 -> hypothesis; __PROVED__