the millionaire is vibrionic.
sent1: that the acyl is not a kind of a leach if something does bifurcate hold. sent2: if there is something such that it is a kind of a vignette and is not contrasty then the hashish does bifurcate. sent3: the terrier is a vignette but it is not contrasty. sent4: the terrier is a vignette. sent5: something is a vignette and it is contrasty. sent6: the acyl does not squat CPR and it is not a kind of a leach if something does bifurcate. sent7: the acyl is not a leach. sent8: if the acyl does not squat CPR and leaches the millionaire is not vibrionic. sent9: if something that is a kind of a leach is not contrasty the acyl is a vignette. sent10: that something does squat CPR if it is a leach is not false. sent11: there is something such that it is a kind of a lido. sent12: if the terrier is not a vignette and it does not bifurcate then the millionaire is not vibrionic. sent13: there exists something such that it is a kind of a vignette. sent14: there exists something such that it is not contrasty. sent15: if something that squats CPR does bifurcate then the millionaire is vibrionic. sent16: the millionaire is not vibrionic if the acyl does not squat CPR and is not a kind of a leach.
sent3 -> int1: something is a vignette but it is not contrasty.; int1 & sent2 -> int2: the hashish bifurcates.; int2 -> int3: there is something such that it does bifurcate.; int3 & sent6 -> int4: the acyl does not squat CPR and it does not leach.; sent16 & int4 -> hypothesis;
the millionaire is vibrionic.
sent10 -> int5: the acyl squats CPR if it is a kind of a leach.;
$hypothesis$ = the millionaire is vibrionic. ; $context$ = sent1: that the acyl is not a kind of a leach if something does bifurcate hold. sent2: if there is something such that it is a kind of a vignette and is not contrasty then the hashish does bifurcate. sent3: the terrier is a vignette but it is not contrasty. sent4: the terrier is a vignette. sent5: something is a vignette and it is contrasty. sent6: the acyl does not squat CPR and it is not a kind of a leach if something does bifurcate. sent7: the acyl is not a leach. sent8: if the acyl does not squat CPR and leaches the millionaire is not vibrionic. sent9: if something that is a kind of a leach is not contrasty the acyl is a vignette. sent10: that something does squat CPR if it is a leach is not false. sent11: there is something such that it is a kind of a lido. sent12: if the terrier is not a vignette and it does not bifurcate then the millionaire is not vibrionic. sent13: there exists something such that it is a kind of a vignette. sent14: there exists something such that it is not contrasty. sent15: if something that squats CPR does bifurcate then the millionaire is vibrionic. sent16: the millionaire is not vibrionic if the acyl does not squat CPR and is not a kind of a leach. ; $proof$ = 
sent3 -> int1: something is a vignette but it is not contrasty.; int1 & sent2 -> int2: the hashish bifurcates.; int2 -> int3: there is something such that it does bifurcate.; int3 & sent6 -> int4: the acyl does not squat CPR and it does not leach.; sent16 & int4 -> hypothesis; __DISPROVED__