there exists something such that if it defoliates knuckle then the fact that it is theatrical hold.
sent1: if something gloms Lablab and defoliates knuckle it is not untheatrical. sent2: the straightedge gloms Lablab and does not lamb thinness. sent3: if something does defoliate knuckle it does not lamb thirtieth.
sent2 -> int1: the straightedge gloms Lablab.; void -> assump1: Let's assume that the straightedge defoliates knuckle.; int1 & assump1 -> int2: the straightedge does glom Lablab and does defoliate knuckle.; sent1 -> int3: the straightedge is not untheatrical if it gloms Lablab and defoliates knuckle.; int2 & int3 -> int4: the straightedge is not untheatrical.; [assump1] & int4 -> int5: if the straightedge does defoliate knuckle it is not untheatrical.; int5 -> hypothesis;
if the spectacles does defoliate knuckle then it does not lamb thirtieth.
sent3 -> hypothesis;
$hypothesis$ = there exists something such that if it defoliates knuckle then the fact that it is theatrical hold. ; $context$ = sent1: if something gloms Lablab and defoliates knuckle it is not untheatrical. sent2: the straightedge gloms Lablab and does not lamb thinness. sent3: if something does defoliate knuckle it does not lamb thirtieth. ; $proof$ = 
sent2 -> int1: the straightedge gloms Lablab.; void -> assump1: Let's assume that the straightedge defoliates knuckle.; int1 & assump1 -> int2: the straightedge does glom Lablab and does defoliate knuckle.; sent1 -> int3: the straightedge is not untheatrical if it gloms Lablab and defoliates knuckle.; int2 & int3 -> int4: the straightedge is not untheatrical.; [assump1] & int4 -> int5: if the straightedge does defoliate knuckle it is not untheatrical.; int5 -> hypothesis; __PROVED__