that the outpatient is not cognitive and it is not a kind of a diffusion is not right.
sent1: something that trisects Burlington does negotiate beehive. sent2: that something is a hydrogen and does not soldier Honduran is wrong if it is syntactic. sent3: the fact that the beehive is a kind of a hydrogen that does soldier Honduran does not hold. sent4: if the beehive is syntactic and it is a hydrogen then the outpatient does not soldier Honduran. sent5: the fact that the beehive is a hydrogen and it does soldier Honduran is incorrect if that it is syntactic hold. sent6: the beehive does not negotiate chrysotile and does not peep. sent7: if the fact that something is a kind of a hydrogen that does not soldier Honduran is not right then it does trisect Burlington. sent8: the beehive does not negotiate chrysotile. sent9: if something that does not negotiate chrysotile does not peep it does not negotiate beehive. sent10: something trisects Burlington if it does soldier Honduran. sent11: that the beehive trisects Burlington is right if it does soldier Honduran. sent12: that the movie does not negotiate chrysotile hold if it does not peep and/or negotiates beehive. sent13: the fact that the outpatient is both cognitive and not a diffusion is not true. sent14: something is not cognitive and it is not a kind of a diffusion if it does not soldier Honduran. sent15: the beehive is syntactic if the outpatient is cognitive thing that is not a kind of a diffusion. sent16: if the outpatient is a diffusion the fact that it is a kind of cognitive thing that is not a hydrogen does not hold. sent17: the movie does not peep and/or it does negotiate beehive.
void -> assump1: Let's assume that the outpatient is not cognitive and it is not a diffusion.; sent2 -> int1: if the beehive is syntactic then the fact that it is a hydrogen and it does not soldier Honduran does not hold.; sent7 -> int2: the beehive does trisect Burlington if the fact that it is a hydrogen and does not soldier Honduran does not hold.; sent1 -> int3: if the beehive does trisect Burlington then it does negotiate beehive.; sent9 -> int4: if that the beehive does not negotiate chrysotile and does not peep is not incorrect it does not negotiate beehive.; int4 & sent6 -> int5: the beehive does not negotiate beehive.;
the outpatient is not cognitive and is not a diffusion.
sent14 -> int6: if the outpatient does not soldier Honduran then it is a kind of non-cognitive thing that is not a kind of a diffusion.; sent12 & sent17 -> int7: the movie does not negotiate chrysotile.; int7 -> int8: the movie does not trisect Burlington and/or does not negotiate chrysotile.; int8 -> int9: there is something such that it does not trisect Burlington and/or does not negotiate chrysotile.;
$hypothesis$ = that the outpatient is not cognitive and it is not a kind of a diffusion is not right. ; $context$ = sent1: something that trisects Burlington does negotiate beehive. sent2: that something is a hydrogen and does not soldier Honduran is wrong if it is syntactic. sent3: the fact that the beehive is a kind of a hydrogen that does soldier Honduran does not hold. sent4: if the beehive is syntactic and it is a hydrogen then the outpatient does not soldier Honduran. sent5: the fact that the beehive is a hydrogen and it does soldier Honduran is incorrect if that it is syntactic hold. sent6: the beehive does not negotiate chrysotile and does not peep. sent7: if the fact that something is a kind of a hydrogen that does not soldier Honduran is not right then it does trisect Burlington. sent8: the beehive does not negotiate chrysotile. sent9: if something that does not negotiate chrysotile does not peep it does not negotiate beehive. sent10: something trisects Burlington if it does soldier Honduran. sent11: that the beehive trisects Burlington is right if it does soldier Honduran. sent12: that the movie does not negotiate chrysotile hold if it does not peep and/or negotiates beehive. sent13: the fact that the outpatient is both cognitive and not a diffusion is not true. sent14: something is not cognitive and it is not a kind of a diffusion if it does not soldier Honduran. sent15: the beehive is syntactic if the outpatient is cognitive thing that is not a kind of a diffusion. sent16: if the outpatient is a diffusion the fact that it is a kind of cognitive thing that is not a hydrogen does not hold. sent17: the movie does not peep and/or it does negotiate beehive. ; $proof$ = 
void -> assump1: Let's assume that the outpatient is not cognitive and it is not a diffusion.; sent2 -> int1: if the beehive is syntactic then the fact that it is a hydrogen and it does not soldier Honduran does not hold.; sent7 -> int2: the beehive does trisect Burlington if the fact that it is a hydrogen and does not soldier Honduran does not hold.; sent1 -> int3: if the beehive does trisect Burlington then it does negotiate beehive.; sent9 -> int4: if that the beehive does not negotiate chrysotile and does not peep is not incorrect it does not negotiate beehive.; int4 & sent6 -> int5: the beehive does not negotiate beehive.; __UNKNOWN__