if the supernatural dances grasshopper then the serjeant-at-law is chromatographic.
sent1: the apishamore does dance grasshopper if the supernatural is bibliopolic. sent2: the fact that the supernatural is chromatographic hold. sent3: the fact that the serjeant-at-law is wet is right. sent4: the serjeant-at-law is bibliopolic if the apishamore is chromatographic. sent5: that the serjeant-at-law is chromatographic is not wrong if the apishamore is bibliopolic. sent6: the shill is chromatographic. sent7: the buckskin is chromatographic. sent8: the grasshopper is chromatographic if the fact that the serjeant-at-law is a Dacrydium is right. sent9: if the grasshopper is chromatographic the serjeant-at-law is a Dacrydium. sent10: if the serjeant-at-law is bibliopolic the apishamore is chromatographic. sent11: the serjeant-at-law is bibliopolic. sent12: if the grasshopper is bibliopolic then the fact that the apishamore is a Dacrydium is not wrong. sent13: if that the supernatural dances grasshopper is not incorrect the grasshopper is a Dacrydium. sent14: that the apishamore is chromatographic is not false. sent15: the grasshopper dances grasshopper if the supernatural is a kind of a Dacrydium. sent16: the serjeant-at-law dances grasshopper if the supernatural is chromatographic.
void -> assump1: Let's assume that the supernatural does dance grasshopper.; sent13 & assump1 -> int1: the grasshopper is a Dacrydium.;
$hypothesis$ = if the supernatural dances grasshopper then the serjeant-at-law is chromatographic. ; $context$ = sent1: the apishamore does dance grasshopper if the supernatural is bibliopolic. sent2: the fact that the supernatural is chromatographic hold. sent3: the fact that the serjeant-at-law is wet is right. sent4: the serjeant-at-law is bibliopolic if the apishamore is chromatographic. sent5: that the serjeant-at-law is chromatographic is not wrong if the apishamore is bibliopolic. sent6: the shill is chromatographic. sent7: the buckskin is chromatographic. sent8: the grasshopper is chromatographic if the fact that the serjeant-at-law is a Dacrydium is right. sent9: if the grasshopper is chromatographic the serjeant-at-law is a Dacrydium. sent10: if the serjeant-at-law is bibliopolic the apishamore is chromatographic. sent11: the serjeant-at-law is bibliopolic. sent12: if the grasshopper is bibliopolic then the fact that the apishamore is a Dacrydium is not wrong. sent13: if that the supernatural dances grasshopper is not incorrect the grasshopper is a Dacrydium. sent14: that the apishamore is chromatographic is not false. sent15: the grasshopper dances grasshopper if the supernatural is a kind of a Dacrydium. sent16: the serjeant-at-law dances grasshopper if the supernatural is chromatographic. ; $proof$ = 
void -> assump1: Let's assume that the supernatural does dance grasshopper.; sent13 & assump1 -> int1: the grasshopper is a Dacrydium.; __UNKNOWN__