the chainsaw is a nimbus if the spring is not non-ergotic.
sent1: the podetium is a kind of non-archdiocesan thing that does traffic severalty if the spring does not traffic severalty. sent2: the climb is not ergotic. sent3: if the podetium is archdiocesan and traffics severalty the chainsaw is a nimbus. sent4: the podetium is not archdiocesan if the spring does not traffic severalty. sent5: the climb does not traffic severalty and is a space if the spring does not space. sent6: there exists nothing that is not a kind of a sandpiper and does not space. sent7: there is nothing that is not a sandpiper but a space. sent8: if the spring is both not non-ergotic and archdiocesan then it does not traffic severalty. sent9: the fact that the spring does not traffic severalty if the spring does traffic ground-shaker and is ergotic hold. sent10: the fact that the spring is a kind of a space and does not determine mattress is incorrect. sent11: that the climb is not a sandpiper but it is a space is not right. sent12: if the podetium is not a sandpiper but it is a nimbus then that the chainsaw does traffic severalty hold. sent13: if that the climb is not a kind of a sandpiper and does not space is false the fact that the spring traffics ground-shaker hold. sent14: the podetium is ergotic if the spring is archdiocesan. sent15: the podetium is not archdiocesan. sent16: the chainsaw is archdiocesan. sent17: if that the climb is non-archdiocesan thing that is not a nimbus is incorrect then the podetium is a sandpiper. sent18: the spring does traffic ground-shaker if the climb is a space. sent19: if the forty-niner is archdiocesan it is both not a day and not ergotic. sent20: the chainsaw is a nimbus if the podetium is a kind of non-archdiocesan thing that traffics severalty. sent21: the podetium is not a space.
sent6 -> int1: the fact that the climb is not a sandpiper and it does not space is not correct.; int1 & sent13 -> int2: the spring does traffic ground-shaker.; void -> assump1: Let's assume that the spring is ergotic.; int2 & assump1 -> int3: the spring does traffic ground-shaker and is ergotic.; int3 & sent9 -> int4: the spring does not traffic severalty.; int4 & sent1 -> int5: the podetium is not archdiocesan and traffics severalty.; int5 & sent20 -> int6: the chainsaw is a nimbus.; [assump1] & int6 -> hypothesis;
the forty-niner is not a day but it is a kind of a nimbus.
$hypothesis$ = the chainsaw is a nimbus if the spring is not non-ergotic. ; $context$ = sent1: the podetium is a kind of non-archdiocesan thing that does traffic severalty if the spring does not traffic severalty. sent2: the climb is not ergotic. sent3: if the podetium is archdiocesan and traffics severalty the chainsaw is a nimbus. sent4: the podetium is not archdiocesan if the spring does not traffic severalty. sent5: the climb does not traffic severalty and is a space if the spring does not space. sent6: there exists nothing that is not a kind of a sandpiper and does not space. sent7: there is nothing that is not a sandpiper but a space. sent8: if the spring is both not non-ergotic and archdiocesan then it does not traffic severalty. sent9: the fact that the spring does not traffic severalty if the spring does traffic ground-shaker and is ergotic hold. sent10: the fact that the spring is a kind of a space and does not determine mattress is incorrect. sent11: that the climb is not a sandpiper but it is a space is not right. sent12: if the podetium is not a sandpiper but it is a nimbus then that the chainsaw does traffic severalty hold. sent13: if that the climb is not a kind of a sandpiper and does not space is false the fact that the spring traffics ground-shaker hold. sent14: the podetium is ergotic if the spring is archdiocesan. sent15: the podetium is not archdiocesan. sent16: the chainsaw is archdiocesan. sent17: if that the climb is non-archdiocesan thing that is not a nimbus is incorrect then the podetium is a sandpiper. sent18: the spring does traffic ground-shaker if the climb is a space. sent19: if the forty-niner is archdiocesan it is both not a day and not ergotic. sent20: the chainsaw is a nimbus if the podetium is a kind of non-archdiocesan thing that traffics severalty. sent21: the podetium is not a space. ; $proof$ = 
sent6 -> int1: the fact that the climb is not a sandpiper and it does not space is not correct.; int1 & sent13 -> int2: the spring does traffic ground-shaker.; void -> assump1: Let's assume that the spring is ergotic.; int2 & assump1 -> int3: the spring does traffic ground-shaker and is ergotic.; int3 & sent9 -> int4: the spring does not traffic severalty.; int4 & sent1 -> int5: the podetium is not archdiocesan and traffics severalty.; int5 & sent20 -> int6: the chainsaw is a nimbus.; [assump1] & int6 -> hypothesis; __PROVED__