if the prick is not verbal then the stator partners and it finishes stator.
sent1: the fact that something is both non-Nauruan and not knee-length does not hold if it is a kind of a current. sent2: the prick is a leu. sent3: something is a current if the fact that it is a kind of a leu and is not a kind of a current is not right. sent4: the stator is non-insular. sent5: something that books does finish stator. sent6: if the fact that that the stator is not a Nauruan and not knee-length does not hold hold it is a book. sent7: the stator is current. sent8: that the prick does not finish prick but it does book is incorrect. sent9: the fact that the prick is a kind of a Roman is not incorrect if it is verbal. sent10: if there exists something such that that it does ax and it finishes prick is false the tinkerer is a leu. sent11: the fact that the fact that the stator is not the ax but verbal does not hold if the stator is knee-length is not wrong. sent12: the stator is vestmental and it is not non-locker-room. sent13: the stator does partner if the tinkerer is a leu. sent14: if the prick is verbal then that it does ax and finishes prick is incorrect. sent15: the tinkerer is an ax. sent16: if the prick is not verbal then the fact that it is an ax and it finishes prick is false.
void -> assump1: Let's assume that the prick is not verbal.; sent16 & assump1 -> int1: that the prick is an ax and it finishes prick does not hold.; int1 -> int2: there exists something such that that it is an ax and finishes prick is wrong.; int2 & sent10 -> int3: the tinkerer is a leu.; int3 & sent13 -> int4: the stator partners.; sent5 -> int5: the stator finishes stator if it books.; sent1 -> int6: if the stator is a current the fact that it is non-Nauruan and is not knee-length does not hold.; int6 & sent7 -> int7: that that the stator is a kind of non-Nauruan thing that is not knee-length is not correct hold.; sent6 & int7 -> int8: the stator is a book.; int5 & int8 -> int9: the stator finishes stator.; int4 & int9 -> int10: the stator is a kind of a partner that finishes stator.; [assump1] & int10 -> hypothesis;
the prick is current.
sent3 -> int11: if the fact that the prick is both a leu and not a current is not right then that it is current hold.;
$hypothesis$ = if the prick is not verbal then the stator partners and it finishes stator. ; $context$ = sent1: the fact that something is both non-Nauruan and not knee-length does not hold if it is a kind of a current. sent2: the prick is a leu. sent3: something is a current if the fact that it is a kind of a leu and is not a kind of a current is not right. sent4: the stator is non-insular. sent5: something that books does finish stator. sent6: if the fact that that the stator is not a Nauruan and not knee-length does not hold hold it is a book. sent7: the stator is current. sent8: that the prick does not finish prick but it does book is incorrect. sent9: the fact that the prick is a kind of a Roman is not incorrect if it is verbal. sent10: if there exists something such that that it does ax and it finishes prick is false the tinkerer is a leu. sent11: the fact that the fact that the stator is not the ax but verbal does not hold if the stator is knee-length is not wrong. sent12: the stator is vestmental and it is not non-locker-room. sent13: the stator does partner if the tinkerer is a leu. sent14: if the prick is verbal then that it does ax and finishes prick is incorrect. sent15: the tinkerer is an ax. sent16: if the prick is not verbal then the fact that it is an ax and it finishes prick is false. ; $proof$ = 
void -> assump1: Let's assume that the prick is not verbal.; sent16 & assump1 -> int1: that the prick is an ax and it finishes prick does not hold.; int1 -> int2: there exists something such that that it is an ax and finishes prick is wrong.; int2 & sent10 -> int3: the tinkerer is a leu.; int3 & sent13 -> int4: the stator partners.; sent5 -> int5: the stator finishes stator if it books.; sent1 -> int6: if the stator is a current the fact that it is non-Nauruan and is not knee-length does not hold.; int6 & sent7 -> int7: that that the stator is a kind of non-Nauruan thing that is not knee-length is not correct hold.; sent6 & int7 -> int8: the stator is a book.; int5 & int8 -> int9: the stator finishes stator.; int4 & int9 -> int10: the stator is a kind of a partner that finishes stator.; [assump1] & int10 -> hypothesis; __PROVED__