the Mithraist is pyrotechnics.
sent1: the laelia does not refresh partition if the Mithraist is Yugoslavian. sent2: something is Yugoslavian if it is acculturational. sent3: The vibraphone does not greet log. sent4: the log does not greet vibraphone. sent5: something is acculturational if that it is not a kind of a Eijkman and it is pyrotechnics does not hold.
sent5 -> int1: the Mithraist is acculturational if that it is not a Eijkman and it is pyrotechnics does not hold.; void -> assump1: Let's assume that the fact that the Mithraist is not a Eijkman but pyrotechnics is wrong.; int1 & assump1 -> int2: the Mithraist is acculturational.; sent2 -> int3: the Mithraist is Yugoslavian if it is acculturational.; int2 & int3 -> int4: the Mithraist is Yugoslavian.; int4 & sent1 -> int5: the laelia does not refresh partition.; sent4 -> int6: there exists something such that it does not greet vibraphone.;
$hypothesis$ = the Mithraist is pyrotechnics. ; $context$ = sent1: the laelia does not refresh partition if the Mithraist is Yugoslavian. sent2: something is Yugoslavian if it is acculturational. sent3: The vibraphone does not greet log. sent4: the log does not greet vibraphone. sent5: something is acculturational if that it is not a kind of a Eijkman and it is pyrotechnics does not hold. ; $proof$ = 
sent5 -> int1: the Mithraist is acculturational if that it is not a Eijkman and it is pyrotechnics does not hold.; void -> assump1: Let's assume that the fact that the Mithraist is not a Eijkman but pyrotechnics is wrong.; int1 & assump1 -> int2: the Mithraist is acculturational.; sent2 -> int3: the Mithraist is Yugoslavian if it is acculturational.; int2 & int3 -> int4: the Mithraist is Yugoslavian.; int4 & sent1 -> int5: the laelia does not refresh partition.; sent4 -> int6: there exists something such that it does not greet vibraphone.; __UNKNOWN__