that the sport does not usher vara if the heliopause does exhilarate Guy is wrong.
sent1: if something is dicarboxylic then it is a nog. sent2: the heliopause does not usher vara if the sport is a kind of a Sterne. sent3: the sport is unsympathetic and does usher vara. sent4: if something is a kind of a Sterne then it is close. sent5: the heliopause is not brahminic if the sport does usher vara and exhilarates Guy. sent6: the sport is a kind of on-site a Taylor. sent7: if the heliopause does exhilarate Guy and it does close then the sport does not usher vara. sent8: the airbus does exhilarate Guy. sent9: something is a kind of a Sterne if that it ushers vara is not false. sent10: if the heliopause is a Sterne then the fact that the sport is close hold. sent11: if something is a tartan it is a fantan. sent12: the heliopause is both brahminic and a Sterne. sent13: if the heliopause does usher vara and it is a Sterne that the sport is not brahminic is true. sent14: the sport does embower guesthouse. sent15: the heliopause does not usher vara. sent16: if that the heliopause is a Sterne is correct then the sport is not brahminic. sent17: the heliopause closes if it ushers vara. sent18: the sport is a Sterne and it ushers vara. sent19: the Guy does not close.
sent12 -> int1: the heliopause is a Sterne.; sent4 -> int2: the heliopause is close if it is a Sterne.; int1 & int2 -> int3: the fact that the heliopause does close hold.; void -> assump1: Let's assume that the heliopause does exhilarate Guy.; int3 & assump1 -> int4: the heliopause does exhilarate Guy and is close.; int4 & sent7 -> int5: the sport does not usher vara.; [assump1] & int5 -> hypothesis;
$hypothesis$ = that the sport does not usher vara if the heliopause does exhilarate Guy is wrong. ; $context$ = sent1: if something is dicarboxylic then it is a nog. sent2: the heliopause does not usher vara if the sport is a kind of a Sterne. sent3: the sport is unsympathetic and does usher vara. sent4: if something is a kind of a Sterne then it is close. sent5: the heliopause is not brahminic if the sport does usher vara and exhilarates Guy. sent6: the sport is a kind of on-site a Taylor. sent7: if the heliopause does exhilarate Guy and it does close then the sport does not usher vara. sent8: the airbus does exhilarate Guy. sent9: something is a kind of a Sterne if that it ushers vara is not false. sent10: if the heliopause is a Sterne then the fact that the sport is close hold. sent11: if something is a tartan it is a fantan. sent12: the heliopause is both brahminic and a Sterne. sent13: if the heliopause does usher vara and it is a Sterne that the sport is not brahminic is true. sent14: the sport does embower guesthouse. sent15: the heliopause does not usher vara. sent16: if that the heliopause is a Sterne is correct then the sport is not brahminic. sent17: the heliopause closes if it ushers vara. sent18: the sport is a Sterne and it ushers vara. sent19: the Guy does not close. ; $proof$ = 
sent12 -> int1: the heliopause is a Sterne.; sent4 -> int2: the heliopause is close if it is a Sterne.; int1 & int2 -> int3: the fact that the heliopause does close hold.; void -> assump1: Let's assume that the heliopause does exhilarate Guy.; int3 & assump1 -> int4: the heliopause does exhilarate Guy and is close.; int4 & sent7 -> int5: the sport does not usher vara.; [assump1] & int5 -> hypothesis; __DISPROVED__