if the testudo does subordinate then the prostitute does not light but it is microelectronic.
sent1: the prostitute is a subordinate. sent2: the prostitute is not a cream if a heedful thing subordinates. sent3: there exists something such that it does extend euro and is bumpy. sent4: if the fact that the lie is not an isolationist and it is not subordinate is wrong then the testudo does subordinate. sent5: that the lie is not isolationist and does not transpire is false. sent6: there exists something such that it does slime Wyler. sent7: the prostitute transpires if the fact that the lie is not isolationist and does not transpires is incorrect. sent8: the lie does not subordinate. sent9: the testudo is microelectronic thing that does slime Thomson. sent10: the testudo does not light if something transpires and it is not insubordinate. sent11: the gatekeeper is not a kind of a Cornishman but it does transpire. sent12: something does not light if it is not a kind of a cream. sent13: the panderer is not heedful. sent14: the testudo does underwrite skinned and is tolerable. sent15: if that the lie does transpire hold it is a cream. sent16: there exists something such that it does extend fen and it is basidiomycetous. sent17: if that the lie is not heedful and it does not transpire does not hold then that the testudo does transpire is correct. sent18: the prostitute is not an isolationist. sent19: something does extend euro and is a bidding. sent20: the testudo is heedful. sent21: the fact that the prostitute transpires is correct if the fact that the lie is not a cream and it does not transpires is incorrect. sent22: the prostitute is not allergenic if something that is econometric is a kind of a cream. sent23: there is something such that it is both a German and carpellate.
void -> assump1: Let's assume that the testudo is a subordinate.; sent20 & assump1 -> int1: the testudo is heedful thing that is a kind of a subordinate.; int1 -> int2: there is something such that it is heedful and subordinate.; int2 & sent2 -> int3: the prostitute is not a kind of a cream.; sent12 -> int4: the prostitute is not a lighted if it is not a cream.; int3 & int4 -> int5: the prostitute is not lighted.; sent7 & sent5 -> int6: the prostitute transpires.;
$hypothesis$ = if the testudo does subordinate then the prostitute does not light but it is microelectronic. ; $context$ = sent1: the prostitute is a subordinate. sent2: the prostitute is not a cream if a heedful thing subordinates. sent3: there exists something such that it does extend euro and is bumpy. sent4: if the fact that the lie is not an isolationist and it is not subordinate is wrong then the testudo does subordinate. sent5: that the lie is not isolationist and does not transpire is false. sent6: there exists something such that it does slime Wyler. sent7: the prostitute transpires if the fact that the lie is not isolationist and does not transpires is incorrect. sent8: the lie does not subordinate. sent9: the testudo is microelectronic thing that does slime Thomson. sent10: the testudo does not light if something transpires and it is not insubordinate. sent11: the gatekeeper is not a kind of a Cornishman but it does transpire. sent12: something does not light if it is not a kind of a cream. sent13: the panderer is not heedful. sent14: the testudo does underwrite skinned and is tolerable. sent15: if that the lie does transpire hold it is a cream. sent16: there exists something such that it does extend fen and it is basidiomycetous. sent17: if that the lie is not heedful and it does not transpire does not hold then that the testudo does transpire is correct. sent18: the prostitute is not an isolationist. sent19: something does extend euro and is a bidding. sent20: the testudo is heedful. sent21: the fact that the prostitute transpires is correct if the fact that the lie is not a cream and it does not transpires is incorrect. sent22: the prostitute is not allergenic if something that is econometric is a kind of a cream. sent23: there is something such that it is both a German and carpellate. ; $proof$ = 
void -> assump1: Let's assume that the testudo is a subordinate.; sent20 & assump1 -> int1: the testudo is heedful thing that is a kind of a subordinate.; int1 -> int2: there is something such that it is heedful and subordinate.; int2 & sent2 -> int3: the prostitute is not a kind of a cream.; sent12 -> int4: the prostitute is not a lighted if it is not a cream.; int3 & int4 -> int5: the prostitute is not lighted.; sent7 & sent5 -> int6: the prostitute transpires.; __UNKNOWN__