the clapperboard is not a thimble.
sent1: the musical is not Mozartian if the clapperboard is a alembic and it is a thimble. sent2: that the clapperboard is soleless but it is not a kind of a German is not right. sent3: if something is not non-German then it is a flint. sent4: if the pycnidium is not non-German that the clapperboard is both soled and not non-German is not correct. sent5: the pycnidium is not non-German if the eyelet overworks. sent6: if the fact that something is not soleless and not German is not true it is a alembic. sent7: if the pycnidium is Mozartian then that it is not soleless is not false. sent8: something that is an overwork is a thimble. sent9: there exists something such that it is gestational. sent10: the eyelet is a kind of an overwork and it is a flint. sent11: if there is something such that the fact that it is gestational hold the pycnidium is Mozartian. sent12: the musical is Mozartian thing that is gestational.
sent10 -> int1: the eyelet is an overwork.; int1 & sent5 -> int2: the pycnidium is a German.; int2 & sent4 -> int3: that the clapperboard is not soleless and it is not a German is false.; sent6 -> int4: the clapperboard is a kind of a alembic if that it is not soleless and is not a German does not hold.; int3 & int4 -> int5: the clapperboard is a alembic.; void -> assump1: Let's assume that the fact that the clapperboard is a thimble is not incorrect.; int5 & assump1 -> int6: the clapperboard is a alembic and a thimble.; int6 & sent1 -> int7: the musical is not Mozartian.; sent12 -> int8: that the musical is Mozartian is not false.; int7 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis;
the clapperboard is a kind of a thimble.
sent8 -> int10: that the clapperboard is a kind of a thimble is not incorrect if it does overwork.; sent3 -> int11: if the eyelet is German it is a kind of a flint.; sent9 & sent11 -> int12: the pycnidium is Mozartian.; sent7 & int12 -> int13: the pycnidium is not soleless.; int13 -> int14: there exists something such that it is not soleless.;
$hypothesis$ = the clapperboard is not a thimble. ; $context$ = sent1: the musical is not Mozartian if the clapperboard is a alembic and it is a thimble. sent2: that the clapperboard is soleless but it is not a kind of a German is not right. sent3: if something is not non-German then it is a flint. sent4: if the pycnidium is not non-German that the clapperboard is both soled and not non-German is not correct. sent5: the pycnidium is not non-German if the eyelet overworks. sent6: if the fact that something is not soleless and not German is not true it is a alembic. sent7: if the pycnidium is Mozartian then that it is not soleless is not false. sent8: something that is an overwork is a thimble. sent9: there exists something such that it is gestational. sent10: the eyelet is a kind of an overwork and it is a flint. sent11: if there is something such that the fact that it is gestational hold the pycnidium is Mozartian. sent12: the musical is Mozartian thing that is gestational. ; $proof$ = 
sent10 -> int1: the eyelet is an overwork.; int1 & sent5 -> int2: the pycnidium is a German.; int2 & sent4 -> int3: that the clapperboard is not soleless and it is not a German is false.; sent6 -> int4: the clapperboard is a kind of a alembic if that it is not soleless and is not a German does not hold.; int3 & int4 -> int5: the clapperboard is a alembic.; void -> assump1: Let's assume that the fact that the clapperboard is a thimble is not incorrect.; int5 & assump1 -> int6: the clapperboard is a alembic and a thimble.; int6 & sent1 -> int7: the musical is not Mozartian.; sent12 -> int8: that the musical is Mozartian is not false.; int7 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis; __PROVED__