the gunrunner does not compartmentalize sunlight.
sent1: if the snuffle is not genitourinary the passkey is a tahini. sent2: the gunrunner is a produce if that the F does not salt bourbon and it is not a produce does not hold. sent3: the gunrunner does not produce if the germanite is a forecaster and does compartmentalize sunlight. sent4: if the germanite is a kind of a forecaster that does produce the gunrunner does not compartmentalize sunlight. sent5: the nimbus is a king and compartmentalizes sunlight. sent6: that something does not compartmentalize sunlight hold if the fact that it is a forecaster and compartmentalize sunlight is not true. sent7: something that is a tahini is both not nonprehensile and insurmountable. sent8: something that is not a strap is a produce and does not salt bourbon. sent9: the fact that the shoebox is not azo and not an intrigue does not hold. sent10: the passkey produces. sent11: the fact that the germanite does not compartmentalize sunlight is true if the gunrunner is a kind of a forecaster that is a produce. sent12: if the germanite does compartmentalize sunlight then the gunrunner compartmentalize sunlight. sent13: if the F is a forecaster then the germanite compartmentalizes sunlight. sent14: something is not a kind of a strap but it is a K if it is not a king. sent15: if a non-nonprehensile thing is insurmountable the livery is not a kind of a king. sent16: the germanite is a produce. sent17: the snuffle is not genitourinary if there is something such that the fact that it is not azo and it is not an intrigue is false.
the gunrunner compartmentalizes sunlight.
sent8 -> int1: the livery produces but it does not salt bourbon if it is not a strap.; sent14 -> int2: the livery is not a strap but a K if it is not a kind of a king.; sent7 -> int3: if the passkey is a kind of a tahini then it is not nonprehensile and it is insurmountable.; sent9 -> int4: there exists something such that the fact that it is non-azo and it is not a kind of an intrigue is not true.; int4 & sent17 -> int5: the snuffle is non-genitourinary.; sent1 & int5 -> int6: the passkey is a tahini.; int3 & int6 -> int7: the passkey is prehensile and not surmountable.; int7 -> int8: something is prehensile thing that is insurmountable.; int8 & sent15 -> int9: the livery is not a king.; int2 & int9 -> int10: the livery is not a strap but a K.; int10 -> int11: the livery does not strap.; int1 & int11 -> int12: the livery is a produce but it does not salt bourbon.; int12 -> int13: something is a kind of a produce that does not salt bourbon.;
$hypothesis$ = the gunrunner does not compartmentalize sunlight. ; $context$ = sent1: if the snuffle is not genitourinary the passkey is a tahini. sent2: the gunrunner is a produce if that the F does not salt bourbon and it is not a produce does not hold. sent3: the gunrunner does not produce if the germanite is a forecaster and does compartmentalize sunlight. sent4: if the germanite is a kind of a forecaster that does produce the gunrunner does not compartmentalize sunlight. sent5: the nimbus is a king and compartmentalizes sunlight. sent6: that something does not compartmentalize sunlight hold if the fact that it is a forecaster and compartmentalize sunlight is not true. sent7: something that is a tahini is both not nonprehensile and insurmountable. sent8: something that is not a strap is a produce and does not salt bourbon. sent9: the fact that the shoebox is not azo and not an intrigue does not hold. sent10: the passkey produces. sent11: the fact that the germanite does not compartmentalize sunlight is true if the gunrunner is a kind of a forecaster that is a produce. sent12: if the germanite does compartmentalize sunlight then the gunrunner compartmentalize sunlight. sent13: if the F is a forecaster then the germanite compartmentalizes sunlight. sent14: something is not a kind of a strap but it is a K if it is not a king. sent15: if a non-nonprehensile thing is insurmountable the livery is not a kind of a king. sent16: the germanite is a produce. sent17: the snuffle is not genitourinary if there is something such that the fact that it is not azo and it is not an intrigue is false. ; $proof$ = 
__UNKNOWN__