the fact that the bacchant is a Conocarpus that is non-Romanian does not hold if the fact that the relay is a sprechgesang is true.
sent1: that the bacchant is a Conocarpus but it is not Romanian is false if that the relay is not a kind of a Conocarpus hold. sent2: everything is not a almandite. sent3: the relay is a Romanian. sent4: something is not a Conocarpus if it is undynamic and is a kind of a sprechgesang. sent5: everything is not a almandite and it is undynamic. sent6: the bacchant is both a Conocarpus and non-Romanian. sent7: the bacchant is a Conocarpus but it is not a Romanian if the relay is a sprechgesang.
sent5 -> int1: the relay is not a almandite but it is undynamic.; int1 -> int2: that the relay is undynamic is right.; void -> assump1: Let's assume that the relay is a kind of a sprechgesang.; int2 & assump1 -> int3: the relay is both not dynamic and a sprechgesang.; sent4 -> int4: the relay is not a Conocarpus if it is undynamic and it is a kind of a sprechgesang.; int3 & int4 -> int5: the relay is not a kind of a Conocarpus.; int5 & sent1 -> int6: the fact that the bacchant is a Conocarpus but it is not Romanian is incorrect.; [assump1] & int6 -> hypothesis;
$hypothesis$ = the fact that the bacchant is a Conocarpus that is non-Romanian does not hold if the fact that the relay is a sprechgesang is true. ; $context$ = sent1: that the bacchant is a Conocarpus but it is not Romanian is false if that the relay is not a kind of a Conocarpus hold. sent2: everything is not a almandite. sent3: the relay is a Romanian. sent4: something is not a Conocarpus if it is undynamic and is a kind of a sprechgesang. sent5: everything is not a almandite and it is undynamic. sent6: the bacchant is both a Conocarpus and non-Romanian. sent7: the bacchant is a Conocarpus but it is not a Romanian if the relay is a sprechgesang. ; $proof$ = 
sent5 -> int1: the relay is not a almandite but it is undynamic.; int1 -> int2: that the relay is undynamic is right.; void -> assump1: Let's assume that the relay is a kind of a sprechgesang.; int2 & assump1 -> int3: the relay is both not dynamic and a sprechgesang.; sent4 -> int4: the relay is not a Conocarpus if it is undynamic and it is a kind of a sprechgesang.; int3 & int4 -> int5: the relay is not a kind of a Conocarpus.; int5 & sent1 -> int6: the fact that the bacchant is a Conocarpus but it is not Romanian is incorrect.; [assump1] & int6 -> hypothesis; __PROVED__