that the Vandal is not a plumb and does not consolidate Revere is wrong.
sent1: the biohazard is a kind of a breadroot but it does not consolidate worm if the bedside does consolidate worm. sent2: something that does not eventuate consolidates worm. sent3: something that consolidates worm is not a kind of a plumb and does not consolidate Revere. sent4: the fact that the Vandal does plumb but it does not consolidate Revere is false. sent5: something that is not a Jungian does not eventuate. sent6: if the bibliopole is essential then it does consolidate levitation. sent7: the bibliopole is essential if the biohazard is a breadroot and does not consolidate worm. sent8: that the Vandal is not a kind of a plumb and does not consolidate Revere does not hold if it does bean. sent9: the bedside is not a Jungian. sent10: the fact that the biohazard does not consolidate worm and is a plumb is not right. sent11: if the bibliopole consolidates levitation the Vandal is a bean.
sent5 -> int1: the bedside does not eventuate if it is not a kind of a Jungian.; int1 & sent9 -> int2: the bedside does not eventuate.; sent2 -> int3: the bedside consolidates worm if it does not eventuate.; int2 & int3 -> int4: the bedside consolidates worm.; int4 & sent1 -> int5: the biohazard is a breadroot and does not consolidate worm.; int5 & sent7 -> int6: the bibliopole is essential.; int6 & sent6 -> int7: the bibliopole consolidates levitation.; int7 & sent11 -> int8: the Vandal does bean.; int8 & sent8 -> hypothesis;
the Vandal is not a kind of a plumb and it does not consolidate Revere.
sent3 -> int9: if the Vandal does consolidate worm then it is not a plumb and it does not consolidate Revere.;
$hypothesis$ = that the Vandal is not a plumb and does not consolidate Revere is wrong. ; $context$ = sent1: the biohazard is a kind of a breadroot but it does not consolidate worm if the bedside does consolidate worm. sent2: something that does not eventuate consolidates worm. sent3: something that consolidates worm is not a kind of a plumb and does not consolidate Revere. sent4: the fact that the Vandal does plumb but it does not consolidate Revere is false. sent5: something that is not a Jungian does not eventuate. sent6: if the bibliopole is essential then it does consolidate levitation. sent7: the bibliopole is essential if the biohazard is a breadroot and does not consolidate worm. sent8: that the Vandal is not a kind of a plumb and does not consolidate Revere does not hold if it does bean. sent9: the bedside is not a Jungian. sent10: the fact that the biohazard does not consolidate worm and is a plumb is not right. sent11: if the bibliopole consolidates levitation the Vandal is a bean. ; $proof$ = 
sent5 -> int1: the bedside does not eventuate if it is not a kind of a Jungian.; int1 & sent9 -> int2: the bedside does not eventuate.; sent2 -> int3: the bedside consolidates worm if it does not eventuate.; int2 & int3 -> int4: the bedside consolidates worm.; int4 & sent1 -> int5: the biohazard is a breadroot and does not consolidate worm.; int5 & sent7 -> int6: the bibliopole is essential.; int6 & sent6 -> int7: the bibliopole consolidates levitation.; int7 & sent11 -> int8: the Vandal does bean.; int8 & sent8 -> hypothesis; __PROVED__