the stockade is a light if the enclosure is back-channel.
sent1: the stockade is not a setscrew. sent2: the cupcake is colorectal if the fact that that the enclosure is not colorectal and does not approach mineralogy is not true hold. sent3: the stockade is not a veracity or is not colorectal or both if it approaches mineralogy. sent4: if either something is colorectal or it is a kind of a booger or both it does not regard graphics. sent5: the stockade is back-channel. sent6: if something is a veracity then that it is not colorectal and does not approach mineralogy does not hold. sent7: if the fact that the enclosure is back-channel is not incorrect then the stockade is not a setscrew. sent8: if something is not colorectal the fact that it is a booger that does regard graphics does not hold. sent9: the enclosure is a kind of a veracity if the stockade is a veracity. sent10: the enclosure is a setscrew but not back-channel if the stockade does light. sent11: something that is back-channel is thematic and does not freeze-dry macule. sent12: if something does not regard graphics then it does housekeep Lilium and is not back-channel. sent13: that the stockade does approach mineralogy is not false.
the chaser is a kind of thematic thing that does not freeze-dry macule.
sent11 -> int1: if the chaser is back-channel it is thematic and it does not freeze-dry macule.; sent8 -> int2: if the enclosure is not colorectal that it is a kind of a booger and regards graphics is wrong.; sent3 & sent13 -> int3: the stockade is not a veracity and/or is not colorectal.; int3 -> int4: something is not a veracity and/or is not colorectal.;
$hypothesis$ = the stockade is a light if the enclosure is back-channel. ; $context$ = sent1: the stockade is not a setscrew. sent2: the cupcake is colorectal if the fact that that the enclosure is not colorectal and does not approach mineralogy is not true hold. sent3: the stockade is not a veracity or is not colorectal or both if it approaches mineralogy. sent4: if either something is colorectal or it is a kind of a booger or both it does not regard graphics. sent5: the stockade is back-channel. sent6: if something is a veracity then that it is not colorectal and does not approach mineralogy does not hold. sent7: if the fact that the enclosure is back-channel is not incorrect then the stockade is not a setscrew. sent8: if something is not colorectal the fact that it is a booger that does regard graphics does not hold. sent9: the enclosure is a kind of a veracity if the stockade is a veracity. sent10: the enclosure is a setscrew but not back-channel if the stockade does light. sent11: something that is back-channel is thematic and does not freeze-dry macule. sent12: if something does not regard graphics then it does housekeep Lilium and is not back-channel. sent13: that the stockade does approach mineralogy is not false. ; $proof$ = 
__UNKNOWN__