the escapist is not a kind of a program.
sent1: the fact that the escapist is political is correct if something is not a convocation. sent2: the escapist is not a Testudinidae. sent3: the escapist is not nonpolitical if it does not dusk asterism. sent4: the asterism programs. sent5: if something is not a convocation then the escapist is not a program but it is political. sent6: there is something such that it is not an indulgence. sent7: if something is not an indulgence then the escapist is not political but it is a kind of a convocation. sent8: the fact that the escapist is a program is not incorrect if it is not political. sent9: if there exists something such that it is not a convocation the escapist is a kind of a program. sent10: if something is not floricultural the Edda does disrespect Fremontodendron. sent11: the escapist is not unprofessional but it does lap Whitmonday. sent12: if there is something such that it is not a convocation then the escapist is nonpolitical thing that is a program. sent13: there is something such that the fact that it is not a program hold. sent14: if something is not political that the escapist is a convocation hold. sent15: if that the escapist is not political is right the fact that it is a kind of a sclera is true. sent16: the cankerworm is a kind of a convocation. sent17: the radiator is not unacceptable. sent18: if there exists something such that it does not program then the escapist is a convocation.
sent6 & sent7 -> int1: the escapist is not political but a convocation.; int1 -> int2: the escapist is nonpolitical.; int2 & sent8 -> hypothesis;
$hypothesis$ = the escapist is not a kind of a program. ; $context$ = sent1: the fact that the escapist is political is correct if something is not a convocation. sent2: the escapist is not a Testudinidae. sent3: the escapist is not nonpolitical if it does not dusk asterism. sent4: the asterism programs. sent5: if something is not a convocation then the escapist is not a program but it is political. sent6: there is something such that it is not an indulgence. sent7: if something is not an indulgence then the escapist is not political but it is a kind of a convocation. sent8: the fact that the escapist is a program is not incorrect if it is not political. sent9: if there exists something such that it is not a convocation the escapist is a kind of a program. sent10: if something is not floricultural the Edda does disrespect Fremontodendron. sent11: the escapist is not unprofessional but it does lap Whitmonday. sent12: if there is something such that it is not a convocation then the escapist is nonpolitical thing that is a program. sent13: there is something such that the fact that it is not a program hold. sent14: if something is not political that the escapist is a convocation hold. sent15: if that the escapist is not political is right the fact that it is a kind of a sclera is true. sent16: the cankerworm is a kind of a convocation. sent17: the radiator is not unacceptable. sent18: if there exists something such that it does not program then the escapist is a convocation. ; $proof$ = 
sent6 & sent7 -> int1: the escapist is not political but a convocation.; int1 -> int2: the escapist is nonpolitical.; int2 & sent8 -> hypothesis; __DISPROVED__