the symphilid is a kind of non-perfected thing that is a crane.
sent1: the crystallite is not perfected if a howler is a nightshade. sent2: the symphilid geysers organelle. sent3: the aminoplast is monochromatic. sent4: if the tracer is not euphemistic then the fact that it geysers organelle and it is a Strachey does not hold. sent5: if the tracer geysers organelle then the aminoplast is a Strachey and/or not euphemistic. sent6: if either the aminoplast is a Strachey or it is not euphemistic or both then the symphilid is not euphemistic. sent7: if the aminoplast is agronomic and monochromatic the tracer is not euphemistic. sent8: the crystallite is not a kind of a Strachey. sent9: the tracer is a nightshade. sent10: there is something such that it is a howler. sent11: the symphilid is a kind of a crane if the crystallite does not perfect. sent12: the symphilid is a crane. sent13: something is agronomic thing that is monochromatic if it is non-euphemistic. sent14: if the tracer is not euphemistic then that that it geysers organelle and is not a Strachey hold is false. sent15: the crystallite does talc Ahura and is a compounded. sent16: if the tracer is both not a Strachey and euphemistic it is not monochromatic. sent17: that the fact that something is both not perfected and a crane is not incorrect is incorrect if it is agronomic. sent18: if the tracer is a Strachey it is a howler. sent19: if something is not monochromatic then that it is a crane and it is agronomic is not true. sent20: if the crystallite is not perfected the symphilid is not perfected but it does crane. sent21: the fact that there exists something such that it is a nightshade is not incorrect. sent22: the fact that the tracer does geyser organelle and is a Strachey is not right. sent23: the aminoplast is agronomic. sent24: the barmaid is a howler that is not agronomic if the aminoplast is not monochromatic. sent25: the Manichaean is a Strachey and it does model. sent26: the tracer is not a kind of a Strachey. sent27: if the fact that the tracer does geyser organelle and is not a kind of a Strachey does not hold then it is a kind of a howler.
sent23 & sent3 -> int1: the aminoplast is agronomic and it is monochromatic.; int1 & sent7 -> int2: the tracer is not euphemistic.; int2 & sent14 -> int3: that the tracer does geyser organelle but it is not a kind of a Strachey is not correct.; int3 & sent27 -> int4: the tracer is a kind of a howler.; int4 & sent9 -> int5: the tracer is a howler that is a nightshade.; int5 -> int6: something is a howler and it is a kind of a nightshade.; int6 & sent1 -> int7: the crystallite does not perfect.; int7 & sent20 -> hypothesis;
the fact that the symphilid is non-perfected a crane does not hold.
sent19 -> int8: that the tracer cranes and it is agronomic is incorrect if it is not monochromatic.;
$hypothesis$ = the symphilid is a kind of non-perfected thing that is a crane. ; $context$ = sent1: the crystallite is not perfected if a howler is a nightshade. sent2: the symphilid geysers organelle. sent3: the aminoplast is monochromatic. sent4: if the tracer is not euphemistic then the fact that it geysers organelle and it is a Strachey does not hold. sent5: if the tracer geysers organelle then the aminoplast is a Strachey and/or not euphemistic. sent6: if either the aminoplast is a Strachey or it is not euphemistic or both then the symphilid is not euphemistic. sent7: if the aminoplast is agronomic and monochromatic the tracer is not euphemistic. sent8: the crystallite is not a kind of a Strachey. sent9: the tracer is a nightshade. sent10: there is something such that it is a howler. sent11: the symphilid is a kind of a crane if the crystallite does not perfect. sent12: the symphilid is a crane. sent13: something is agronomic thing that is monochromatic if it is non-euphemistic. sent14: if the tracer is not euphemistic then that that it geysers organelle and is not a Strachey hold is false. sent15: the crystallite does talc Ahura and is a compounded. sent16: if the tracer is both not a Strachey and euphemistic it is not monochromatic. sent17: that the fact that something is both not perfected and a crane is not incorrect is incorrect if it is agronomic. sent18: if the tracer is a Strachey it is a howler. sent19: if something is not monochromatic then that it is a crane and it is agronomic is not true. sent20: if the crystallite is not perfected the symphilid is not perfected but it does crane. sent21: the fact that there exists something such that it is a nightshade is not incorrect. sent22: the fact that the tracer does geyser organelle and is a Strachey is not right. sent23: the aminoplast is agronomic. sent24: the barmaid is a howler that is not agronomic if the aminoplast is not monochromatic. sent25: the Manichaean is a Strachey and it does model. sent26: the tracer is not a kind of a Strachey. sent27: if the fact that the tracer does geyser organelle and is not a kind of a Strachey does not hold then it is a kind of a howler. ; $proof$ = 
sent23 & sent3 -> int1: the aminoplast is agronomic and it is monochromatic.; int1 & sent7 -> int2: the tracer is not euphemistic.; int2 & sent14 -> int3: that the tracer does geyser organelle but it is not a kind of a Strachey is not correct.; int3 & sent27 -> int4: the tracer is a kind of a howler.; int4 & sent9 -> int5: the tracer is a howler that is a nightshade.; int5 -> int6: something is a howler and it is a kind of a nightshade.; int6 & sent1 -> int7: the crystallite does not perfect.; int7 & sent20 -> hypothesis; __PROVED__