the regnellidium is legible.
sent1: the regnellidium is a duplex if it is unselfish and is not real-time. sent2: something is not non-anemic and not a duplex. sent3: the armyworm is not a Lycian. sent4: if the regnellidium does duplex it is legible. sent5: there exists something such that it does not stage bitok. sent6: something is a kind of a duplex. sent7: something is extraterritorial. sent8: the regnellidium is unselfish. sent9: the overburden does not stage bitok. sent10: the armyworm is anemic if it is a kind of a duplex that is not unselfish. sent11: the armyworm stages Disneyland and does not stage bitok. sent12: the armyworm is a duplex. sent13: if the regnellidium is orbital it is not non-anemic. sent14: the regnellidium is non-real-time if there is something such that it is anemic and it does not stage bitok. sent15: if something is extraterritorial that it is legible and it is not anemic is not true. sent16: there exists something such that it is legible. sent17: if there exists something such that it is extraterritorial the armyworm is a kind of anemic thing that does not stage bitok. sent18: if there exists something such that it is anemic then the armyworm is real-time but it does not stage bitok.
sent7 & sent17 -> int1: the armyworm is anemic thing that does not stage bitok.; int1 -> int2: there exists something such that it is anemic thing that does not stage bitok.; int2 & sent14 -> int3: the fact that the regnellidium is not real-time is correct.; int3 & sent8 -> int4: the regnellidium is unselfish and is not real-time.; int4 & sent1 -> int5: the regnellidium is a duplex.; int5 & sent4 -> hypothesis;
that the regnellidium is legible is not correct.
sent15 -> int6: the fact that the armyworm is legible but it is not anemic does not hold if the fact that it is extraterritorial is correct.;
$hypothesis$ = the regnellidium is legible. ; $context$ = sent1: the regnellidium is a duplex if it is unselfish and is not real-time. sent2: something is not non-anemic and not a duplex. sent3: the armyworm is not a Lycian. sent4: if the regnellidium does duplex it is legible. sent5: there exists something such that it does not stage bitok. sent6: something is a kind of a duplex. sent7: something is extraterritorial. sent8: the regnellidium is unselfish. sent9: the overburden does not stage bitok. sent10: the armyworm is anemic if it is a kind of a duplex that is not unselfish. sent11: the armyworm stages Disneyland and does not stage bitok. sent12: the armyworm is a duplex. sent13: if the regnellidium is orbital it is not non-anemic. sent14: the regnellidium is non-real-time if there is something such that it is anemic and it does not stage bitok. sent15: if something is extraterritorial that it is legible and it is not anemic is not true. sent16: there exists something such that it is legible. sent17: if there exists something such that it is extraterritorial the armyworm is a kind of anemic thing that does not stage bitok. sent18: if there exists something such that it is anemic then the armyworm is real-time but it does not stage bitok. ; $proof$ = 
sent7 & sent17 -> int1: the armyworm is anemic thing that does not stage bitok.; int1 -> int2: there exists something such that it is anemic thing that does not stage bitok.; int2 & sent14 -> int3: the fact that the regnellidium is not real-time is correct.; int3 & sent8 -> int4: the regnellidium is unselfish and is not real-time.; int4 & sent1 -> int5: the regnellidium is a duplex.; int5 & sent4 -> hypothesis; __PROVED__