that the outfit is not a kind of a basidiolichen but it is a kind of a mignonette is not correct.
sent1: there exists something such that it is a Hepburn. sent2: the Ghanian is not a kind of a Hepburn if something that reorients trussed is not a kind of a gunmetal. sent3: if that the fact that the outfit reorients trussed and it is parabolic is false is not incorrect it is not a kind of a mignonette. sent4: if the Ghanian is a Rome it is parabolic. sent5: something reorients trussed and is not a kind of a gunmetal if it does not recess. sent6: the fact that if the Ghanian is not a recess and/or it is the Rome the Ghanian is parabolic is not incorrect. sent7: the mediastinum is elfin if the Ghanian is parabolic. sent8: the checkerboard does not reorient Loki if the afterburner reorient Loki. sent9: that the afterburner reorients Loki is right. sent10: if the Ghanian is elfin the mediastinum does reorient trussed. sent11: if that something reorients Turkoman but it is not elfin does not hold the fact that it is not parabolic is true. sent12: if that the murderer is a kind of parabolic thing that is not a Rome is not correct the fact that the mediastinum is not a recess is correct. sent13: that the outfit is a basidiolichen and is a mignonette is not right. sent14: if there exists something such that the fact that it does not reorient trussed and it is not a gunmetal is false the mediastinum reorient trussed. sent15: if there is something such that it is elfin then the fact that the Ghanian is a gunmetal and a mignonette does not hold. sent16: that the Ghanian is not a recess is true if the fact that it reorients trussed and it is a gunmetal is not true. sent17: the fact that the checkerboard does reorient Turkoman but it is not elfin is incorrect if it does not reorient Loki. sent18: the Ghanian is not a kind of a recess if it is not a gunmetal. sent19: if the mediastinum is not a basidiolichen and/or is parabolic it is elfin. sent20: that the Ghanian is a fade that is a gunmetal does not hold. sent21: if there are non-parabolic things the fact that the murderer is parabolic but it is not a Rome is not right. sent22: the outfit is a gunmetal if the Ghanian is a Rome. sent23: if the mediastinum is elfin then that the fact that the outfit is not a basidiolichen and is a mignonette is not wrong is not correct. sent24: the fact that the outfit is a basidiolichen and it is a mignonette is not right if the mediastinum is elfin. sent25: that the Ghanian does reorient trussed and it is a kind of a gunmetal is not correct if something is a Hepburn.
sent1 & sent25 -> int1: that the Ghanian reorients trussed and is a gunmetal does not hold.; int1 & sent16 -> int2: the Ghanian is not a recess.; int2 -> int3: either the Ghanian is not a recess or it is a kind of a Rome or both.; int3 & sent6 -> int4: the Ghanian is parabolic.; int4 & sent7 -> int5: the mediastinum is elfin.; int5 & sent23 -> hypothesis;
the outfit is not a basidiolichen and is a mignonette.
sent5 -> int6: the mediastinum does reorient trussed but it is not a gunmetal if it is not a kind of a recess.; sent11 -> int7: the checkerboard is not parabolic if the fact that it reorients Turkoman and it is not elfin is not correct.; sent8 & sent9 -> int8: the fact that the checkerboard does not reorient Loki hold.; sent17 & int8 -> int9: that the checkerboard does reorient Turkoman but it is not elfin does not hold.; int7 & int9 -> int10: the checkerboard is not parabolic.; int10 -> int11: there are non-parabolic things.; int11 & sent21 -> int12: the fact that the murderer is parabolic but it is not a Rome is incorrect.; sent12 & int12 -> int13: the mediastinum does not recess.; int6 & int13 -> int14: the mediastinum does reorient trussed but it is not a gunmetal.; int14 -> int15: there is something such that it does reorient trussed and it is not a kind of a gunmetal.; int15 & sent2 -> int16: the Ghanian is not a kind of a Hepburn.; int16 -> int17: there exists something such that it is not a Hepburn.;
$hypothesis$ = that the outfit is not a kind of a basidiolichen but it is a kind of a mignonette is not correct. ; $context$ = sent1: there exists something such that it is a Hepburn. sent2: the Ghanian is not a kind of a Hepburn if something that reorients trussed is not a kind of a gunmetal. sent3: if that the fact that the outfit reorients trussed and it is parabolic is false is not incorrect it is not a kind of a mignonette. sent4: if the Ghanian is a Rome it is parabolic. sent5: something reorients trussed and is not a kind of a gunmetal if it does not recess. sent6: the fact that if the Ghanian is not a recess and/or it is the Rome the Ghanian is parabolic is not incorrect. sent7: the mediastinum is elfin if the Ghanian is parabolic. sent8: the checkerboard does not reorient Loki if the afterburner reorient Loki. sent9: that the afterburner reorients Loki is right. sent10: if the Ghanian is elfin the mediastinum does reorient trussed. sent11: if that something reorients Turkoman but it is not elfin does not hold the fact that it is not parabolic is true. sent12: if that the murderer is a kind of parabolic thing that is not a Rome is not correct the fact that the mediastinum is not a recess is correct. sent13: that the outfit is a basidiolichen and is a mignonette is not right. sent14: if there exists something such that the fact that it does not reorient trussed and it is not a gunmetal is false the mediastinum reorient trussed. sent15: if there is something such that it is elfin then the fact that the Ghanian is a gunmetal and a mignonette does not hold. sent16: that the Ghanian is not a recess is true if the fact that it reorients trussed and it is a gunmetal is not true. sent17: the fact that the checkerboard does reorient Turkoman but it is not elfin is incorrect if it does not reorient Loki. sent18: the Ghanian is not a kind of a recess if it is not a gunmetal. sent19: if the mediastinum is not a basidiolichen and/or is parabolic it is elfin. sent20: that the Ghanian is a fade that is a gunmetal does not hold. sent21: if there are non-parabolic things the fact that the murderer is parabolic but it is not a Rome is not right. sent22: the outfit is a gunmetal if the Ghanian is a Rome. sent23: if the mediastinum is elfin then that the fact that the outfit is not a basidiolichen and is a mignonette is not wrong is not correct. sent24: the fact that the outfit is a basidiolichen and it is a mignonette is not right if the mediastinum is elfin. sent25: that the Ghanian does reorient trussed and it is a kind of a gunmetal is not correct if something is a Hepburn. ; $proof$ = 
sent1 & sent25 -> int1: that the Ghanian reorients trussed and is a gunmetal does not hold.; int1 & sent16 -> int2: the Ghanian is not a recess.; int2 -> int3: either the Ghanian is not a recess or it is a kind of a Rome or both.; int3 & sent6 -> int4: the Ghanian is parabolic.; int4 & sent7 -> int5: the mediastinum is elfin.; int5 & sent23 -> hypothesis; __PROVED__