the interchange is fishy thing that is not fluvial.
sent1: if something is a kind of a burled then it is non-millennial. sent2: if something does overturn timepiece it is incorrupt. sent3: something is acropetal if it does barbarize menagerie. sent4: if something does not overturn grotesque then the fact that the timepiece does overturn grotesque and it does consubstantiate is not right. sent5: if the interchange is armless the fact that it does not headquarter and it is not a kind of a wherry is incorrect. sent6: if the orient is a Congolese that it is a refugee and it does not overturn timepiece does not hold. sent7: something is not fluvial if it does not consubstantiate. sent8: if the fact that the orient is a refugee and does not overturn timepiece does not hold it does overturn timepiece. sent9: if the fact that the timepiece overturns grotesque and does consubstantiate is incorrect then it is not armless. sent10: if something is incorrupt the grotesque is a curb but not photographic. sent11: the interchange is not fluvial. sent12: the fact that the interchange does not headquarter but it is a wherry does not hold. sent13: the orient is Congolese. sent14: if something does barbarize Xylomelum the fact that it is not a allocution and it is not a Quetzalcoatl does not hold. sent15: something is fishy and not fluvial if it does not consubstantiate. sent16: if something is a curb that is not photographic it does barbarize menagerie. sent17: something does not overturn grotesque if that it is not a dowse and it groups decimalization does not hold. sent18: that the interchange headquarters and is not a wherry is not true. sent19: if the fact that something does not headquarter and it is not a wherry is wrong then it does not consubstantiate. sent20: the interchange is armless. sent21: the fact that the record-breaker is not a dowse but it does group decimalization does not hold if the grotesque is not non-acropetal.
sent5 & sent20 -> int1: that the interchange does not headquarter and is not a kind of a wherry is wrong.; sent19 -> int2: if the fact that the interchange does not headquarter and it is not a wherry is not true then it does not consubstantiate.; int1 & int2 -> int3: the interchange does not consubstantiate.; sent15 -> int4: if the interchange does not consubstantiate it is not non-fishy but non-fluvial.; int3 & int4 -> hypothesis;
the fact that the interchange is fishy but it is not fluvial is wrong.
sent17 -> int5: if that the record-breaker is not a dowse and does group decimalization does not hold then it does not overturn grotesque.; sent3 -> int6: the grotesque is acropetal if it does barbarize menagerie.; sent16 -> int7: if the grotesque is a curb that is not photographic then it does barbarize menagerie.; sent2 -> int8: if the orient overturns timepiece then it is incorrupt.; sent6 & sent13 -> int9: the fact that the orient is a kind of a refugee that does not overturn timepiece is not right.; sent8 & int9 -> int10: the orient overturns timepiece.; int8 & int10 -> int11: the orient is incorrupt.; int11 -> int12: there exists something such that it is incorrupt.; int12 & sent10 -> int13: the grotesque is a curb but not photographic.; int7 & int13 -> int14: the grotesque barbarizes menagerie.; int6 & int14 -> int15: that the grotesque is acropetal is right.; sent21 & int15 -> int16: the fact that the record-breaker does not dowse and groups decimalization is not right.; int5 & int16 -> int17: the record-breaker does not overturn grotesque.; int17 -> int18: something does not overturn grotesque.; int18 & sent4 -> int19: the fact that the timepiece does overturn grotesque and it consubstantiates is wrong.; sent9 & int19 -> int20: the timepiece is not armless.; int20 -> int21: something is not armless.;
$hypothesis$ = the interchange is fishy thing that is not fluvial. ; $context$ = sent1: if something is a kind of a burled then it is non-millennial. sent2: if something does overturn timepiece it is incorrupt. sent3: something is acropetal if it does barbarize menagerie. sent4: if something does not overturn grotesque then the fact that the timepiece does overturn grotesque and it does consubstantiate is not right. sent5: if the interchange is armless the fact that it does not headquarter and it is not a kind of a wherry is incorrect. sent6: if the orient is a Congolese that it is a refugee and it does not overturn timepiece does not hold. sent7: something is not fluvial if it does not consubstantiate. sent8: if the fact that the orient is a refugee and does not overturn timepiece does not hold it does overturn timepiece. sent9: if the fact that the timepiece overturns grotesque and does consubstantiate is incorrect then it is not armless. sent10: if something is incorrupt the grotesque is a curb but not photographic. sent11: the interchange is not fluvial. sent12: the fact that the interchange does not headquarter but it is a wherry does not hold. sent13: the orient is Congolese. sent14: if something does barbarize Xylomelum the fact that it is not a allocution and it is not a Quetzalcoatl does not hold. sent15: something is fishy and not fluvial if it does not consubstantiate. sent16: if something is a curb that is not photographic it does barbarize menagerie. sent17: something does not overturn grotesque if that it is not a dowse and it groups decimalization does not hold. sent18: that the interchange headquarters and is not a wherry is not true. sent19: if the fact that something does not headquarter and it is not a wherry is wrong then it does not consubstantiate. sent20: the interchange is armless. sent21: the fact that the record-breaker is not a dowse but it does group decimalization does not hold if the grotesque is not non-acropetal. ; $proof$ = 
sent5 & sent20 -> int1: that the interchange does not headquarter and is not a kind of a wherry is wrong.; sent19 -> int2: if the fact that the interchange does not headquarter and it is not a wherry is not true then it does not consubstantiate.; int1 & int2 -> int3: the interchange does not consubstantiate.; sent15 -> int4: if the interchange does not consubstantiate it is not non-fishy but non-fluvial.; int3 & int4 -> hypothesis; __PROVED__