the toy is a kind of a silverware.
sent1: if something is not a Maoist the fact that it is a kind of a novitiate and it is hornless is not correct. sent2: the deaf-aid is not hornless. sent3: if the toy lodges then it is a novitiate. sent4: there is something such that it is not a lodging. sent5: if that something is both not non-Maoist and not horned is not true the fact that it is not a kind of a silverware is not incorrect. sent6: the tachistoscope is Maoist if the fact that it is not a digitigrade and is not a lodging does not hold. sent7: that the toy is hornless but it is not a kind of a klondike does not hold. sent8: if the toy is a novitiate then it is a silverware. sent9: if there exists something such that it is a kind of non-digitigrade thing that is not a kind of a lodging the toy is a kind of a novitiate. sent10: the tachistoscope is not hornless if that the deaf-aid is a novitiate and it is hornless is not true. sent11: if the tachistoscope is Maoist the deaf-aid is hornless.
void -> assump1: Let's assume that that that the tachistoscope is non-digitigrade thing that is not a kind of a lodging is not correct hold.; sent6 & assump1 -> int1: the tachistoscope is a kind of a Maoist.; int1 & sent11 -> int2: the deaf-aid is hornless.; int2 & sent2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the tachistoscope is not a digitigrade and it is not a lodging.; int4 -> int5: there is something such that it is both not digitigrade and not a lodging.; int5 & sent9 -> int6: the toy is a kind of a novitiate.; int6 & sent8 -> hypothesis;
the toy is not a silverware.
sent5 -> int7: the toy is not a silverware if that it is Maoist thing that is hornless is incorrect.;
$hypothesis$ = the toy is a kind of a silverware. ; $context$ = sent1: if something is not a Maoist the fact that it is a kind of a novitiate and it is hornless is not correct. sent2: the deaf-aid is not hornless. sent3: if the toy lodges then it is a novitiate. sent4: there is something such that it is not a lodging. sent5: if that something is both not non-Maoist and not horned is not true the fact that it is not a kind of a silverware is not incorrect. sent6: the tachistoscope is Maoist if the fact that it is not a digitigrade and is not a lodging does not hold. sent7: that the toy is hornless but it is not a kind of a klondike does not hold. sent8: if the toy is a novitiate then it is a silverware. sent9: if there exists something such that it is a kind of non-digitigrade thing that is not a kind of a lodging the toy is a kind of a novitiate. sent10: the tachistoscope is not hornless if that the deaf-aid is a novitiate and it is hornless is not true. sent11: if the tachistoscope is Maoist the deaf-aid is hornless. ; $proof$ = 
void -> assump1: Let's assume that that that the tachistoscope is non-digitigrade thing that is not a kind of a lodging is not correct hold.; sent6 & assump1 -> int1: the tachistoscope is a kind of a Maoist.; int1 & sent11 -> int2: the deaf-aid is hornless.; int2 & sent2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the tachistoscope is not a digitigrade and it is not a lodging.; int4 -> int5: there is something such that it is both not digitigrade and not a lodging.; int5 & sent9 -> int6: the toy is a kind of a novitiate.; int6 & sent8 -> hypothesis; __PROVED__