there is something such that it is a kind of non-going thing that is not a punchboard.
sent1: that the unicycle is not excitable and it does not fence is not true. sent2: the unicycle does fence if that it is unexcitable thing that is not a kind of a fence does not hold. sent3: that the unicycle is not a transporter and it is not a Tobagonian is incorrect if it does fence. sent4: the chatterer is not a punchboard if the helleborine is a punchboard. sent5: the chatterer is not a punchboard. sent6: the fact that the unicycle is not a transporter but a Tobagonian does not hold. sent7: there is something such that it does not go. sent8: that the unicycle is not excitable but it does fence is incorrect. sent9: if the fact that the Geordie is not a transporter is not incorrect the unicycle is not a transporter and it is not a Tobagonian. sent10: the fact that the unicycle is a transporter but it is not Tobagonian does not hold if it does fence. sent11: that the unicycle is a kind of a transporter but it is not Tobagonian is incorrect. sent12: if the unicycle is a fencing the fact that it is not a kind of a transporter and it is a kind of a Tobagonian is not true. sent13: if the woodruff either is not a Parkinsonism or does rustle pinguecula or both the Geordie is not a transporter. sent14: if the helleborine is not a punchboard then the woodruff is not a Parkinsonism or it rustles pinguecula or both. sent15: something is both a going and not a punchboard. sent16: the Geordie is not a transporter if the woodruff does rustle pinguecula. sent17: the chatterer is not going and it is not a punchboard if the helleborine is a punchboard.
void -> assump1: Let's assume that the helleborine is not a punchboard.; sent14 & assump1 -> int1: the woodruff is not a kind of a Parkinsonism or it does rustle pinguecula or both.; int1 & sent13 -> int2: the fact that the Geordie is not a transporter hold.; int2 & sent9 -> int3: the unicycle is not a transporter and it is not a Tobagonian.; sent2 & sent1 -> int4: the unicycle does fence.; sent3 & int4 -> int5: the fact that the unicycle is not a transporter and it is not a kind of a Tobagonian is wrong.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the helleborine is a kind of a punchboard hold.; int7 & sent17 -> int8: the chatterer is not a going and it is not a punchboard.; int8 -> hypothesis;
$hypothesis$ = there is something such that it is a kind of non-going thing that is not a punchboard. ; $context$ = sent1: that the unicycle is not excitable and it does not fence is not true. sent2: the unicycle does fence if that it is unexcitable thing that is not a kind of a fence does not hold. sent3: that the unicycle is not a transporter and it is not a Tobagonian is incorrect if it does fence. sent4: the chatterer is not a punchboard if the helleborine is a punchboard. sent5: the chatterer is not a punchboard. sent6: the fact that the unicycle is not a transporter but a Tobagonian does not hold. sent7: there is something such that it does not go. sent8: that the unicycle is not excitable but it does fence is incorrect. sent9: if the fact that the Geordie is not a transporter is not incorrect the unicycle is not a transporter and it is not a Tobagonian. sent10: the fact that the unicycle is a transporter but it is not Tobagonian does not hold if it does fence. sent11: that the unicycle is a kind of a transporter but it is not Tobagonian is incorrect. sent12: if the unicycle is a fencing the fact that it is not a kind of a transporter and it is a kind of a Tobagonian is not true. sent13: if the woodruff either is not a Parkinsonism or does rustle pinguecula or both the Geordie is not a transporter. sent14: if the helleborine is not a punchboard then the woodruff is not a Parkinsonism or it rustles pinguecula or both. sent15: something is both a going and not a punchboard. sent16: the Geordie is not a transporter if the woodruff does rustle pinguecula. sent17: the chatterer is not going and it is not a punchboard if the helleborine is a punchboard. ; $proof$ = 
void -> assump1: Let's assume that the helleborine is not a punchboard.; sent14 & assump1 -> int1: the woodruff is not a kind of a Parkinsonism or it does rustle pinguecula or both.; int1 & sent13 -> int2: the fact that the Geordie is not a transporter hold.; int2 & sent9 -> int3: the unicycle is not a transporter and it is not a Tobagonian.; sent2 & sent1 -> int4: the unicycle does fence.; sent3 & int4 -> int5: the fact that the unicycle is not a transporter and it is not a kind of a Tobagonian is wrong.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the helleborine is a kind of a punchboard hold.; int7 & sent17 -> int8: the chatterer is not a going and it is not a punchboard.; int8 -> hypothesis; __PROVED__