the glacier trisects elytron and it negotiates afterimage.
sent1: something trisects elytron if it is not a Higginson. sent2: something that either does not negotiate afterimage or is amoebic or both does not negotiate afterimage. sent3: the nystatin is Falstaffian if the Berlin is a seashore that is not a effecter. sent4: the glacier is a effecter if that the nystatin is a seashore is not false. sent5: something is not a wallow. sent6: the fact that the nystatin is a kind of a seashore is correct if the airport is amoebic. sent7: the airport is amoebic or it is Falstaffian or both. sent8: the nystatin is a seashore if the airport is Falstaffian. sent9: if a effecter does not tick then it is not a Higginson. sent10: if there is something such that it does not wallow then the glacier is not a tick.
sent7 & sent6 & sent8 -> int1: that the nystatin is a kind of a seashore hold.; int1 & sent4 -> int2: the glacier is a effecter.; sent5 & sent10 -> int3: that the glacier is not a kind of a tick is not wrong.; int2 & int3 -> int4: the glacier is a kind of a effecter but it is not a tick.; sent9 -> int5: if the glacier is both a effecter and not a tick it is not a kind of a Higginson.; int4 & int5 -> int6: that the glacier is not a Higginson hold.; sent1 -> int7: if the glacier is not a kind of a Higginson it trisects elytron.; int6 & int7 -> int8: the glacier trisects elytron.;
that the glacier does trisect elytron and negotiates afterimage is wrong.
sent2 -> int9: the airport does not negotiate afterimage if it does not negotiate afterimage or it is amoebic or both.;
$hypothesis$ = the glacier trisects elytron and it negotiates afterimage. ; $context$ = sent1: something trisects elytron if it is not a Higginson. sent2: something that either does not negotiate afterimage or is amoebic or both does not negotiate afterimage. sent3: the nystatin is Falstaffian if the Berlin is a seashore that is not a effecter. sent4: the glacier is a effecter if that the nystatin is a seashore is not false. sent5: something is not a wallow. sent6: the fact that the nystatin is a kind of a seashore is correct if the airport is amoebic. sent7: the airport is amoebic or it is Falstaffian or both. sent8: the nystatin is a seashore if the airport is Falstaffian. sent9: if a effecter does not tick then it is not a Higginson. sent10: if there is something such that it does not wallow then the glacier is not a tick. ; $proof$ = 
sent7 & sent6 & sent8 -> int1: that the nystatin is a kind of a seashore hold.; int1 & sent4 -> int2: the glacier is a effecter.; sent5 & sent10 -> int3: that the glacier is not a kind of a tick is not wrong.; int2 & int3 -> int4: the glacier is a kind of a effecter but it is not a tick.; sent9 -> int5: if the glacier is both a effecter and not a tick it is not a kind of a Higginson.; int4 & int5 -> int6: that the glacier is not a Higginson hold.; sent1 -> int7: if the glacier is not a kind of a Higginson it trisects elytron.; int6 & int7 -> int8: the glacier trisects elytron.; __UNKNOWN__