the girder does not interpret brimstone.
sent1: the European is interstitial if the viricide interprets dieter. sent2: the fact that something is not radial-ply but spatial is false if it does not interpret dieter. sent3: if the European is interstitial then the girder does not interpret brimstone. sent4: if that the viricide is not a rat but it is insurrectional does not hold it is not unofficial. sent5: something does not interpret brimstone but it is minus if the fact that it does not clank is not wrong. sent6: if the girder is interstitial the European does not interpret brimstone. sent7: something is not radial-ply but it is spatial if it is not unofficial. sent8: that that the viricide is not a rat but it is insurrectional does not hold is correct.
sent2 -> int1: the fact that the viricide is not radial-ply but it is spatial does not hold if it does not interpret dieter.; void -> assump1: Let's assume that the viricide does not interpret dieter.; int1 & assump1 -> int2: the fact that the viricide is not radial-ply but it is spatial is not right.; sent7 -> int3: the viricide is not radial-ply but spatial if it is not unofficial.; sent4 & sent8 -> int4: that the viricide is not unofficial is not wrong.; int3 & int4 -> int5: the viricide is a kind of non-radial-ply thing that is not nonspatial.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the viricide does interpret dieter is not false.; int7 & sent1 -> int8: the European is interstitial.; int8 & sent3 -> hypothesis;
the Cartwright does not interpret brimstone but it is minus if it does not clank.
sent5 -> hypothesis;
$hypothesis$ = the girder does not interpret brimstone. ; $context$ = sent1: the European is interstitial if the viricide interprets dieter. sent2: the fact that something is not radial-ply but spatial is false if it does not interpret dieter. sent3: if the European is interstitial then the girder does not interpret brimstone. sent4: if that the viricide is not a rat but it is insurrectional does not hold it is not unofficial. sent5: something does not interpret brimstone but it is minus if the fact that it does not clank is not wrong. sent6: if the girder is interstitial the European does not interpret brimstone. sent7: something is not radial-ply but it is spatial if it is not unofficial. sent8: that that the viricide is not a rat but it is insurrectional does not hold is correct. ; $proof$ = 
sent2 -> int1: the fact that the viricide is not radial-ply but it is spatial does not hold if it does not interpret dieter.; void -> assump1: Let's assume that the viricide does not interpret dieter.; int1 & assump1 -> int2: the fact that the viricide is not radial-ply but it is spatial is not right.; sent7 -> int3: the viricide is not radial-ply but spatial if it is not unofficial.; sent4 & sent8 -> int4: that the viricide is not unofficial is not wrong.; int3 & int4 -> int5: the viricide is a kind of non-radial-ply thing that is not nonspatial.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the viricide does interpret dieter is not false.; int7 & sent1 -> int8: the European is interstitial.; int8 & sent3 -> hypothesis; __PROVED__