the neckband is amaurotic.
sent1: the stonefly tosses aragonite if the fluorochrome outgrows elegance. sent2: the stonefly repudiates and it is a kind of a trauma. sent3: the fluorochrome outgrows elegance if the fastener is not cross-ply. sent4: if the stonefly does not arm the fact that the neckband is Japanese thing that is not a arborvitae is false. sent5: if the fact that the fastener does not outgrow elegance hold then the neckband is amaurotic and it is powerful. sent6: if the fluorochrome outgrows elegance then the stonefly is not a Gracilariidae and does toss aragonite. sent7: the stonefly is a Japanese if it does toss fluorochrome and it does arm. sent8: if something that is not a kind of a Gracilariidae does toss aragonite then the fact that it does toss fluorochrome is not incorrect. sent9: that the neckband is not Japanese and is not a arborvitae is not correct if the stonefly is not an arm. sent10: something does not outgrow elegance if the fact that it is a kind of a Gracilariidae that tosses aragonite is not correct. sent11: the fluorochrome is not a kind of a Gracilariidae if that it is a trauma and it is a Gracilariidae is not correct. sent12: if the fact that something is both non-Japanese and not a arborvitae does not hold then it is not amaurotic. sent13: the fastener is not powerful. sent14: the stonefly repudiates. sent15: if the fastener is not powerful then the fact that it is both not protozoal and cross-ply is not correct. sent16: if the stonefly is a trauma and tosses fluorochrome it is not a kind of an arm. sent17: the neckband is not a Japanese but a trauma. sent18: if the fact that the fastener is not protozoal but it is cross-ply is incorrect then the fluorochrome outgrows elegance.
sent15 & sent13 -> int1: the fact that the fastener is not protozoal but it is cross-ply is wrong.; int1 & sent18 -> int2: the fluorochrome outgrows elegance.; int2 & sent6 -> int3: the stonefly is not a Gracilariidae and tosses aragonite.; sent8 -> int4: if the stonefly is not a Gracilariidae but it tosses aragonite then it tosses fluorochrome.; int3 & int4 -> int5: the stonefly tosses fluorochrome.; sent2 -> int6: the stonefly is a trauma.; int5 & int6 -> int7: the stonefly is a trauma and does toss fluorochrome.; int7 & sent16 -> int8: the stonefly is not an arm.; int8 & sent9 -> int9: the fact that the neckband is not Japanese and is not a kind of a arborvitae is wrong.; sent12 -> int10: if the fact that the neckband is not a Japanese and not a arborvitae does not hold then it is not amaurotic.; int9 & int10 -> hypothesis;
the neckband is amaurotic.
sent10 -> int11: if that the fastener is a Gracilariidae and it does toss aragonite does not hold that it does not outgrow elegance is true.;
$hypothesis$ = the neckband is amaurotic. ; $context$ = sent1: the stonefly tosses aragonite if the fluorochrome outgrows elegance. sent2: the stonefly repudiates and it is a kind of a trauma. sent3: the fluorochrome outgrows elegance if the fastener is not cross-ply. sent4: if the stonefly does not arm the fact that the neckband is Japanese thing that is not a arborvitae is false. sent5: if the fact that the fastener does not outgrow elegance hold then the neckband is amaurotic and it is powerful. sent6: if the fluorochrome outgrows elegance then the stonefly is not a Gracilariidae and does toss aragonite. sent7: the stonefly is a Japanese if it does toss fluorochrome and it does arm. sent8: if something that is not a kind of a Gracilariidae does toss aragonite then the fact that it does toss fluorochrome is not incorrect. sent9: that the neckband is not Japanese and is not a arborvitae is not correct if the stonefly is not an arm. sent10: something does not outgrow elegance if the fact that it is a kind of a Gracilariidae that tosses aragonite is not correct. sent11: the fluorochrome is not a kind of a Gracilariidae if that it is a trauma and it is a Gracilariidae is not correct. sent12: if the fact that something is both non-Japanese and not a arborvitae does not hold then it is not amaurotic. sent13: the fastener is not powerful. sent14: the stonefly repudiates. sent15: if the fastener is not powerful then the fact that it is both not protozoal and cross-ply is not correct. sent16: if the stonefly is a trauma and tosses fluorochrome it is not a kind of an arm. sent17: the neckband is not a Japanese but a trauma. sent18: if the fact that the fastener is not protozoal but it is cross-ply is incorrect then the fluorochrome outgrows elegance. ; $proof$ = 
sent15 & sent13 -> int1: the fact that the fastener is not protozoal but it is cross-ply is wrong.; int1 & sent18 -> int2: the fluorochrome outgrows elegance.; int2 & sent6 -> int3: the stonefly is not a Gracilariidae and tosses aragonite.; sent8 -> int4: if the stonefly is not a Gracilariidae but it tosses aragonite then it tosses fluorochrome.; int3 & int4 -> int5: the stonefly tosses fluorochrome.; sent2 -> int6: the stonefly is a trauma.; int5 & int6 -> int7: the stonefly is a trauma and does toss fluorochrome.; int7 & sent16 -> int8: the stonefly is not an arm.; int8 & sent9 -> int9: the fact that the neckband is not Japanese and is not a kind of a arborvitae is wrong.; sent12 -> int10: if the fact that the neckband is not a Japanese and not a arborvitae does not hold then it is not amaurotic.; int9 & int10 -> hypothesis; __DISPROVED__