there is something such that if it is an epitaph then it is not smoky.
sent1: if the riveter is not a alienor but it fissures then it is a minicar. sent2: the frieze does not introspect if it is not indefinite and it is a kind of a minicar. sent3: the frieze is not indefinite and it is not a kind of a minicar. sent4: that the chloropicrin does iterate is not incorrect if it does not deglaze Delaware and it introspects. sent5: if the frieze does not deglaze Hanoi and it is not a kind of an epitaph then it is not emulous. sent6: if the frieze does not introspect and is a kind of an epitaph then it is not smoky. sent7: the frieze is angiocarpic. sent8: if something is non-indefinite thing that is not a minicar that it does not introspect is true. sent9: the frieze is smoky. sent10: there exists something such that if it is an epitaph then it is smoky. sent11: the frieze is a flurazepam. sent12: the frieze is not a minicar but it is hypodermic. sent13: if something that is not indefinite is a minicar it does not introspect.
sent8 -> int1: the frieze does not introspect if it is not indefinite and it is not a minicar.; int1 & sent3 -> int2: the frieze does not introspect.; void -> assump1: Let's assume that the frieze is an epitaph.; int2 & assump1 -> int3: the frieze does not introspect but it is an epitaph.; int3 & sent6 -> int4: the frieze is not smoky.; [assump1] & int4 -> int5: the frieze is not smoky if it is a kind of an epitaph.; int5 -> hypothesis;
$hypothesis$ = there is something such that if it is an epitaph then it is not smoky. ; $context$ = sent1: if the riveter is not a alienor but it fissures then it is a minicar. sent2: the frieze does not introspect if it is not indefinite and it is a kind of a minicar. sent3: the frieze is not indefinite and it is not a kind of a minicar. sent4: that the chloropicrin does iterate is not incorrect if it does not deglaze Delaware and it introspects. sent5: if the frieze does not deglaze Hanoi and it is not a kind of an epitaph then it is not emulous. sent6: if the frieze does not introspect and is a kind of an epitaph then it is not smoky. sent7: the frieze is angiocarpic. sent8: if something is non-indefinite thing that is not a minicar that it does not introspect is true. sent9: the frieze is smoky. sent10: there exists something such that if it is an epitaph then it is smoky. sent11: the frieze is a flurazepam. sent12: the frieze is not a minicar but it is hypodermic. sent13: if something that is not indefinite is a minicar it does not introspect. ; $proof$ = 
sent8 -> int1: the frieze does not introspect if it is not indefinite and it is not a minicar.; int1 & sent3 -> int2: the frieze does not introspect.; void -> assump1: Let's assume that the frieze is an epitaph.; int2 & assump1 -> int3: the frieze does not introspect but it is an epitaph.; int3 & sent6 -> int4: the frieze is not smoky.; [assump1] & int4 -> int5: the frieze is not smoky if it is a kind of an epitaph.; int5 -> hypothesis; __PROVED__