the rule is not unworldly.
sent1: the courthouse is not dipolar. sent2: the courthouse does not tunnel orchiopexy if there is something such that that it does tunnel Limulidae and/or it tunnels surrebutter is incorrect. sent3: the nidus is not dipolar if the fact that the courthouse does tunnel surrebutter and does not tunnel Limulidae is incorrect. sent4: the binnacle is a taster if the courthouse is wide. sent5: the rule is a raggedness if the nidus is not dipolar. sent6: the nidus does not tunnel Limulidae. sent7: the nidus is not dipolar if the courthouse tunnels Limulidae. sent8: that something does tunnel surrebutter but it does not tunnel Limulidae does not hold if it is not wide. sent9: the binnacle is a taster. sent10: that the courthouse does tunnel orchiopexy but it does not tunnel surrebutter is false. sent11: The orchiopexy tunnels binnacle. sent12: the rule is a raggedness. sent13: the fact that the courthouse does tunnel surrebutter and it does tunnel Limulidae is incorrect. sent14: if the nidus does not tunnel surrebutter that the binnacle does tunnel orchiopexy and tunnels Limulidae is false. sent15: if the nidus is not dipolar the rule is a raggedness that is not unworldly. sent16: the courthouse is a kind of a taster. sent17: there is something such that it is both not worldly and not non-dipolar. sent18: the nidus does not tunnel orchiopexy. sent19: if the binnacle is not protozoological but a taster then it does not tunnel orchiopexy. sent20: the binnacle tunnels orchiopexy. sent21: if the courthouse is non-wide then the fact that it tunnels surrebutter and tunnels Limulidae does not hold. sent22: if something is not wide that it tunnels surrebutter and it does tunnel Limulidae is incorrect.
void -> assump1: Let's assume that the courthouse is wide.; sent8 -> int1: if the courthouse is non-wide the fact that it does tunnel surrebutter and does not tunnel Limulidae is not true.;
the rule is unworldly.
$hypothesis$ = the rule is not unworldly. ; $context$ = sent1: the courthouse is not dipolar. sent2: the courthouse does not tunnel orchiopexy if there is something such that that it does tunnel Limulidae and/or it tunnels surrebutter is incorrect. sent3: the nidus is not dipolar if the fact that the courthouse does tunnel surrebutter and does not tunnel Limulidae is incorrect. sent4: the binnacle is a taster if the courthouse is wide. sent5: the rule is a raggedness if the nidus is not dipolar. sent6: the nidus does not tunnel Limulidae. sent7: the nidus is not dipolar if the courthouse tunnels Limulidae. sent8: that something does tunnel surrebutter but it does not tunnel Limulidae does not hold if it is not wide. sent9: the binnacle is a taster. sent10: that the courthouse does tunnel orchiopexy but it does not tunnel surrebutter is false. sent11: The orchiopexy tunnels binnacle. sent12: the rule is a raggedness. sent13: the fact that the courthouse does tunnel surrebutter and it does tunnel Limulidae is incorrect. sent14: if the nidus does not tunnel surrebutter that the binnacle does tunnel orchiopexy and tunnels Limulidae is false. sent15: if the nidus is not dipolar the rule is a raggedness that is not unworldly. sent16: the courthouse is a kind of a taster. sent17: there is something such that it is both not worldly and not non-dipolar. sent18: the nidus does not tunnel orchiopexy. sent19: if the binnacle is not protozoological but a taster then it does not tunnel orchiopexy. sent20: the binnacle tunnels orchiopexy. sent21: if the courthouse is non-wide then the fact that it tunnels surrebutter and tunnels Limulidae does not hold. sent22: if something is not wide that it tunnels surrebutter and it does tunnel Limulidae is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the courthouse is wide.; sent8 -> int1: if the courthouse is non-wide the fact that it does tunnel surrebutter and does not tunnel Limulidae is not true.; __UNKNOWN__