the lycopene is a kind of an empty.
sent1: if something does not deposit balcony and it is not a permanent then it is not an empty. sent2: the lycopene deposits constrictor and is a freemasonry. sent3: there is something such that it is a freemasonry. sent4: there is something such that it is a kind of a permanent. sent5: if something is a freemasonry and it is a permanent the lycopene empties. sent6: the chamberlain is permanent thing that does deposit balcony. sent7: the chamberlain deposits balcony. sent8: the chamberlain deposits constrictor.
sent6 -> int1: the chamberlain is permanent.;
the constrictor is a kind of an empty.
sent2 -> int2: the lycopene is a freemasonry.; int2 -> int3: something is a freemasonry.;
$hypothesis$ = the lycopene is a kind of an empty. ; $context$ = sent1: if something does not deposit balcony and it is not a permanent then it is not an empty. sent2: the lycopene deposits constrictor and is a freemasonry. sent3: there is something such that it is a freemasonry. sent4: there is something such that it is a kind of a permanent. sent5: if something is a freemasonry and it is a permanent the lycopene empties. sent6: the chamberlain is permanent thing that does deposit balcony. sent7: the chamberlain deposits balcony. sent8: the chamberlain deposits constrictor. ; $proof$ = 
sent6 -> int1: the chamberlain is permanent.; __UNKNOWN__