the longicorn is metrological.
sent1: the man keratinizes Shivaist if the Shakers is a kind of a regular and it is cantonal. sent2: the Shakers is not a regular but cantonal if there is something such that it is a canister. sent3: if the man is not ineligible then it does not keratinize Shivaist and it is not cinematic. sent4: the fact that something does not keratinize Cnemidophorus if it is apetalous is not wrong. sent5: if something is apetalous the verticillium is not cinematic but it is a regular. sent6: the earphone is aoristic and is not a kind of an ash. sent7: if the earphone is not a kind of a regular then it is not an ash and it does not keratinize Shivaist. sent8: something is not peaty. sent9: the earphone does not keratinize Shivaist. sent10: that something is a kind of a cheeseburger and it is metrological is not correct if it does not keratinize Cnemidophorus. sent11: the verticillium is apetalous and/or does keratinize Shivaist. sent12: if that the crenel is a cheeseburger or keratinizes Cnemidophorus or both is true the verticillium is not apetalous. sent13: something is aoristic and it does ash. sent14: if the crenel is not a cheeseburger the longicorn is metrological. sent15: the verticillium is a kind of an ash if it is not apetalous. sent16: the man is not cinematic. sent17: if a aoristic thing is not a kind of an ash then the man is not ineligible. sent18: the earphone is not an ash. sent19: if the Shakers is not a kind of a regular but it is cantonal the man does keratinize Shivaist. sent20: the Shakers is not a kind of a regular.
void -> assump1: Let's assume that the crenel is a cheeseburger.; assump1 -> int1: the crenel is a cheeseburger and/or it keratinizes Cnemidophorus.; int1 & sent12 -> int2: the verticillium is not apetalous.; sent6 -> int3: something is aoristic and is not an ash.; int3 & sent17 -> int4: the man is not ineligible.; sent3 & int4 -> int5: the man does not keratinize Shivaist and is not cinematic.; int5 -> int6: the man does not keratinize Shivaist.;
the longicorn is not metrological.
sent4 -> int7: the verticillium does not keratinize Cnemidophorus if the fact that it is not non-apetalous is right.; sent10 -> int8: if the verticillium does not keratinize Cnemidophorus then the fact that it is a cheeseburger and metrological is false.;
$hypothesis$ = the longicorn is metrological. ; $context$ = sent1: the man keratinizes Shivaist if the Shakers is a kind of a regular and it is cantonal. sent2: the Shakers is not a regular but cantonal if there is something such that it is a canister. sent3: if the man is not ineligible then it does not keratinize Shivaist and it is not cinematic. sent4: the fact that something does not keratinize Cnemidophorus if it is apetalous is not wrong. sent5: if something is apetalous the verticillium is not cinematic but it is a regular. sent6: the earphone is aoristic and is not a kind of an ash. sent7: if the earphone is not a kind of a regular then it is not an ash and it does not keratinize Shivaist. sent8: something is not peaty. sent9: the earphone does not keratinize Shivaist. sent10: that something is a kind of a cheeseburger and it is metrological is not correct if it does not keratinize Cnemidophorus. sent11: the verticillium is apetalous and/or does keratinize Shivaist. sent12: if that the crenel is a cheeseburger or keratinizes Cnemidophorus or both is true the verticillium is not apetalous. sent13: something is aoristic and it does ash. sent14: if the crenel is not a cheeseburger the longicorn is metrological. sent15: the verticillium is a kind of an ash if it is not apetalous. sent16: the man is not cinematic. sent17: if a aoristic thing is not a kind of an ash then the man is not ineligible. sent18: the earphone is not an ash. sent19: if the Shakers is not a kind of a regular but it is cantonal the man does keratinize Shivaist. sent20: the Shakers is not a kind of a regular. ; $proof$ = 
void -> assump1: Let's assume that the crenel is a cheeseburger.; assump1 -> int1: the crenel is a cheeseburger and/or it keratinizes Cnemidophorus.; int1 & sent12 -> int2: the verticillium is not apetalous.; sent6 -> int3: something is aoristic and is not an ash.; int3 & sent17 -> int4: the man is not ineligible.; sent3 & int4 -> int5: the man does not keratinize Shivaist and is not cinematic.; int5 -> int6: the man does not keratinize Shivaist.; __UNKNOWN__