the sandlot is not a Scout and not a cutlet.
sent1: the flageolet is a fisherman and staggers jazzman. sent2: the lithograph is a serpent. sent3: if the flageolet is both casuistic and a beard the lithograph is not comparative. sent4: the flageolet is not a sesamoid if the lithograph is a beard and a comparative. sent5: the flageolet is urogenital. sent6: the lithograph is a comparative. sent7: the sandlot is not a kind of a cutlet. sent8: the taoiseach is not a Tantalus and is not a kind of a cutlet. sent9: the flageolet is a kind of a sesamoid. sent10: the lithograph is a Scout. sent11: the fact that the fact that something is not a Scout and it is not a cutlet is correct is false if that it is not a fisherman hold. sent12: if the flageolet staggers jazzman and it is casuistic then the light-o'-love is not a fisherman. sent13: if the flageolet is a fisherman then it is casuistic. sent14: the sandlot is a kind of a beard. sent15: the liberator does not beard.
sent1 -> int1: the flageolet is a fisherman.; int1 & sent13 -> int2: the flageolet is casuistic.; void -> assump1: Let's assume that the flageolet is a beard.; int2 & assump1 -> int3: the flageolet is casuistic and it is a kind of a beard.; int3 & sent3 -> int4: the lithograph is not a kind of a comparative.; int4 & sent6 -> int5: this is contradiction.; [assump1] & int5 -> int6: the flageolet does not beard.; int6 & sent9 -> int7: the flageolet does not beard but it is a sesamoid.;
the light-o'-love is not a kind of a fisherman.
$hypothesis$ = the sandlot is not a Scout and not a cutlet. ; $context$ = sent1: the flageolet is a fisherman and staggers jazzman. sent2: the lithograph is a serpent. sent3: if the flageolet is both casuistic and a beard the lithograph is not comparative. sent4: the flageolet is not a sesamoid if the lithograph is a beard and a comparative. sent5: the flageolet is urogenital. sent6: the lithograph is a comparative. sent7: the sandlot is not a kind of a cutlet. sent8: the taoiseach is not a Tantalus and is not a kind of a cutlet. sent9: the flageolet is a kind of a sesamoid. sent10: the lithograph is a Scout. sent11: the fact that the fact that something is not a Scout and it is not a cutlet is correct is false if that it is not a fisherman hold. sent12: if the flageolet staggers jazzman and it is casuistic then the light-o'-love is not a fisherman. sent13: if the flageolet is a fisherman then it is casuistic. sent14: the sandlot is a kind of a beard. sent15: the liberator does not beard. ; $proof$ = 
sent1 -> int1: the flageolet is a fisherman.; int1 & sent13 -> int2: the flageolet is casuistic.; void -> assump1: Let's assume that the flageolet is a beard.; int2 & assump1 -> int3: the flageolet is casuistic and it is a kind of a beard.; int3 & sent3 -> int4: the lithograph is not a kind of a comparative.; int4 & sent6 -> int5: this is contradiction.; [assump1] & int5 -> int6: the flageolet does not beard.; int6 & sent9 -> int7: the flageolet does not beard but it is a sesamoid.; __UNKNOWN__