the fact that the copy is a military is not wrong.
sent1: the neptunium pieces corselet if there exists something such that either it does piece bulbul or it is not a kind of a fuzzed or both. sent2: the ropemaker is not a turtle and it is not a kind of a Ladin if it is not a CD8. sent3: the fact that the ropemaker is not a kind of a Ladin is right. sent4: if something does not piece bulbul that the fact that it is a kind of non-ictal thing that is non-lotic hold is not true. sent5: the neptunium is ictal if it is sonic. sent6: the copy is a military if the fact that the alkahest is not a military and/or it pieces bulbul does not hold. sent7: the neptunium is not sonic. sent8: something does not piece corselet and/or is not lotic if it is ictal. sent9: the fact that the alkahest is not ictal but it is lotic is wrong if it does not piece bulbul. sent10: if the fact that the alkahest is non-ictal and non-lotic is not true the ropemaker is not non-sonic. sent11: that something is ictal and not lotic does not hold if it does not piece bulbul. sent12: if the ropemaker is sonic it is not a CD8. sent13: the copy is not a military if the ropemaker does not turtle but it is a Ladin. sent14: The corselet does not piece neptunium. sent15: if the fact that the ropemaker is both not a turtle and not a Ladin is not incorrect the copy is unmilitary. sent16: the neptunium does not piece corselet.
void -> assump1: Let's assume that the alkahest does piece bulbul.; assump1 -> int1: the alkahest either does piece bulbul or is not a fuzzed or both.; int1 -> int2: something does piece bulbul and/or it is not a fuzzed.; int2 & sent1 -> int3: the neptunium does piece corselet.; int3 & sent16 -> int4: this is contradiction.; [assump1] & int4 -> int5: the alkahest does not piece bulbul.; sent4 -> int6: the fact that the alkahest is non-ictal and non-lotic is wrong if it does not piece bulbul.; int5 & int6 -> int7: that the alkahest is non-ictal thing that is not lotic is not true.; int7 & sent10 -> int8: the ropemaker is sonic.; int8 & sent12 -> int9: that the ropemaker is not a CD8 hold.; int9 & sent2 -> int10: the ropemaker does not turtle and it is not a Ladin.; int10 & sent15 -> hypothesis;
the copy is a military.
sent8 -> int11: the neptunium does not piece corselet and/or it is not lotic if it is ictal.;
$hypothesis$ = the fact that the copy is a military is not wrong. ; $context$ = sent1: the neptunium pieces corselet if there exists something such that either it does piece bulbul or it is not a kind of a fuzzed or both. sent2: the ropemaker is not a turtle and it is not a kind of a Ladin if it is not a CD8. sent3: the fact that the ropemaker is not a kind of a Ladin is right. sent4: if something does not piece bulbul that the fact that it is a kind of non-ictal thing that is non-lotic hold is not true. sent5: the neptunium is ictal if it is sonic. sent6: the copy is a military if the fact that the alkahest is not a military and/or it pieces bulbul does not hold. sent7: the neptunium is not sonic. sent8: something does not piece corselet and/or is not lotic if it is ictal. sent9: the fact that the alkahest is not ictal but it is lotic is wrong if it does not piece bulbul. sent10: if the fact that the alkahest is non-ictal and non-lotic is not true the ropemaker is not non-sonic. sent11: that something is ictal and not lotic does not hold if it does not piece bulbul. sent12: if the ropemaker is sonic it is not a CD8. sent13: the copy is not a military if the ropemaker does not turtle but it is a Ladin. sent14: The corselet does not piece neptunium. sent15: if the fact that the ropemaker is both not a turtle and not a Ladin is not incorrect the copy is unmilitary. sent16: the neptunium does not piece corselet. ; $proof$ = 
void -> assump1: Let's assume that the alkahest does piece bulbul.; assump1 -> int1: the alkahest either does piece bulbul or is not a fuzzed or both.; int1 -> int2: something does piece bulbul and/or it is not a fuzzed.; int2 & sent1 -> int3: the neptunium does piece corselet.; int3 & sent16 -> int4: this is contradiction.; [assump1] & int4 -> int5: the alkahest does not piece bulbul.; sent4 -> int6: the fact that the alkahest is non-ictal and non-lotic is wrong if it does not piece bulbul.; int5 & int6 -> int7: that the alkahest is non-ictal thing that is not lotic is not true.; int7 & sent10 -> int8: the ropemaker is sonic.; int8 & sent12 -> int9: that the ropemaker is not a CD8 hold.; int9 & sent2 -> int10: the ropemaker does not turtle and it is not a Ladin.; int10 & sent15 -> hypothesis; __DISPROVED__