the ultramarine is not racial.
sent1: something is not a kind of a EHF but it is dipterous. sent2: there is something such that that it is both not racial and a retronym is not right. sent3: if something does not officialize lilt the fact that it does not officialize Ramman and is nonracial is not right. sent4: the ultramarine officializes Ramman if there is something such that it is a kind of a EHF. sent5: the plagioclase is a kind of a retronym if it does officialize lilt. sent6: there is something such that the fact that it is not a EHF and is dipterous is incorrect. sent7: if something that is Platonic is a commerce it is not a retronym. sent8: the fact that if something is not a retronym the fact that it officializes Ramman and does officialize lilt is not correct is true. sent9: the ultramarine officializes Ramman if there is something such that that it is not a EHF and is dipterous is not correct. sent10: the ultramarine is not a starvation. sent11: the plagioclase does officialize lilt if something that is racial does officialize Ramman. sent12: something is not a kind of a subsoil and is carunculate.
sent6 & sent9 -> int1: the ultramarine officializes Ramman.; void -> assump1: Let's assume that the ultramarine is racial.; int1 & assump1 -> int2: the ultramarine is racial and it officializes Ramman.; int2 -> int3: there is something such that it is racial and officializes Ramman.; int3 & sent11 -> int4: the plagioclase officializes lilt.; int4 & sent5 -> int5: the plagioclase is a kind of a retronym.;
the Beadle is racial.
sent8 -> int6: if the ultramarine is not a retronym that it does officialize Ramman and does officialize lilt is not true.; sent7 -> int7: the ultramarine is not a retronym if it is Platonic and it is a commerce.;
$hypothesis$ = the ultramarine is not racial. ; $context$ = sent1: something is not a kind of a EHF but it is dipterous. sent2: there is something such that that it is both not racial and a retronym is not right. sent3: if something does not officialize lilt the fact that it does not officialize Ramman and is nonracial is not right. sent4: the ultramarine officializes Ramman if there is something such that it is a kind of a EHF. sent5: the plagioclase is a kind of a retronym if it does officialize lilt. sent6: there is something such that the fact that it is not a EHF and is dipterous is incorrect. sent7: if something that is Platonic is a commerce it is not a retronym. sent8: the fact that if something is not a retronym the fact that it officializes Ramman and does officialize lilt is not correct is true. sent9: the ultramarine officializes Ramman if there is something such that that it is not a EHF and is dipterous is not correct. sent10: the ultramarine is not a starvation. sent11: the plagioclase does officialize lilt if something that is racial does officialize Ramman. sent12: something is not a kind of a subsoil and is carunculate. ; $proof$ = 
sent6 & sent9 -> int1: the ultramarine officializes Ramman.; void -> assump1: Let's assume that the ultramarine is racial.; int1 & assump1 -> int2: the ultramarine is racial and it officializes Ramman.; int2 -> int3: there is something such that it is racial and officializes Ramman.; int3 & sent11 -> int4: the plagioclase officializes lilt.; int4 & sent5 -> int5: the plagioclase is a kind of a retronym.; __UNKNOWN__