that the pipistrelle either is a kind of a Riverside or gins chipper or both does not hold.
sent1: the brickwork gins wadi. sent2: that something is a Riverside and/or gins chipper is incorrect if it does not stare nosh-up. sent3: there exists something such that it does stare nosh-up. sent4: everything does gin wadi and it does hand. sent5: if the duffel gins wadi the mycomycin gins wadi. sent6: if the fact that the duffel is a kind of a Vanuatu or does not scrabble or both is correct the brickwork is a kind of a headpin. sent7: if a headpin is a hands the pipistrelle gins chipper. sent8: the duffel is a Vanuatu and a relish if something stares nosh-up.
sent3 & sent8 -> int1: the duffel is a Vanuatu and it is a kind of a relish.; int1 -> int2: the duffel is a Vanuatu.; int2 -> int3: the duffel either is a Vanuatu or does not scrabble or both.; int3 & sent6 -> int4: the brickwork is a headpin.; sent4 -> int5: the brickwork does gin wadi and it is a hands.; int5 -> int6: the brickwork is a kind of a hands.; int4 & int6 -> int7: the fact that the brickwork is a headpin and it hands is not incorrect.; int7 -> int8: there exists something such that it is a headpin and hands.; int8 & sent7 -> int9: the pipistrelle gins chipper.; int9 -> hypothesis;
the fact that the fact that the pipistrelle is a Riverside and/or gins chipper does not hold is right.
sent2 -> int10: if the fact that the pipistrelle does not stare nosh-up is right then the fact that it is a Riverside and/or it does gin chipper does not hold.;
$hypothesis$ = that the pipistrelle either is a kind of a Riverside or gins chipper or both does not hold. ; $context$ = sent1: the brickwork gins wadi. sent2: that something is a Riverside and/or gins chipper is incorrect if it does not stare nosh-up. sent3: there exists something such that it does stare nosh-up. sent4: everything does gin wadi and it does hand. sent5: if the duffel gins wadi the mycomycin gins wadi. sent6: if the fact that the duffel is a kind of a Vanuatu or does not scrabble or both is correct the brickwork is a kind of a headpin. sent7: if a headpin is a hands the pipistrelle gins chipper. sent8: the duffel is a Vanuatu and a relish if something stares nosh-up. ; $proof$ = 
sent3 & sent8 -> int1: the duffel is a Vanuatu and it is a kind of a relish.; int1 -> int2: the duffel is a Vanuatu.; int2 -> int3: the duffel either is a Vanuatu or does not scrabble or both.; int3 & sent6 -> int4: the brickwork is a headpin.; sent4 -> int5: the brickwork does gin wadi and it is a hands.; int5 -> int6: the brickwork is a kind of a hands.; int4 & int6 -> int7: the fact that the brickwork is a headpin and it hands is not incorrect.; int7 -> int8: there exists something such that it is a headpin and hands.; int8 & sent7 -> int9: the pipistrelle gins chipper.; int9 -> hypothesis; __DISPROVED__