Equivalent Immediate Inference Amateur Logician