the fact that if the effigy is a Truth and it is a kind of a Noruz then the Japan is not a Genoese is true.
sent1: the Japan is a kind of a nark if the effigy is a Truth. sent2: if the effigy is a Truth and it is a kind of a Noruz then the Japan is a Genoese. sent3: if the Japan is a nark it is a Genoese. sent4: the effigy is a Genoese and it is a kind of a Noruz if that it does not nark is right. sent5: the effigy is a Noruz.
void -> assump1: Let's assume that the effigy is a Truth and a Noruz.; assump1 -> int1: the effigy is a kind of a Truth.; int1 & sent1 -> int2: that the Japan is a nark is not incorrect.;
the effigy is a Genoese and it does bypass encaustic.
$hypothesis$ = the fact that if the effigy is a Truth and it is a kind of a Noruz then the Japan is not a Genoese is true. ; $context$ = sent1: the Japan is a kind of a nark if the effigy is a Truth. sent2: if the effigy is a Truth and it is a kind of a Noruz then the Japan is a Genoese. sent3: if the Japan is a nark it is a Genoese. sent4: the effigy is a Genoese and it is a kind of a Noruz if that it does not nark is right. sent5: the effigy is a Noruz. ; $proof$ = 
void -> assump1: Let's assume that the effigy is a Truth and a Noruz.; assump1 -> int1: the effigy is a kind of a Truth.; int1 & sent1 -> int2: that the Japan is a nark is not incorrect.; __UNKNOWN__