that the A-bomb is not cytokinetic or does not strain shield or both is false.
sent1: if the Judas does not strain shield the A-bomb either is not cytokinetic or does not strain shield or both. sent2: the latchkey is not a ice-wagon if something is not a kind of a ice-wagon and/or is not a Sand. sent3: if the Judas does not strain shield the A-bomb is not cytokinetic and/or it does strain shield. sent4: the A-bomb is not cytokinetic and/or it strains shield. sent5: that there exists something such that that it is a kind of few thing that is bipedal does not hold is not false. sent6: the A-bomb either is cytokinetic or does not strain shield or both if that the Judas does not strain shield is not incorrect. sent7: the latchkey is a verdin if the halfback is a ice-wagon. sent8: if there is something such that that it is a few and it is bipedal is not right then the Judas is not bipedal. sent9: the Judas is not cytokinetic. sent10: a verdin is a Sand. sent11: the A-bomb is not self if that the halfback is not a verdin and is a ice-wagon is not right. sent12: the Judas strains shield and/or is not a self. sent13: something is not a ice-wagon or it is not a kind of a Sand or both if the fact that it is not bipedal hold. sent14: the A-bomb is either not a verdin or not cytokinetic or both. sent15: the halfback is a verdin. sent16: that the Judas is a Sand is right. sent17: the fact that if the latchkey is a Sand the Judas does not strain shield is true. sent18: that the A-bomb does strain shield is true if the fact that it is a self is not false. sent19: the halfback is a kind of a self. sent20: if the latchkey does strain shield the A-bomb is not a kind of a Sand. sent21: that the A-bomb is cytokinetic and/or does not strain shield hold. sent22: if the halfback is self it is a kind of a ice-wagon. sent23: the latchkey is self and/or it is not a kind of a Sand.
sent22 & sent19 -> int1: the halfback is a ice-wagon.; int1 & sent7 -> int2: the fact that the latchkey is a verdin is correct.; sent10 -> int3: if the latchkey is a verdin it is a kind of a Sand.; int2 & int3 -> int4: the latchkey is a Sand.; int4 & sent17 -> int5: the Judas does not strain shield.; int5 & sent1 -> hypothesis;
the fact that the fact that either the A-bomb is non-cytokinetic or it does not strain shield or both is not wrong does not hold.
sent13 -> int6: the Judas either is not a kind of a ice-wagon or is not a Sand or both if it is not bipedal.; sent5 & sent8 -> int7: the Judas is not bipedal.; int6 & int7 -> int8: the Judas is not a kind of a ice-wagon and/or it is not a kind of a Sand.; int8 -> int9: there exists something such that it either is not a kind of a ice-wagon or is not a Sand or both.; int9 & sent2 -> int10: the latchkey is not a ice-wagon.; int10 -> int11: there exists something such that it is not a ice-wagon.;
$hypothesis$ = that the A-bomb is not cytokinetic or does not strain shield or both is false. ; $context$ = sent1: if the Judas does not strain shield the A-bomb either is not cytokinetic or does not strain shield or both. sent2: the latchkey is not a ice-wagon if something is not a kind of a ice-wagon and/or is not a Sand. sent3: if the Judas does not strain shield the A-bomb is not cytokinetic and/or it does strain shield. sent4: the A-bomb is not cytokinetic and/or it strains shield. sent5: that there exists something such that that it is a kind of few thing that is bipedal does not hold is not false. sent6: the A-bomb either is cytokinetic or does not strain shield or both if that the Judas does not strain shield is not incorrect. sent7: the latchkey is a verdin if the halfback is a ice-wagon. sent8: if there is something such that that it is a few and it is bipedal is not right then the Judas is not bipedal. sent9: the Judas is not cytokinetic. sent10: a verdin is a Sand. sent11: the A-bomb is not self if that the halfback is not a verdin and is a ice-wagon is not right. sent12: the Judas strains shield and/or is not a self. sent13: something is not a ice-wagon or it is not a kind of a Sand or both if the fact that it is not bipedal hold. sent14: the A-bomb is either not a verdin or not cytokinetic or both. sent15: the halfback is a verdin. sent16: that the Judas is a Sand is right. sent17: the fact that if the latchkey is a Sand the Judas does not strain shield is true. sent18: that the A-bomb does strain shield is true if the fact that it is a self is not false. sent19: the halfback is a kind of a self. sent20: if the latchkey does strain shield the A-bomb is not a kind of a Sand. sent21: that the A-bomb is cytokinetic and/or does not strain shield hold. sent22: if the halfback is self it is a kind of a ice-wagon. sent23: the latchkey is self and/or it is not a kind of a Sand. ; $proof$ = 
sent22 & sent19 -> int1: the halfback is a ice-wagon.; int1 & sent7 -> int2: the fact that the latchkey is a verdin is correct.; sent10 -> int3: if the latchkey is a verdin it is a kind of a Sand.; int2 & int3 -> int4: the latchkey is a Sand.; int4 & sent17 -> int5: the Judas does not strain shield.; int5 & sent1 -> hypothesis; __DISPROVED__