there is something such that it is categorematic.
sent1: a myxovirus stores. sent2: the fact that the servant is not nonfat and not categorematic is false. sent3: the servant is a kind of Luxembourgian thing that is a myxovirus if something is not a wheeler. sent4: the fact that the isotope is a myxovirus and nonfat is not incorrect. sent5: something is not nonfat if it is Luxembourgian a myxovirus. sent6: something is not a wheeler.
sent6 & sent3 -> int1: the servant is both Luxembourgian and a myxovirus.; sent5 -> int2: if the servant is Luxembourgian and it is a kind of a myxovirus it is fatty.; int1 & int2 -> int3: the servant is not nonfat.; void -> assump1: Let's assume that the servant is not categorematic.; int3 & assump1 -> int4: the servant is not nonfat and it is not categorematic.; int4 & sent2 -> int5: this is contradiction.; [assump1] & int5 -> int6: the servant is categorematic.; int6 -> hypothesis;
the isotope is a store that is a lekvar.
sent1 -> int7: the isotope is a store if it is a myxovirus.; sent4 -> int8: the isotope is a kind of a myxovirus.; int7 & int8 -> int9: the isotope is a kind of a store.;
$hypothesis$ = there is something such that it is categorematic. ; $context$ = sent1: a myxovirus stores. sent2: the fact that the servant is not nonfat and not categorematic is false. sent3: the servant is a kind of Luxembourgian thing that is a myxovirus if something is not a wheeler. sent4: the fact that the isotope is a myxovirus and nonfat is not incorrect. sent5: something is not nonfat if it is Luxembourgian a myxovirus. sent6: something is not a wheeler. ; $proof$ = 
sent6 & sent3 -> int1: the servant is both Luxembourgian and a myxovirus.; sent5 -> int2: if the servant is Luxembourgian and it is a kind of a myxovirus it is fatty.; int1 & int2 -> int3: the servant is not nonfat.; void -> assump1: Let's assume that the servant is not categorematic.; int3 & assump1 -> int4: the servant is not nonfat and it is not categorematic.; int4 & sent2 -> int5: this is contradiction.; [assump1] & int5 -> int6: the servant is categorematic.; int6 -> hypothesis; __PROVED__