the rampion trades.
sent1: if the spicebush is purposeless thing that marries then the rampion does not strand Lagothrix. sent2: the rampion is polydactyl if it marries. sent3: the spicebush is a twenty-twenty. sent4: the spicebush is not a seidel if it is not tolerant. sent5: if that the rampion is not a seidel but it does strand Lagothrix is wrong then it does not strand Lagothrix. sent6: if that something does not subtilize protege but it is purposeless is not correct then it does trade. sent7: if the rampion is polydactyl and it is nonsignificant the spicebush does not strand Lagothrix. sent8: if that something is a kind of a trading that does not marry is not true then it is not a trading. sent9: if the spicebush is a twenty-twenty then the fact that it is not a seidel and does not strand Lagothrix is not right. sent10: if something does not marry then that it does not subtilize protege and is purposeless is not true. sent11: if the fact that the spicebush is tolerant and is not a forebrain is not correct it is not a kind of a seidel. sent12: the fact that something is polydactyl but it is significant is not right if it does not strand Lagothrix. sent13: the sceneshifter does school. sent14: if the sceneshifter schools the rampion is nonsignificant. sent15: that the spicebush is tolerant and is not a forebrain is false.
void -> assump1: Let's assume that the rampion marries.; sent2 & assump1 -> int1: the rampion is polydactyl.; sent14 & sent13 -> int2: the rampion is nonsignificant.; int1 & int2 -> int3: the rampion is polydactyl and it is nonsignificant.; int3 & sent7 -> int4: the spicebush does not strand Lagothrix.; sent11 & sent15 -> int5: the spicebush is not a seidel.; int4 & int5 -> int6: the spicebush is not a seidel and does not strand Lagothrix.; sent9 & sent3 -> int7: that that the spicebush is not a seidel and it does not strand Lagothrix is false hold.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: that the rampion does not marry is not incorrect.; sent10 -> int10: if the rampion does not marry that it does not subtilize protege and it is not non-purposeless does not hold.; int9 & int10 -> int11: that the rampion does not subtilize protege and is purposeless is not right.; sent6 -> int12: if that the rampion does not subtilize protege and is purposeless is incorrect it is a kind of a trading.; int11 & int12 -> hypothesis;
the rampion does not trade.
sent8 -> int13: if the fact that the rampion is a kind of a trading but it does not marry is not correct then it is not a kind of a trading.;
$hypothesis$ = the rampion trades. ; $context$ = sent1: if the spicebush is purposeless thing that marries then the rampion does not strand Lagothrix. sent2: the rampion is polydactyl if it marries. sent3: the spicebush is a twenty-twenty. sent4: the spicebush is not a seidel if it is not tolerant. sent5: if that the rampion is not a seidel but it does strand Lagothrix is wrong then it does not strand Lagothrix. sent6: if that something does not subtilize protege but it is purposeless is not correct then it does trade. sent7: if the rampion is polydactyl and it is nonsignificant the spicebush does not strand Lagothrix. sent8: if that something is a kind of a trading that does not marry is not true then it is not a trading. sent9: if the spicebush is a twenty-twenty then the fact that it is not a seidel and does not strand Lagothrix is not right. sent10: if something does not marry then that it does not subtilize protege and is purposeless is not true. sent11: if the fact that the spicebush is tolerant and is not a forebrain is not correct it is not a kind of a seidel. sent12: the fact that something is polydactyl but it is significant is not right if it does not strand Lagothrix. sent13: the sceneshifter does school. sent14: if the sceneshifter schools the rampion is nonsignificant. sent15: that the spicebush is tolerant and is not a forebrain is false. ; $proof$ = 
void -> assump1: Let's assume that the rampion marries.; sent2 & assump1 -> int1: the rampion is polydactyl.; sent14 & sent13 -> int2: the rampion is nonsignificant.; int1 & int2 -> int3: the rampion is polydactyl and it is nonsignificant.; int3 & sent7 -> int4: the spicebush does not strand Lagothrix.; sent11 & sent15 -> int5: the spicebush is not a seidel.; int4 & int5 -> int6: the spicebush is not a seidel and does not strand Lagothrix.; sent9 & sent3 -> int7: that that the spicebush is not a seidel and it does not strand Lagothrix is false hold.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: that the rampion does not marry is not incorrect.; sent10 -> int10: if the rampion does not marry that it does not subtilize protege and it is not non-purposeless does not hold.; int9 & int10 -> int11: that the rampion does not subtilize protege and is purposeless is not right.; sent6 -> int12: if that the rampion does not subtilize protege and is purposeless is incorrect it is a kind of a trading.; int11 & int12 -> hypothesis; __PROVED__