the guildhall festoons consomme.
sent1: the blackfly is not hopeful and/or is not a kind of a defeat. sent2: the fact that the guildhall is a revoke and it is syncretic is false. sent3: if that the guildhall is both not a revoke and syncretic is not true it is not a levy. sent4: if the video is not non-syncretic then the main levies. sent5: the guildhall is not indispensable and/or it is not hopeful. sent6: something festoons consomme if it is accordant. sent7: the croup is not syncretic. sent8: if the guildhall strands pensiveness that it is a kind of a painted does not hold. sent9: the guildhall is both accordant and not nonracial if it is not a levy. sent10: the guildhall is not dependable if that it is not a tropism and condescends is not true. sent11: if the guildhall is not a revoke it is not hopeful. sent12: if the main is a levy then that the nutmeg-yew does not revoke but it is hopeful is not correct. sent13: if something does not festoon consomme then it is not nonracial. sent14: if something is not hopeful it is not a kind of a revoke. sent15: something is not a revoke if it is not a defeat. sent16: the blackfly is hopeful if that it does stagger is not incorrect. sent17: that the blackfly does not festoon consomme and is a revoke is wrong if the guildhall does not festoon consomme. sent18: the blackfly is not syncretic. sent19: if the blackfly is not a kind of a revoke the fact that the guildhall is not a revoke and is syncretic does not hold.
sent14 -> int1: the blackfly is not a kind of a revoke if the fact that it is not hopeful hold.; sent15 -> int2: the blackfly is not a revoke if it is not a defeat.; int1 & sent1 & int2 -> int3: that the blackfly is not a kind of a revoke hold.; int3 & sent19 -> int4: the fact that the guildhall is not a revoke but it is syncretic is incorrect.; int4 & sent3 -> int5: the guildhall does not levy.; int5 & sent9 -> int6: the guildhall is accordant and is not nonracial.; int6 -> int7: the guildhall is accordant.; sent6 -> int8: if that the guildhall is accordant is not wrong then that it does festoon consomme is not incorrect.; int7 & int8 -> hypothesis;
the guildhall does not festoon consomme.
$hypothesis$ = the guildhall festoons consomme. ; $context$ = sent1: the blackfly is not hopeful and/or is not a kind of a defeat. sent2: the fact that the guildhall is a revoke and it is syncretic is false. sent3: if that the guildhall is both not a revoke and syncretic is not true it is not a levy. sent4: if the video is not non-syncretic then the main levies. sent5: the guildhall is not indispensable and/or it is not hopeful. sent6: something festoons consomme if it is accordant. sent7: the croup is not syncretic. sent8: if the guildhall strands pensiveness that it is a kind of a painted does not hold. sent9: the guildhall is both accordant and not nonracial if it is not a levy. sent10: the guildhall is not dependable if that it is not a tropism and condescends is not true. sent11: if the guildhall is not a revoke it is not hopeful. sent12: if the main is a levy then that the nutmeg-yew does not revoke but it is hopeful is not correct. sent13: if something does not festoon consomme then it is not nonracial. sent14: if something is not hopeful it is not a kind of a revoke. sent15: something is not a revoke if it is not a defeat. sent16: the blackfly is hopeful if that it does stagger is not incorrect. sent17: that the blackfly does not festoon consomme and is a revoke is wrong if the guildhall does not festoon consomme. sent18: the blackfly is not syncretic. sent19: if the blackfly is not a kind of a revoke the fact that the guildhall is not a revoke and is syncretic does not hold. ; $proof$ = 
sent14 -> int1: the blackfly is not a kind of a revoke if the fact that it is not hopeful hold.; sent15 -> int2: the blackfly is not a revoke if it is not a defeat.; int1 & sent1 & int2 -> int3: that the blackfly is not a kind of a revoke hold.; int3 & sent19 -> int4: the fact that the guildhall is not a revoke but it is syncretic is incorrect.; int4 & sent3 -> int5: the guildhall does not levy.; int5 & sent9 -> int6: the guildhall is accordant and is not nonracial.; int6 -> int7: the guildhall is accordant.; sent6 -> int8: if that the guildhall is accordant is not wrong then that it does festoon consomme is not incorrect.; int7 & int8 -> hypothesis; __PROVED__