the fact that the glop is unfamiliar hold if the semaphore is not a doorstop.
sent1: there exists something such that the fact that it is not a kind of a fuse and it is not a doorstop is not true. sent2: there is something such that the fact that it is not a doorstop and is not a fuse is not correct. sent3: that the jig is a kind of a fuse that is not a fondler is incorrect. sent4: the glop is meaningless. sent5: the fact that the jig is not a fuse but it is a fondler is false. sent6: the trustbuster is not a doorstop. sent7: if the jig is not unfamiliar the glop is a fondler. sent8: that the jig is both not a fuse and not a fondler is not right if the semaphore is a doorstop. sent9: the jig is a kind of a doorstop if there is something such that that it is both not a fondler and not a fuse does not hold. sent10: there exists something such that that it is not a kind of a fuse and it is a fondler is incorrect. sent11: the jig is a muscleman. sent12: the glop is unfamiliar if the fact that the semaphore is a kind of a doorstop is not wrong. sent13: that the jig does not fuse and it is not a kind of a fondler is incorrect if the semaphore is not a doorstop. sent14: there exists something such that that it does fuse and it is not a fondler does not hold. sent15: if the semaphore is not a doorstop that the jig is not a fuse but it is a fondler is not true. sent16: that that the semaphore is both not a fondler and not a fuse is false hold if the jig is not a kind of a doorstop. sent17: that the jig is a fuse and is not a fondler is incorrect if that the semaphore is not a doorstop hold. sent18: there exists something such that that it is not a kind of a fondler and it is not unfamiliar does not hold. sent19: something is not a kind of a fuse and it is not a fondler.
void -> assump1: Let's assume that the fact that the semaphore is not a doorstop hold.; sent13 & assump1 -> int1: the fact that the jig does not fuse and it is not a kind of a fondler is not correct.; int1 -> int2: there exists something such that the fact that it is not a fuse and it is not a fondler is not correct.;
$hypothesis$ = the fact that the glop is unfamiliar hold if the semaphore is not a doorstop. ; $context$ = sent1: there exists something such that the fact that it is not a kind of a fuse and it is not a doorstop is not true. sent2: there is something such that the fact that it is not a doorstop and is not a fuse is not correct. sent3: that the jig is a kind of a fuse that is not a fondler is incorrect. sent4: the glop is meaningless. sent5: the fact that the jig is not a fuse but it is a fondler is false. sent6: the trustbuster is not a doorstop. sent7: if the jig is not unfamiliar the glop is a fondler. sent8: that the jig is both not a fuse and not a fondler is not right if the semaphore is a doorstop. sent9: the jig is a kind of a doorstop if there is something such that that it is both not a fondler and not a fuse does not hold. sent10: there exists something such that that it is not a kind of a fuse and it is a fondler is incorrect. sent11: the jig is a muscleman. sent12: the glop is unfamiliar if the fact that the semaphore is a kind of a doorstop is not wrong. sent13: that the jig does not fuse and it is not a kind of a fondler is incorrect if the semaphore is not a doorstop. sent14: there exists something such that that it does fuse and it is not a fondler does not hold. sent15: if the semaphore is not a doorstop that the jig is not a fuse but it is a fondler is not true. sent16: that that the semaphore is both not a fondler and not a fuse is false hold if the jig is not a kind of a doorstop. sent17: that the jig is a fuse and is not a fondler is incorrect if that the semaphore is not a doorstop hold. sent18: there exists something such that that it is not a kind of a fondler and it is not unfamiliar does not hold. sent19: something is not a kind of a fuse and it is not a fondler. ; $proof$ = 
void -> assump1: Let's assume that the fact that the semaphore is not a doorstop hold.; sent13 & assump1 -> int1: the fact that the jig does not fuse and it is not a kind of a fondler is not correct.; int1 -> int2: there exists something such that the fact that it is not a fuse and it is not a fondler is not correct.; __UNKNOWN__