that the allomorph is a kind of a Oceanic hold.
sent1: the strop is non-choleraic. sent2: the ophthalmoscope is a logic if the Bulgarian is a logic. sent3: something does not tarnish mock-heroic but it is unfruitful. sent4: something is veterinary and it is a tarriance. sent5: there exists something such that the fact that it is a kind of veterinary a tarriance does not hold. sent6: something is a Oceanic if that it is not a kind of a Oceanic and is veterinary is false. sent7: if the AB is a kind of a Oceanic and it is a kind of a tarriance then the allomorph is not a Oceanic. sent8: that something is not a muscle is correct if that it is not a Akeridae and it is acidimetric is not correct. sent9: if the AB tarnishes mock-heroic and is unfruitful then it muscles. sent10: if the ophthalmoscope is a kind of a logic the fact that it is not a Akeridae and it is acidimetric is not true. sent11: there is nothing such that it is not a tarriance and is not an immunity. sent12: if the strop is a kind of a logic then the Bulgarian is a logic. sent13: if something does tarnish mock-heroic the allomorph is a Oceanic. sent14: if the strop is not choleraic then it is pyrochemical and is a logic. sent15: if the ophthalmoscope is not a muscle then that the AB is both not a Oceanic and veterinary does not hold. sent16: if the AB does not tarnish mock-heroic but it is unfruitful then it is a muscle. sent17: if there is something such that the fact that it does not tarnish mock-heroic and it is unfruitful is false the allomorph is a Oceanic. sent18: the AB is not a muscle if there exists something such that the fact that it is veterinary a tarriance is false.
void -> assump1: Let's assume that the AB does not tarnish mock-heroic but it is unfruitful.; sent16 & assump1 -> int1: the AB muscles.; sent5 & sent18 -> int2: the AB is not a muscle.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the AB does not tarnish mock-heroic but it is unfruitful is false.; int4 -> int5: there is something such that that it does not tarnish mock-heroic and is unfruitful is not correct.; int5 & sent17 -> hypothesis;
the allomorph is not a Oceanic.
sent6 -> int6: if the fact that the AB is not a kind of a Oceanic and is veterinary is false then it is a Oceanic.; sent8 -> int7: if that the ophthalmoscope is both not a Akeridae and acidimetric is not true it is not a muscle.; sent14 & sent1 -> int8: the strop is pyrochemical and it is a kind of a logic.; int8 -> int9: the fact that the strop is a logic is not false.; sent12 & int9 -> int10: the Bulgarian is a logic.; sent2 & int10 -> int11: the ophthalmoscope is a logic.; sent10 & int11 -> int12: that the ophthalmoscope is both not a Akeridae and acidimetric is wrong.; int7 & int12 -> int13: the ophthalmoscope is not a muscle.; sent15 & int13 -> int14: that the AB is not a Oceanic but it is veterinary is not correct.; int6 & int14 -> int15: the AB is a Oceanic.; sent11 -> int16: that the perfumer is not a tarriance and it is not an immunity is not true.; int16 -> int17: there is something such that the fact that the fact that it is not a tarriance and it is not an immunity is not false is not correct.;
$hypothesis$ = that the allomorph is a kind of a Oceanic hold. ; $context$ = sent1: the strop is non-choleraic. sent2: the ophthalmoscope is a logic if the Bulgarian is a logic. sent3: something does not tarnish mock-heroic but it is unfruitful. sent4: something is veterinary and it is a tarriance. sent5: there exists something such that the fact that it is a kind of veterinary a tarriance does not hold. sent6: something is a Oceanic if that it is not a kind of a Oceanic and is veterinary is false. sent7: if the AB is a kind of a Oceanic and it is a kind of a tarriance then the allomorph is not a Oceanic. sent8: that something is not a muscle is correct if that it is not a Akeridae and it is acidimetric is not correct. sent9: if the AB tarnishes mock-heroic and is unfruitful then it muscles. sent10: if the ophthalmoscope is a kind of a logic the fact that it is not a Akeridae and it is acidimetric is not true. sent11: there is nothing such that it is not a tarriance and is not an immunity. sent12: if the strop is a kind of a logic then the Bulgarian is a logic. sent13: if something does tarnish mock-heroic the allomorph is a Oceanic. sent14: if the strop is not choleraic then it is pyrochemical and is a logic. sent15: if the ophthalmoscope is not a muscle then that the AB is both not a Oceanic and veterinary does not hold. sent16: if the AB does not tarnish mock-heroic but it is unfruitful then it is a muscle. sent17: if there is something such that the fact that it does not tarnish mock-heroic and it is unfruitful is false the allomorph is a Oceanic. sent18: the AB is not a muscle if there exists something such that the fact that it is veterinary a tarriance is false. ; $proof$ = 
void -> assump1: Let's assume that the AB does not tarnish mock-heroic but it is unfruitful.; sent16 & assump1 -> int1: the AB muscles.; sent5 & sent18 -> int2: the AB is not a muscle.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the AB does not tarnish mock-heroic but it is unfruitful is false.; int4 -> int5: there is something such that that it does not tarnish mock-heroic and is unfruitful is not correct.; int5 & sent17 -> hypothesis; __PROVED__