that there is something such that it is a shogi and does run is not true.
sent1: the Coigue is a kind of chaetognathan thing that is a jawan if it does not rotate baggageman. sent2: if something is a kind of a jawan then it does gear playhouse and/or it is not a saccule. sent3: if that the timer runs is right it is a jawan. sent4: the anatomy is a kind of a run. sent5: the Coigue is neurasthenic. sent6: the Coigue is a kind of a saccule. sent7: if the fact that the Coigue is a kind of a saccule is not incorrect it is a jawan. sent8: something is both a run and neurasthenic. sent9: the Coigue is neurasthenic if it is not cryptobiotic. sent10: something gears pervaporation if it does rotate flashiness. sent11: something does run if it is a jawan. sent12: there exists something such that it does camber Isere. sent13: the fact that if the Coigue is not cryptobiotic then the Coigue is both neurasthenic and a shogi is right. sent14: the Coigue does prejudice Caproidae. sent15: that something is a run is correct. sent16: the Coigue is not cryptobiotic. sent17: the shirtdress is not a jawan.
sent7 & sent6 -> int1: the Coigue is a jawan.; sent11 -> int2: the Coigue is a kind of a run if it is a jawan.; int1 & int2 -> int3: the Coigue is a run.; sent13 & sent16 -> int4: the Coigue is a neurasthenic and it is a kind of a shogi.; int4 -> int5: the Coigue is a shogi.; int3 & int5 -> int6: the Coigue is a shogi and it does run.; int6 -> hypothesis;
something gears playhouse and cambers lorry.
sent2 -> int7: if the timer is a jawan then either it gears playhouse or it is not a saccule or both.;
$hypothesis$ = that there is something such that it is a shogi and does run is not true. ; $context$ = sent1: the Coigue is a kind of chaetognathan thing that is a jawan if it does not rotate baggageman. sent2: if something is a kind of a jawan then it does gear playhouse and/or it is not a saccule. sent3: if that the timer runs is right it is a jawan. sent4: the anatomy is a kind of a run. sent5: the Coigue is neurasthenic. sent6: the Coigue is a kind of a saccule. sent7: if the fact that the Coigue is a kind of a saccule is not incorrect it is a jawan. sent8: something is both a run and neurasthenic. sent9: the Coigue is neurasthenic if it is not cryptobiotic. sent10: something gears pervaporation if it does rotate flashiness. sent11: something does run if it is a jawan. sent12: there exists something such that it does camber Isere. sent13: the fact that if the Coigue is not cryptobiotic then the Coigue is both neurasthenic and a shogi is right. sent14: the Coigue does prejudice Caproidae. sent15: that something is a run is correct. sent16: the Coigue is not cryptobiotic. sent17: the shirtdress is not a jawan. ; $proof$ = 
sent7 & sent6 -> int1: the Coigue is a jawan.; sent11 -> int2: the Coigue is a kind of a run if it is a jawan.; int1 & int2 -> int3: the Coigue is a run.; sent13 & sent16 -> int4: the Coigue is a neurasthenic and it is a kind of a shogi.; int4 -> int5: the Coigue is a shogi.; int3 & int5 -> int6: the Coigue is a shogi and it does run.; int6 -> hypothesis; __DISPROVED__