the thymol is not a kind of a photalgia.
sent1: if the thymol is not a kind of a trap but it is autarchic then the kingdom is not autarchic. sent2: everything does not infix hogfish and it is not a kind of a paleomammalogy. sent3: the tripe is a photalgia if the thymol does not shop mournfulness and it does not infix art. sent4: the thymol does infix art if the tripe does not shop mournfulness and it is not a photalgia. sent5: everything does not shop mournfulness and it does not infix art. sent6: the thymol is an inoculation. sent7: everything does not shop kingdom and it is not a minge. sent8: if the tripe does not shop mournfulness and does not infix art then the thymol is a photalgia. sent9: everything is not a kind of a need and it is not a keratoscope. sent10: the tripe is a photalgia if the thymol does not infix art and it does not shop mournfulness. sent11: the thymol does shop mournfulness if the tripe does not infix art and it is not a kind of a photalgia. sent12: something is not a kind of a photalgia if it is agonadal. sent13: the thymol shops mournfulness if the tripe does infix art but it is not a kind of a photalgia. sent14: everything is not an overshoot. sent15: the thymol does not shop mournfulness. sent16: the tripe does shop mournfulness if the thymol infixes art but it is not a kind of a photalgia. sent17: if the tripe does not shop mournfulness but it infixes art the thymol is a kind of a photalgia. sent18: if the tripe is not a photalgia and does not infix art then the thymol shops mournfulness. sent19: the thymol infixes art if the tripe shops mournfulness and is not a photalgia.
sent5 -> int1: the tripe does not shop mournfulness and it does not infix art.; sent8 & int1 -> hypothesis;
the kingdom is not autarchic and it does not infix art.
$hypothesis$ = the thymol is not a kind of a photalgia. ; $context$ = sent1: if the thymol is not a kind of a trap but it is autarchic then the kingdom is not autarchic. sent2: everything does not infix hogfish and it is not a kind of a paleomammalogy. sent3: the tripe is a photalgia if the thymol does not shop mournfulness and it does not infix art. sent4: the thymol does infix art if the tripe does not shop mournfulness and it is not a photalgia. sent5: everything does not shop mournfulness and it does not infix art. sent6: the thymol is an inoculation. sent7: everything does not shop kingdom and it is not a minge. sent8: if the tripe does not shop mournfulness and does not infix art then the thymol is a photalgia. sent9: everything is not a kind of a need and it is not a keratoscope. sent10: the tripe is a photalgia if the thymol does not infix art and it does not shop mournfulness. sent11: the thymol does shop mournfulness if the tripe does not infix art and it is not a kind of a photalgia. sent12: something is not a kind of a photalgia if it is agonadal. sent13: the thymol shops mournfulness if the tripe does infix art but it is not a kind of a photalgia. sent14: everything is not an overshoot. sent15: the thymol does not shop mournfulness. sent16: the tripe does shop mournfulness if the thymol infixes art but it is not a kind of a photalgia. sent17: if the tripe does not shop mournfulness but it infixes art the thymol is a kind of a photalgia. sent18: if the tripe is not a photalgia and does not infix art then the thymol shops mournfulness. sent19: the thymol infixes art if the tripe shops mournfulness and is not a photalgia. ; $proof$ = 
sent5 -> int1: the tripe does not shop mournfulness and it does not infix art.; sent8 & int1 -> hypothesis; __DISPROVED__