the footbridge is a Argyrol.
sent1: something is non-relative. sent2: the footbridge is not a Argyrol if that the firework downs Ob and/or it is a torture does not hold. sent3: if there exists something such that it is not a relative that the firework does down Ob and/or tortures does not hold.
sent1 & sent3 -> int1: the fact that the firework does down Ob or it is a torture or both is false.; sent2 & int1 -> hypothesis;
$hypothesis$ = the footbridge is a Argyrol. ; $context$ = sent1: something is non-relative. sent2: the footbridge is not a Argyrol if that the firework downs Ob and/or it is a torture does not hold. sent3: if there exists something such that it is not a relative that the firework does down Ob and/or tortures does not hold. ; $proof$ = 
sent1 & sent3 -> int1: the fact that the firework does down Ob or it is a torture or both is false.; sent2 & int1 -> hypothesis; __DISPROVED__