if the hymnal is not a Hansard the RNA wrestles trigram.
sent1: if the hymnal is a Hansard the RNA does wrestle trigram. sent2: something is both a invaluableness and a Eurocentrism if it is not a kind of a Hansard. sent3: if the hymnal is a kind of a Eurocentrism then the RNA wrestles trigram.
sent2 -> int1: the hymnal is a invaluableness and it is a kind of a Eurocentrism if it is not a Hansard.; void -> assump1: Let's assume that the hymnal is not a Hansard.; int1 & assump1 -> int2: the hymnal is a invaluableness and is a kind of a Eurocentrism.; int2 -> int3: the hymnal is a Eurocentrism.; int3 & sent3 -> int4: the RNA does wrestle trigram.; [assump1] & int4 -> hypothesis;
$hypothesis$ = if the hymnal is not a Hansard the RNA wrestles trigram. ; $context$ = sent1: if the hymnal is a Hansard the RNA does wrestle trigram. sent2: something is both a invaluableness and a Eurocentrism if it is not a kind of a Hansard. sent3: if the hymnal is a kind of a Eurocentrism then the RNA wrestles trigram. ; $proof$ = 
sent2 -> int1: the hymnal is a invaluableness and it is a kind of a Eurocentrism if it is not a Hansard.; void -> assump1: Let's assume that the hymnal is not a Hansard.; int1 & assump1 -> int2: the hymnal is a invaluableness and is a kind of a Eurocentrism.; int2 -> int3: the hymnal is a Eurocentrism.; int3 & sent3 -> int4: the RNA does wrestle trigram.; [assump1] & int4 -> hypothesis; __PROVED__