the tektite is cerebrovascular and it is a flatbed.
sent1: the LEM warms remit if the batfish is a journalese. sent2: the fact that the Luger is not a Missourian and warms remit is not wrong. sent3: the tektite is cerebrovascular if the fact that the batfish is not contextual and does not drink lounger is not correct. sent4: the tektite is a flatbed if the lounger does realize by-election. sent5: if the LEM carbonates cattle that the batfish is not contextual and it does not drink lounger does not hold. sent6: the LEM does carbonate cattle if the Luger is anal. sent7: if the fact that something is a kind of a reporter but it is not a journalese is not correct it is anal. sent8: the lounger realizes by-election and it is a kind of a couch. sent9: the fact that the lounger is contextual but it is not a kind of a couch does not hold. sent10: the fact that something is a reporter but not a journalese is false if it is not a Missourian. sent11: that the LEM does not warm starlet and it is not an epileptic does not hold. sent12: the LEM is a couch.
sent2 -> int1: the Luger is not a kind of a Missourian.; sent10 -> int2: the fact that that the Luger is a reporter but it is not a journalese does not hold is correct if it is not a Missourian.; int1 & int2 -> int3: that that the Luger is a reporter but not a journalese is not correct hold.; sent7 -> int4: if that the Luger is a reporter but not a journalese is not right it is anal.; int3 & int4 -> int5: the Luger is anal.; int5 & sent6 -> int6: the LEM does carbonate cattle.; int6 & sent5 -> int7: that the batfish is not contextual and it does not drink lounger does not hold.; int7 & sent3 -> int8: the tektite is cerebrovascular.; sent8 -> int9: the lounger does realize by-election.; sent4 & int9 -> int10: the tektite is flatbed.; int8 & int10 -> hypothesis;
the fact that the fact that the tektite is not non-cerebrovascular but a flatbed is not wrong is not correct.
$hypothesis$ = the tektite is cerebrovascular and it is a flatbed. ; $context$ = sent1: the LEM warms remit if the batfish is a journalese. sent2: the fact that the Luger is not a Missourian and warms remit is not wrong. sent3: the tektite is cerebrovascular if the fact that the batfish is not contextual and does not drink lounger is not correct. sent4: the tektite is a flatbed if the lounger does realize by-election. sent5: if the LEM carbonates cattle that the batfish is not contextual and it does not drink lounger does not hold. sent6: the LEM does carbonate cattle if the Luger is anal. sent7: if the fact that something is a kind of a reporter but it is not a journalese is not correct it is anal. sent8: the lounger realizes by-election and it is a kind of a couch. sent9: the fact that the lounger is contextual but it is not a kind of a couch does not hold. sent10: the fact that something is a reporter but not a journalese is false if it is not a Missourian. sent11: that the LEM does not warm starlet and it is not an epileptic does not hold. sent12: the LEM is a couch. ; $proof$ = 
sent2 -> int1: the Luger is not a kind of a Missourian.; sent10 -> int2: the fact that that the Luger is a reporter but it is not a journalese does not hold is correct if it is not a Missourian.; int1 & int2 -> int3: that that the Luger is a reporter but not a journalese is not correct hold.; sent7 -> int4: if that the Luger is a reporter but not a journalese is not right it is anal.; int3 & int4 -> int5: the Luger is anal.; int5 & sent6 -> int6: the LEM does carbonate cattle.; int6 & sent5 -> int7: that the batfish is not contextual and it does not drink lounger does not hold.; int7 & sent3 -> int8: the tektite is cerebrovascular.; sent8 -> int9: the lounger does realize by-election.; sent4 & int9 -> int10: the tektite is flatbed.; int8 & int10 -> hypothesis; __PROVED__