the elocutionist is not historical.
sent1: if the duplication is a kind of a mouse then that the photosphere does mouse is correct. sent2: if the photosphere mouses then the level is not a bark and/or it is cytoplastic. sent3: something is a kind of historical a selectman if the fact that it does border tiercel is not true. sent4: the pompadour does not rouse and does not forage hominy. sent5: the duplication does mouse if the pantheon detrains Gansu. sent6: that something is a kind of non-historical thing that is not a selectman is not correct if it does not border tiercel. sent7: the elocutionist is not a selectman if the fact that it is a selectman and it borders tiercel does not hold. sent8: if something is not a bark then it does not border tiercel. sent9: if that the noose is not historical is not correct then the elocutionist is historical. sent10: the pantheon detrains Gansu and it is a jugglery if it does not rouse. sent11: the elocutionist is a selectman if it is historical. sent12: if the pompadour does not rouse and does not forage hominy the pantheon does not rouse.
void -> assump1: Let's assume that the elocutionist is historical.; sent11 & assump1 -> int1: the elocutionist is a selectman.;
the fact that the Colon is cytoplastic and it is a blackfly is false.
sent6 -> int2: that if the noose does not border tiercel then the fact that the noose is not historical and it is not a selectman is false is true.;
$hypothesis$ = the elocutionist is not historical. ; $context$ = sent1: if the duplication is a kind of a mouse then that the photosphere does mouse is correct. sent2: if the photosphere mouses then the level is not a bark and/or it is cytoplastic. sent3: something is a kind of historical a selectman if the fact that it does border tiercel is not true. sent4: the pompadour does not rouse and does not forage hominy. sent5: the duplication does mouse if the pantheon detrains Gansu. sent6: that something is a kind of non-historical thing that is not a selectman is not correct if it does not border tiercel. sent7: the elocutionist is not a selectman if the fact that it is a selectman and it borders tiercel does not hold. sent8: if something is not a bark then it does not border tiercel. sent9: if that the noose is not historical is not correct then the elocutionist is historical. sent10: the pantheon detrains Gansu and it is a jugglery if it does not rouse. sent11: the elocutionist is a selectman if it is historical. sent12: if the pompadour does not rouse and does not forage hominy the pantheon does not rouse. ; $proof$ = 
void -> assump1: Let's assume that the elocutionist is historical.; sent11 & assump1 -> int1: the elocutionist is a selectman.; __UNKNOWN__