the dogleg does enjoy concierge and does not rhyme.
sent1: the perforation is Voltarian. sent2: if the dogleg is not a Iyar then the jadeite is not mensal but it spoons hurrah. sent3: if the perforation spoons hurrah the dogleg enjoys concierge. sent4: if the jadeite is not mensal but it does spoon hurrah then the perforation is not Voltarian. sent5: something is not prokaryotic if it is not Voltarian. sent6: if there exists something such that the fact that it does substitute and it is a greenmarket is false then the perforation is not a kind of a greenmarket. sent7: that the micturition does not snuffle grugru and does not enjoy hamming is not incorrect. sent8: the fact that the perforation is not a Iyar and it is not mensal does not hold if there is something such that the fact that it does not enjoy concierge is correct. sent9: if that the jadeite is both not a greenmarket and not a Iyar does not hold then the dogleg is not an oppressor. sent10: if the advisee is not an oppressor then that the jadeite is a Iyar and it is mensal is not right. sent11: that the dogleg enjoys concierge but it does not rhyme is not true if it is not a kind of an oppressor. sent12: if a Voltarian thing spoons hurrah it is not mensal. sent13: something is not a kind of an oppressor or it is a marine or both if that it is loopy is not incorrect. sent14: the perforation is mensal. sent15: something either is not non-Voltarian or does spoon hurrah or both if it is not a kind of a greenmarket. sent16: the fact that the jadeite is a kind of a greenmarket and is not Voltarian is wrong if it does not spoon hurrah. sent17: if there exists something such that it does not snuffle grugru then that the broodmare is both a substitute and a greenmarket is not right. sent18: the advisee is loopy and it is greenhouse. sent19: the dogleg enjoys concierge if the perforation is Voltarian. sent20: the fact that the jadeite is both not a greenmarket and not a Iyar is false if something does not spoon hurrah. sent21: something is not an oppressor if it is not a kind of an oppressor and/or it is a kind of a marine. sent22: if there exists something such that it is not a greenmarket the fact that the dogleg is not a kind of a Iyar but it enjoys concierge is not right.
void -> assump1: Let's assume that the perforation spoons hurrah.; sent1 & assump1 -> int1: the perforation is Voltarian and it spoons hurrah.; sent12 -> int2: if the perforation is Voltarian thing that spoons hurrah it is not mensal.; int1 & int2 -> int3: the fact that the perforation is not mensal is not wrong.; int3 & sent14 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the perforation does not spoon hurrah is right.; int5 -> int6: there exists something such that it does not spoon hurrah.; int6 & sent20 -> int7: the fact that the jadeite is not a greenmarket and is not a Iyar is incorrect.; int7 & sent9 -> int8: the dogleg is not an oppressor.; int8 & sent11 -> hypothesis;
the dogleg enjoys concierge and is not a rhyme.
sent15 -> int9: the perforation either is Voltarian or spoons hurrah or both if it is not a greenmarket.; sent7 -> int10: the micturition does not snuffle grugru.; int10 -> int11: there is something such that it does not snuffle grugru.; int11 & sent17 -> int12: that the broodmare is a substitute and it is a greenmarket does not hold.; int12 -> int13: there is something such that the fact that it does substitute and it is a greenmarket is false.; int13 & sent6 -> int14: the fact that the perforation is not a kind of a greenmarket is not false.; int9 & int14 -> int15: the perforation either is Voltarian or does spoon hurrah or both.; int15 & sent19 & sent3 -> int16: the dogleg enjoys concierge.; sent21 -> int17: the advisee is not an oppressor if that it is not an oppressor and/or is a marine is correct.; sent13 -> int18: if the advisee is loopy then either it is not an oppressor or it is a kind of a marine or both.; sent18 -> int19: that the advisee is loopy is not wrong.; int18 & int19 -> int20: the advisee is not an oppressor or marine or both.; int17 & int20 -> int21: the advisee is not an oppressor.; sent10 & int21 -> int22: that the jadeite is a Iyar and it is mensal is wrong.; int22 -> int23: there exists something such that the fact that it is a Iyar and is mensal is wrong.;
$hypothesis$ = the dogleg does enjoy concierge and does not rhyme. ; $context$ = sent1: the perforation is Voltarian. sent2: if the dogleg is not a Iyar then the jadeite is not mensal but it spoons hurrah. sent3: if the perforation spoons hurrah the dogleg enjoys concierge. sent4: if the jadeite is not mensal but it does spoon hurrah then the perforation is not Voltarian. sent5: something is not prokaryotic if it is not Voltarian. sent6: if there exists something such that the fact that it does substitute and it is a greenmarket is false then the perforation is not a kind of a greenmarket. sent7: that the micturition does not snuffle grugru and does not enjoy hamming is not incorrect. sent8: the fact that the perforation is not a Iyar and it is not mensal does not hold if there is something such that the fact that it does not enjoy concierge is correct. sent9: if that the jadeite is both not a greenmarket and not a Iyar does not hold then the dogleg is not an oppressor. sent10: if the advisee is not an oppressor then that the jadeite is a Iyar and it is mensal is not right. sent11: that the dogleg enjoys concierge but it does not rhyme is not true if it is not a kind of an oppressor. sent12: if a Voltarian thing spoons hurrah it is not mensal. sent13: something is not a kind of an oppressor or it is a marine or both if that it is loopy is not incorrect. sent14: the perforation is mensal. sent15: something either is not non-Voltarian or does spoon hurrah or both if it is not a kind of a greenmarket. sent16: the fact that the jadeite is a kind of a greenmarket and is not Voltarian is wrong if it does not spoon hurrah. sent17: if there exists something such that it does not snuffle grugru then that the broodmare is both a substitute and a greenmarket is not right. sent18: the advisee is loopy and it is greenhouse. sent19: the dogleg enjoys concierge if the perforation is Voltarian. sent20: the fact that the jadeite is both not a greenmarket and not a Iyar is false if something does not spoon hurrah. sent21: something is not an oppressor if it is not a kind of an oppressor and/or it is a kind of a marine. sent22: if there exists something such that it is not a greenmarket the fact that the dogleg is not a kind of a Iyar but it enjoys concierge is not right. ; $proof$ = 
void -> assump1: Let's assume that the perforation spoons hurrah.; sent1 & assump1 -> int1: the perforation is Voltarian and it spoons hurrah.; sent12 -> int2: if the perforation is Voltarian thing that spoons hurrah it is not mensal.; int1 & int2 -> int3: the fact that the perforation is not mensal is not wrong.; int3 & sent14 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the perforation does not spoon hurrah is right.; int5 -> int6: there exists something such that it does not spoon hurrah.; int6 & sent20 -> int7: the fact that the jadeite is not a greenmarket and is not a Iyar is incorrect.; int7 & sent9 -> int8: the dogleg is not an oppressor.; int8 & sent11 -> hypothesis; __DISPROVED__