Text: Eventually, we tracked the bug down to one single line of code that failed because it assumed all graphics cards are created equal.
Entailment: We finally found a piece of erroneous code that suffered from false assumptions.
Contradiction: We combed this code from top to bottom and could not find a single bug.