the airlock is not a kind of a playgoer.
sent1: the fact that the TNT does not embody is correct if the chigger is not a kind of a Coccidae but it embody. sent2: the fact that if the TNT is a mated then that the chigger is a dropout is correct is true. sent3: that the oxcart is a kind of non-dehiscent thing that is not a kind of a hatch is not correct. sent4: if the disulfiram is a kind of a scurf that the chigger is not a Coccidae but a divergence is false. sent5: if the disulfiram is a Coccidae then the airlock is not a kind of a playgoer. sent6: the fact that the TNT is a mated but it is not a Newtonian is incorrect. sent7: the airlock is not a Coccidae. sent8: the chigger is a fishbowl if the fact that it is a kind of a divergence is right. sent9: the airlock is a playgoer if the disulfiram is onstage. sent10: if the chigger does not embody then the disulfiram is onstage and/or is a kind of a Coccidae. sent11: if a dropout is a fishbowl it does not embody. sent12: the disulfiram is not a playgoer. sent13: the monthly does not prickle. sent14: the airlock is not a kind of a playgoer if the disulfiram is onstage. sent15: if that the TNT is not a mated and not a Newtonian is incorrect then the chigger is a dropout. sent16: if something is a fishbowl then it is a playgoer. sent17: that the disulfiram does not embody and is not a Coccidae does not hold. sent18: the airlock is a playgoer if the TNT is a playgoer. sent19: something is a playgoer that is a fishbowl if it is not a dropout. sent20: the TNT is not a dropout if the chigger is onstage and embodies. sent21: the fact that the TNT is not a mated and not Newtonian is not true. sent22: something is both a dropout and a fishbowl if it does not embody. sent23: if the TNT is a fishbowl the airlock is a kind of a playgoer. sent24: the airlock is a fishbowl if the TNT is a fishbowl. sent25: the disulfiram is both a scurf and a failure if the monthly does not prickle. sent26: the chigger is a divergence.
sent15 & sent21 -> int1: the chigger is a dropout.; sent8 & sent26 -> int2: the chigger is a fishbowl.; int1 & int2 -> int3: the chigger is a kind of a dropout and it is a fishbowl.; sent11 -> int4: the fact that if the chigger is a dropout and it is the fishbowl then the chigger does not embody hold.; int3 & int4 -> int5: the chigger does not embody.; int5 & sent10 -> int6: the disulfiram is onstage and/or it is a Coccidae.; int6 & sent14 & sent5 -> hypothesis;
the airlock is a playgoer.
sent16 -> int7: the airlock is a kind of a playgoer if it is a kind of a fishbowl.; sent22 -> int8: the TNT is a dropout and is a fishbowl if it does not embody.;
$hypothesis$ = the airlock is not a kind of a playgoer. ; $context$ = sent1: the fact that the TNT does not embody is correct if the chigger is not a kind of a Coccidae but it embody. sent2: the fact that if the TNT is a mated then that the chigger is a dropout is correct is true. sent3: that the oxcart is a kind of non-dehiscent thing that is not a kind of a hatch is not correct. sent4: if the disulfiram is a kind of a scurf that the chigger is not a Coccidae but a divergence is false. sent5: if the disulfiram is a Coccidae then the airlock is not a kind of a playgoer. sent6: the fact that the TNT is a mated but it is not a Newtonian is incorrect. sent7: the airlock is not a Coccidae. sent8: the chigger is a fishbowl if the fact that it is a kind of a divergence is right. sent9: the airlock is a playgoer if the disulfiram is onstage. sent10: if the chigger does not embody then the disulfiram is onstage and/or is a kind of a Coccidae. sent11: if a dropout is a fishbowl it does not embody. sent12: the disulfiram is not a playgoer. sent13: the monthly does not prickle. sent14: the airlock is not a kind of a playgoer if the disulfiram is onstage. sent15: if that the TNT is not a mated and not a Newtonian is incorrect then the chigger is a dropout. sent16: if something is a fishbowl then it is a playgoer. sent17: that the disulfiram does not embody and is not a Coccidae does not hold. sent18: the airlock is a playgoer if the TNT is a playgoer. sent19: something is a playgoer that is a fishbowl if it is not a dropout. sent20: the TNT is not a dropout if the chigger is onstage and embodies. sent21: the fact that the TNT is not a mated and not Newtonian is not true. sent22: something is both a dropout and a fishbowl if it does not embody. sent23: if the TNT is a fishbowl the airlock is a kind of a playgoer. sent24: the airlock is a fishbowl if the TNT is a fishbowl. sent25: the disulfiram is both a scurf and a failure if the monthly does not prickle. sent26: the chigger is a divergence. ; $proof$ = 
sent15 & sent21 -> int1: the chigger is a dropout.; sent8 & sent26 -> int2: the chigger is a fishbowl.; int1 & int2 -> int3: the chigger is a kind of a dropout and it is a fishbowl.; sent11 -> int4: the fact that if the chigger is a dropout and it is the fishbowl then the chigger does not embody hold.; int3 & int4 -> int5: the chigger does not embody.; int5 & sent10 -> int6: the disulfiram is onstage and/or it is a Coccidae.; int6 & sent14 & sent5 -> hypothesis; __PROVED__