the Berlin is a kind of a lumber.
sent1: there is something such that the fact that it does not bind eyedrop and it is not a signet is not true. sent2: if the gamba does lumber and it is a reciprocation then the Berlin is not a kind of a lumber. sent3: the spatterdock is not a lumber if something is not a reciprocation and does narrate aeromedicine. sent4: something is a kind of a reciprocation if it is a regency. sent5: something is not a turtle. sent6: the gamba is not a regency but it is alliaceous if something is not a kind of a turtle. sent7: the gamba is not a lumber but it is alliaceous. sent8: the Berlin does narrate aeromedicine if the gamba is not a kind of a reciprocation. sent9: that the gamba is not a kind of a regency but it is alliaceous is not right if it is a reciprocation. sent10: if something does narrate aeromedicine then it is a lumber. sent11: the gamba is alliaceous. sent12: there exists something such that it turtles. sent13: the gamba is alliaceous if there is something such that it is not a turtle. sent14: something that does not bind eyedrop is both a signet and not an immorality. sent15: the bullfighter is not an immorality if there exists something such that the fact that it does not bind eyedrop and it is not a signet is not right. sent16: everything does not bind eyedrop.
void -> assump1: Let's assume that the gamba is a reciprocation.; sent9 & assump1 -> int1: that the gamba is not a regency and is alliaceous is incorrect.; sent5 & sent6 -> int2: the gamba is not a kind of a regency and is alliaceous.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the gamba is not a reciprocation.; int4 & sent8 -> int5: the Berlin does narrate aeromedicine.; sent10 -> int6: if the Berlin does narrate aeromedicine it is a kind of a lumber.; int5 & int6 -> hypothesis;
the spatterdock is not a lumber.
sent16 -> int7: the pipistrelle does not bind eyedrop.; sent14 -> int8: the pipistrelle is a kind of a signet but it is not an immorality if it does not bind eyedrop.; int7 & int8 -> int9: the pipistrelle is a signet but it is not a kind of an immorality.; int9 -> int10: everything is a signet and it is not an immorality.; int10 -> int11: the quiver is a signet and is not an immorality.; int11 -> int12: something is a kind of a signet that is not an immorality.;
$hypothesis$ = the Berlin is a kind of a lumber. ; $context$ = sent1: there is something such that the fact that it does not bind eyedrop and it is not a signet is not true. sent2: if the gamba does lumber and it is a reciprocation then the Berlin is not a kind of a lumber. sent3: the spatterdock is not a lumber if something is not a reciprocation and does narrate aeromedicine. sent4: something is a kind of a reciprocation if it is a regency. sent5: something is not a turtle. sent6: the gamba is not a regency but it is alliaceous if something is not a kind of a turtle. sent7: the gamba is not a lumber but it is alliaceous. sent8: the Berlin does narrate aeromedicine if the gamba is not a kind of a reciprocation. sent9: that the gamba is not a kind of a regency but it is alliaceous is not right if it is a reciprocation. sent10: if something does narrate aeromedicine then it is a lumber. sent11: the gamba is alliaceous. sent12: there exists something such that it turtles. sent13: the gamba is alliaceous if there is something such that it is not a turtle. sent14: something that does not bind eyedrop is both a signet and not an immorality. sent15: the bullfighter is not an immorality if there exists something such that the fact that it does not bind eyedrop and it is not a signet is not right. sent16: everything does not bind eyedrop. ; $proof$ = 
void -> assump1: Let's assume that the gamba is a reciprocation.; sent9 & assump1 -> int1: that the gamba is not a regency and is alliaceous is incorrect.; sent5 & sent6 -> int2: the gamba is not a kind of a regency and is alliaceous.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the gamba is not a reciprocation.; int4 & sent8 -> int5: the Berlin does narrate aeromedicine.; sent10 -> int6: if the Berlin does narrate aeromedicine it is a kind of a lumber.; int5 & int6 -> hypothesis; __PROVED__