claim !P:prop.!Q:prop.!R:prop.P & Q & R -> !P2:prop.(P -> Q -> R -> P2) -> P2