the beading is a track.
sent1: if the shading is a kind of a mastering the beading is a track. sent2: the shading is stainable and it does tyrannize beading. sent3: something does master if it does tyrannize beading.
sent2 -> int1: the shading does tyrannize beading.; sent3 -> int2: the shading is a mastering if it does tyrannize beading.; int1 & int2 -> int3: the fact that the shading is a mastering is correct.; int3 & sent1 -> hypothesis;
$hypothesis$ = the beading is a track. ; $context$ = sent1: if the shading is a kind of a mastering the beading is a track. sent2: the shading is stainable and it does tyrannize beading. sent3: something does master if it does tyrannize beading. ; $proof$ = 
sent2 -> int1: the shading does tyrannize beading.; sent3 -> int2: the shading is a mastering if it does tyrannize beading.; int1 & int2 -> int3: the fact that the shading is a mastering is correct.; int3 & sent1 -> hypothesis; __PROVED__