the electromyograph is both residual and lexicographic.
sent1: that the electromyograph is non-lexicographic thing that is baptismal is not right. sent2: the coalface is orthodontic. sent3: if the fact that the electromyograph is not lexicographic but baptismal does not hold then the fact that it is lexicographic hold. sent4: The Ibert does stud camouflage. sent5: the camouflage does stud Ibert. sent6: if there is something such that it studs Ibert or it is Continental or both the soldier is a kind of a tuff. sent7: the electromyograph studs electromyograph. sent8: the electromyograph is a residual if that the soldier is a tuff is not incorrect.
sent5 -> int1: the camouflage studs Ibert or it is Continental or both.; int1 -> int2: there exists something such that either it studs Ibert or it is Continental or both.; int2 & sent6 -> int3: the fact that the soldier is a tuff is right.; int3 & sent8 -> int4: the electromyograph is residual.; sent3 & sent1 -> int5: the electromyograph is lexicographic.; int4 & int5 -> hypothesis;
$hypothesis$ = the electromyograph is both residual and lexicographic. ; $context$ = sent1: that the electromyograph is non-lexicographic thing that is baptismal is not right. sent2: the coalface is orthodontic. sent3: if the fact that the electromyograph is not lexicographic but baptismal does not hold then the fact that it is lexicographic hold. sent4: The Ibert does stud camouflage. sent5: the camouflage does stud Ibert. sent6: if there is something such that it studs Ibert or it is Continental or both the soldier is a kind of a tuff. sent7: the electromyograph studs electromyograph. sent8: the electromyograph is a residual if that the soldier is a tuff is not incorrect. ; $proof$ = 
sent5 -> int1: the camouflage studs Ibert or it is Continental or both.; int1 -> int2: there exists something such that either it studs Ibert or it is Continental or both.; int2 & sent6 -> int3: the fact that the soldier is a tuff is right.; int3 & sent8 -> int4: the electromyograph is residual.; sent3 & sent1 -> int5: the electromyograph is lexicographic.; int4 & int5 -> hypothesis; __PROVED__