the Mohave is a thumbhole if the cenobite does not procrastinate.
sent1: the Mohave is not a Perdix. sent2: the cenobite is a quintessence. sent3: the jack-o'-lantern is a samarskite. sent4: if the Mohave does seek delay then the jack-o'-lantern is a kind of a thumbhole. sent5: the jack-o'-lantern is unsavory. sent6: the Mohave is unsavory and it seeks delay if there exists something such that it is not a kind of a thumbhole. sent7: if the jack-o'-lantern seeks delay the Mohave is a kind of a thumbhole. sent8: that the cenobite is not unsavory is not incorrect if it does not procrastinate. sent9: if the fact that the Mohave is unsavory hold the cenobite is a thumbhole. sent10: if something does not seek delay the jack-o'-lantern is unsavory and it procrastinates. sent11: the cenobite does seek delay if the jack-o'-lantern does procrastinate. sent12: there exists something such that it is not a thumbhole. sent13: the cenobite is a samarskite if the jack-o'-lantern is not unsavory. sent14: something seeks Mohave. sent15: there exists something such that it procrastinates. sent16: the awl procrastinates. sent17: there exists something such that it seeks delay. sent18: if there exists something such that that it is not a kind of a samarskite is not incorrect then the cenobite is unsavory and it does seek delay. sent19: the jack-o'-lantern is a samarskite and it does seek delay if something is not unsavory. sent20: the fact that the cenobite does seek delay hold.
void -> assump1: Let's assume that the cenobite does not procrastinate.; sent8 & assump1 -> int1: the cenobite is not unsavory.; int1 -> int2: there is something such that it is not unsavory.; int2 & sent19 -> int3: the jack-o'-lantern is a samarskite and it seeks delay.; int3 -> int4: the jack-o'-lantern seeks delay.; int4 & sent7 -> int5: the Mohave is a kind of a thumbhole.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the Mohave is a thumbhole if the cenobite does not procrastinate. ; $context$ = sent1: the Mohave is not a Perdix. sent2: the cenobite is a quintessence. sent3: the jack-o'-lantern is a samarskite. sent4: if the Mohave does seek delay then the jack-o'-lantern is a kind of a thumbhole. sent5: the jack-o'-lantern is unsavory. sent6: the Mohave is unsavory and it seeks delay if there exists something such that it is not a kind of a thumbhole. sent7: if the jack-o'-lantern seeks delay the Mohave is a kind of a thumbhole. sent8: that the cenobite is not unsavory is not incorrect if it does not procrastinate. sent9: if the fact that the Mohave is unsavory hold the cenobite is a thumbhole. sent10: if something does not seek delay the jack-o'-lantern is unsavory and it procrastinates. sent11: the cenobite does seek delay if the jack-o'-lantern does procrastinate. sent12: there exists something such that it is not a thumbhole. sent13: the cenobite is a samarskite if the jack-o'-lantern is not unsavory. sent14: something seeks Mohave. sent15: there exists something such that it procrastinates. sent16: the awl procrastinates. sent17: there exists something such that it seeks delay. sent18: if there exists something such that that it is not a kind of a samarskite is not incorrect then the cenobite is unsavory and it does seek delay. sent19: the jack-o'-lantern is a samarskite and it does seek delay if something is not unsavory. sent20: the fact that the cenobite does seek delay hold. ; $proof$ = 
void -> assump1: Let's assume that the cenobite does not procrastinate.; sent8 & assump1 -> int1: the cenobite is not unsavory.; int1 -> int2: there is something such that it is not unsavory.; int2 & sent19 -> int3: the jack-o'-lantern is a samarskite and it seeks delay.; int3 -> int4: the jack-o'-lantern seeks delay.; int4 & sent7 -> int5: the Mohave is a kind of a thumbhole.; [assump1] & int5 -> hypothesis; __PROVED__