the emitter is not a Iowa.
sent1: The fact that the shelled confines sentimentalist is not incorrect. sent2: if the active tries the mailbox does tries. sent3: the mailbox does persist Sha'ban if the fact that the sentimentalist confines shelled is not wrong. sent4: the fact that the sentimentalist confines shelled is not incorrect. sent5: the active tries. sent6: the cinema tries. sent7: if something that does try persists Sha'ban then the emitter is a Iowa.
sent3 & sent4 -> int1: the mailbox persists Sha'ban.; sent2 & sent5 -> int2: the mailbox tries.; int1 & int2 -> int3: the mailbox does try and it does persist Sha'ban.; int3 -> int4: there is something such that it does try and it persists Sha'ban.; int4 & sent7 -> hypothesis;
$hypothesis$ = the emitter is not a Iowa. ; $context$ = sent1: The fact that the shelled confines sentimentalist is not incorrect. sent2: if the active tries the mailbox does tries. sent3: the mailbox does persist Sha'ban if the fact that the sentimentalist confines shelled is not wrong. sent4: the fact that the sentimentalist confines shelled is not incorrect. sent5: the active tries. sent6: the cinema tries. sent7: if something that does try persists Sha'ban then the emitter is a Iowa. ; $proof$ = 
sent3 & sent4 -> int1: the mailbox persists Sha'ban.; sent2 & sent5 -> int2: the mailbox tries.; int1 & int2 -> int3: the mailbox does try and it does persist Sha'ban.; int3 -> int4: there is something such that it does try and it persists Sha'ban.; int4 & sent7 -> hypothesis; __DISPROVED__