the bitmap is unreactive.
sent1: if there is something such that it is both a firebrick and not unexpendable then the bitmap is not unreactive. sent2: if the fact that the express is a kind of non-penumbral thing that is valetudinarian is not right then it is a firebrick. sent3: there is something such that the fact that it is Iberian thing that is not aphanitic is not correct. sent4: that the express is both non-penumbral and not non-valetudinarian is not correct. sent5: if there exists something such that that it is a Iberian and it is not aphanitic is not correct then the express is expendable.
sent2 & sent4 -> int1: the express is a firebrick.; sent3 & sent5 -> int2: the express is not unexpendable.; int1 & int2 -> int3: the express is a firebrick and is not unexpendable.; int3 -> int4: something is a kind of a firebrick but it is not unexpendable.; int4 & sent1 -> hypothesis;
$hypothesis$ = the bitmap is unreactive. ; $context$ = sent1: if there is something such that it is both a firebrick and not unexpendable then the bitmap is not unreactive. sent2: if the fact that the express is a kind of non-penumbral thing that is valetudinarian is not right then it is a firebrick. sent3: there is something such that the fact that it is Iberian thing that is not aphanitic is not correct. sent4: that the express is both non-penumbral and not non-valetudinarian is not correct. sent5: if there exists something such that that it is a Iberian and it is not aphanitic is not correct then the express is expendable. ; $proof$ = 
sent2 & sent4 -> int1: the express is a firebrick.; sent3 & sent5 -> int2: the express is not unexpendable.; int1 & int2 -> int3: the express is a firebrick and is not unexpendable.; int3 -> int4: something is a kind of a firebrick but it is not unexpendable.; int4 & sent1 -> hypothesis; __DISPROVED__